Esempi in Python per FlowPipePlotter

Esempio n. 1

File: test_rossler.py Progetto: Tarheel-Formal-Methods/kaa

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)

Esempio n. 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()

Esempio n. 3

File: test_sir.py Progetto: Tarheel-Formal-Methods/kaa

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()

Esempio n. 4

File: test_phos.py Progetto: Tarheel-Formal-Methods/kaa

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()

Esempio n. 5

def test_VDP():

    model = VanDerPol()
    mod_reach = ReachSet(model)
    mod_flow = mod_reach.computeReachSet(200)

    FlowPipePlotter(mod_flow).plot2DPhase(0,1)

Esempio n. 6

File: test_phase_rossler.py Progetto: rufoliveira/kaa-dynamic

def test_phase_rossler():

    basic_mod = Rossler()
    basic_reach = ReachSet(basic_mod)

    flowpipe = basic_reach.computeReachSet(100)
    FlowPipePlotter(flowpipe).plot2DPhase(0, 1)

Esempio n. 7

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()

Esempio n. 8

File: test_sir_phase.py Progetto: Tarheel-Formal-Methods/kaa

def test_phase_sir():

    sir_mod = SIR()
    sir_reach = ReachSet(sir_mod)

    flowpipe = sir_reach.computeReachSet(300)
    FlowPipePlotter(flowpipe).plot2DPhase(0, 1)

Esempio n. 9

def test_LL():

    model = LL()
    mod_reach = ReachSet(model)
    mod_flow = mod_reach.computeReachSet(150)

    FlowPipePlotter(mod_flow).plot2DProj(3)

    Timer.generate_stats()

Esempio n. 10

File: test_basic.py Progetto: Tarheel-Formal-Methods/kaa

def test_plot_basic():

    basic_mod = Basic()
    basic_reach = ReachSet(basic_mod)

    flowpipe = basic_reach.computeReachSet(10)
    FlowPipePlotter(flowpipe).plot2DProj(0)

    Benchmark.generate_stats()

Esempio n. 11

def test_Ebola():
    model = Ebola()
    mod_reach = ReachSet(model)
    mod_flow = mod_reach.computeReachSet(100)

    FlowPipePlotter(mod_flow).plot2DProj(0, 1)