Design

Usage

using ReachabilityModels, ReachabilityAnalysis, Plots

prob = fetch_model("vanderpol") # initial-value problem

sol = solve(prob, T=1.0);
solz = overapproximate(sol, Zonotope);

plot(sol, vars=(1, 2))

or

meta = fetch_meta("vanderpol")

opts = meta["opts"] # default options
sol = solve(prob, opts...);

Plan B

using ReachabilityModels, ReachabilityAnalysis, Plots

model = models["vanderpol"]

prob = model["ivp"] # initial-value problem
opts = model["options"] # default options

sol = solve(prob, opts);
solz = overapproximate(sol, Zonotope)

plot(sol, vars=(1, 2))