| Documentation | Status | Community | License |
|---|---|---|---|
 |
   |
 |
 |
A repository of models for reachability analysis and safety verification
using ReachabilityModels, Plots
prob = load_model("building") # initial-value problem
sol = solve(prob, T=5.0); # solve it using default options
plot(sol, vars=(0, 25)) # plot the solutionor
prob = load_model("lorenz") # initial-value problem
meta = load_meta("lorenz") # load meta-information of this model
opts = meta["opts"] # default options
sol = solve(prob; opts...);