def test_Rossler():
model = Rossler()
mod_reach = ReachSet(model)
mod_flow = mod_reach.computeReachSet(300)
FlowPipePlotter(mod_flow).plot2DProj(0)
FlowPipePlotter(mod_flow).plot2DProj(1)
FlowPipePlotter(mod_flow).plot2DProj(2)
def test_Quad():
model = Quadcopter()
mod_reach = ReachSet(model)
mod_flow = mod_reach.computeReachSet(10)
FlowPipePlotter(mod_flow).plot2DProj(2)
FlowPipePlotter(mod_flow).plot2DProj(5)
FlowPipePlotter(mod_flow).plot2DProj(13)
Timer.generate_stats()
def test_SIR():
model = SIR()
mod_reach = ReachSet(model)
mod_flow = mod_reach.computeReachSet(200)
FlowPipePlotter(mod_flow).plot2DProj(0)
FlowPipePlotter(mod_flow).plot2DProj(1)
FlowPipePlotter(mod_flow).plot2DProj(2)
Timer.generate_stats()
def test_Phos():
model = Phosphorelay()
mod_reach = ReachSet(model)
timer = Benchmark.assign_timer(Label.TOTAL)
timer.start()
mod_flow = mod_reach.computeReachSet(200)
timer.end()
FlowPipePlotter(mod_flow).plot2DProj(0)
FlowPipePlotter(mod_flow).plot2DProj(1)
FlowPipePlotter(mod_flow).plot2DProj(2)
Benchmark.generate_stats()
def test_VDP():
model = VanDerPol()
mod_reach = ReachSet(model)
mod_flow = mod_reach.computeReachSet(200)
FlowPipePlotter(mod_flow).plot2DPhase(0,1)
def test_phase_rossler():
basic_mod = Rossler()
basic_reach = ReachSet(basic_mod)
flowpipe = basic_reach.computeReachSet(100)
FlowPipePlotter(flowpipe).plot2DPhase(0, 1)
def test_LV():
model = LotkaVolterra()
mod_reach = ReachSet(model)
timer = Benchmark.assign_timer(Label.TOTAL)
timer.start()
mod_flow = mod_reach.computeReachSet(300)
timer.end()
FlowPipePlotter(mod_flow).plot2DProj(0)
FlowPipePlotter(mod_flow).plot2DProj(1)
FlowPipePlotter(mod_flow).plot2DProj(2)
Benchmark.generate_stats()
def test_phase_sir():
sir_mod = SIR()
sir_reach = ReachSet(sir_mod)
flowpipe = sir_reach.computeReachSet(300)
FlowPipePlotter(flowpipe).plot2DPhase(0, 1)
def test_LL():
model = LL()
mod_reach = ReachSet(model)
mod_flow = mod_reach.computeReachSet(150)
FlowPipePlotter(mod_flow).plot2DProj(3)
Timer.generate_stats()
def test_plot_basic():
basic_mod = Basic()
basic_reach = ReachSet(basic_mod)
flowpipe = basic_reach.computeReachSet(10)
FlowPipePlotter(flowpipe).plot2DProj(0)
Benchmark.generate_stats()
def test_Ebola():
model = Ebola()
mod_reach = ReachSet(model)
mod_flow = mod_reach.computeReachSet(100)
FlowPipePlotter(mod_flow).plot2DProj(0, 1)