JuliaReach / ReachabilityBenchmarks

JuliaReach benchmark suite
MIT License
4 stars 1 forks source link

Add Lotka-Volterra model #135

Closed mforets closed 4 years ago

mforets commented 5 years ago

https://es.wikipedia.org/wiki/Ecuaciones_Lotka%E2%80%93Volterra

mforets commented 4 years ago

An animation of the flowpipe:

LotkaVolterra

This animation was done with the following code:

plot(Xo, color=:orange, lab="")

anim = @animate for (i, x) in enumerate(sol.Xk)
    segmento = [set(sol.Xk[k]) for k in 1:i]
    plot!(segmento, xlim=(1.0, 6.0), ylim=(0.0, 3.5), xlab=L"x", ylab=L"y",
          lw=0.2, color=:lightblue, lab="", dpi=200)
    plot!(Xo, color=:orange, lab="")
end

gif(anim, "LotkaVolterra.gif", fps=15)

cc: @SebastianGuadalupe