automaton_F.jl 256 Bytes
Newer Older
1
2
3
4
5
6
7
8
9

using MarkovProcesses

load_model("SIR")
load_automaton("automaton_F")
SIR.time_bound = 120.0
x1, x2, t1, t2 = 0.0, Inf, 100.0, 120.0 
A_F = create_automaton_F(SIR, x1, x2, t1, t2, "I") # <: LHA

10
11
sync_SIR = SIR * A_F
σ, state_lha = simulate(sync_SIR)  
12