def load_system(file_path):
one_shot_sim, prop = exifc.load_system(file_path)
#T = prop.T
init_cons = serialize_array(prop.init_cons.to_numpy_array())
final_cons = serialize_array(prop.final_cons.to_numpy_array())
ci = serialize_array(prop.ci.to_numpy_array())
print(init_cons, final_cons, ci)
#num_segments = prop.num_segments
mat_prop = MatProp(prop.T, init_cons, final_cons, ci, prop.num_segments,
prop.delta_t)
def mat_one_shot_sim(x, t0, tf, w):
x = deserialize_array(x)
w = deserialize_array(w)
#print '#'*20
#print x
#print w
trace = one_shot_sim(x, t0, tf, w)
#print trace
T_ser = serialize_array(trace.t_array)
X_ser = serialize_array(trace.x_array)
#print trace.x_array
return (T_ser, X_ser)
return mat_one_shot_sim, mat_prop
def main():
systems = [
'./examples/fuzzy_invp/fuzzy_invp.tst',
'./examples/heater/heater.tst',
'./examples/dc_motor/dci.tst',
'./examples/toy_model_10u/toy_model_10u.tst',
'./examples/heat/heat.tst',
'./examples/spi/spi.tst',
]
for s in systems:
one_shot_sim, prop = exifc.load_system(s)
NUM_SIMS = 1
x0 = prop.init_cons.sample_UR(NUM_SIMS)
w0 = prop.ci.sample_UR(np.ceil(prop.T/prop.delta_t))
trace_list = []
tic = time.time()
for i in xrange(NUM_SIMS):
trace = one_shot_sim(x0[i], 0.0, prop.T, w0)
trace_list.append(trace)
toc = time.time()
print 'time taken for simulations: {}s'.format(toc-tic)
traces.plot_trace_list(trace_list, plt)
def main():
systems = [
'./examples/fuzzy_invp/fuzzy_invp.tst',
'./examples/heater/heater.tst',
'./examples/dc_motor/dci.tst',
'./examples/toy_model_10u/toy_model_10u.tst',
'./examples/heat/heat.tst',
'./examples/spi/spi.tst',
]
for s in systems:
one_shot_sim, prop = exifc.load_system(s)
NUM_SIMS = 1
x0 = sample.sample_ival_constraints(prop.init_cons, NUM_SIMS)
w0 = sample.sample_ival_constraints(prop.ci, np.ceil(prop.T/prop.delta_t))
trace_list = []
tic = time.time()
for i in xrange(NUM_SIMS):
trace = one_shot_sim(x0[i], 0.0, prop.T, w0)
trace_list.append(trace)
toc = time.time()
print 'time taken for simulations: {}s'.format(toc-tic)
traces.plot_trace_list(trace_list, plt)
def load_system(file_path):
one_shot_sim, prop = exifc.load_system(file_path)
#T = prop.T
init_cons = serialize_array(prop.init_cons.to_numpy_array())
final_cons = serialize_array(prop.final_cons.to_numpy_array())
ci = serialize_array(prop.ci.to_numpy_array())
print init_cons, final_cons, ci
#num_segments = prop.num_segments
mat_prop = MatProp(prop.T,
init_cons,
final_cons,
ci,
prop.num_segments,
prop.delta_t)
def mat_one_shot_sim(x, t0, tf, w):
x = deserialize_array(x)
w = deserialize_array(w)
#print '#'*20
#print x
#print w
trace = one_shot_sim(x, t0, tf, w)
#print trace
T_ser = serialize_array(trace.t_array)
X_ser = serialize_array(trace.x_array)
#print trace.x_array
return (T_ser, X_ser)
return mat_one_shot_sim, mat_prop
