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