README.md

ReachabilityModels.jl

Documentation	Status	Community	License

A repository of models for reachability analysis and safety verification

Usage

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 solution

or

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...);