def run_hylaa(settings): 'Runs hylaa with the given settings, returning the HylaaResult object.' ha = define_ha() init = define_init_states(ha) engine = HylaaEngine(ha, settings) engine.run(init) return engine.result
def run_hylaa(plot=False, limit=0.0005): 'Runs hylaa with the given settings, returning the HylaaResult object.' ha = define_ha(limit) settings = define_settings(ha, plot) init = make_init_star(ha, settings) engine = HylaaEngine(ha, settings) engine.run(init) return engine.result
def run_hylaa(plot, limit): 'Runs hylaa with the given settings, returning the HylaaResult object.' #print "!!! in iss.py run_hylaa(). Check if early break in arnoldi loop actually helps performance on this example" ha = define_ha(limit) settings = define_settings(ha, plot) init = make_init_star(ha, settings) engine = HylaaEngine(ha, settings) engine.run(init) return engine.result
def test_sync_motor(self): '''test sync motor with input system''' model = sync_motor ha = model.define_ha() init_list = model.define_init_states(ha) settings = model.define_settings() engine = HylaaEngine(ha, settings) engine.run(init_list) self.assertTrue(engine.reached_error)
def run_hylaa(settings, init_r, usafe_r): ha, usafe_set_constraint_list = define_ha(settings, usafe_r) init = define_init_states(ha, init_r) engine = HylaaEngine(ha, settings) reach_tree = engine.run(init) return PVObject(len(ha.variables), usafe_set_constraint_list, reach_tree)
def test_drivetrain(self): 'test running a single step on the drivetrain model (zonotope initialization)' ha = drivetrain.define_ha() init_list = drivetrain.define_init_states(ha) self.assertEquals(len(init_list), 1) settings = drivetrain.define_settings() plot_settings = settings.plot settings.print_output = False plot_settings.skip_frames = 10 # run 10 frames plot_settings.skip_show_gui = True engine = HylaaEngine(ha, settings) engine.run(init_list)
def run_hylaa(spec='S01', uncertain_inputs=True): 'Runs hylaa with the given settings, returning the HylaaResult object.' if spec == 'S01': limit = 0.0051 elif spec == 'U01': limit = 0.004 else: raise RuntimeError("Unsupported spec {}".format(spec)) ha = define_ha(spec, limit, uncertain_inputs) settings = define_settings(ha, limit) init = make_init_star(ha, settings) engine = HylaaEngine(ha, settings) engine.run(init) return engine.result
def test_violation_extends_axis(self): '''invariant limits should also extend axis draw limits''' ha = ball_string.define_ha() init_list = ball_string.define_init_states(ha) settings = ball_string.define_settings() plot_settings = settings.plot plot_settings.plot_mode = PlotSettings.PLOT_INTERACTIVE plot_settings.skip_frames = 21 plot_settings.skip_show_gui = True plot_settings.num_angles = 256 settings.print_output = False engine = HylaaEngine(ha, settings) engine.run(init_list) self.assertTrue(engine.plotman.drawn_limits.xmax > 0)
def run_hylaa(settings, init_r, usafe_r): '''run hylaa with the given settings, returning the HylaaResult object.''' ha, usafe_set_constraint_list = define_ha(settings, usafe_r) init = define_init_states(ha, init_r) engine = HylaaEngine(ha, settings) reach_tree = engine.run(init) return PVObject(len(ha.variables), usafe_set_constraint_list, reach_tree)
def hylaa_v1_single(r, stepsize): 'Runs hylaa with the given settings, returning the seconds elapsed' settings = define_settings(stepsize) ha = define_ha(r) init = define_init_states(ha) print "Running hylaa with r={} stepsize={}...".format(r, stepsize), engine = HylaaEngine(ha, settings) engine.run(init) rv = engine.result.time Timers.reset() print rv return rv