Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/JuliaReach/ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
automatic-control control-systems cyber-physical-systems differential-equations dynamical-systems flowpipe formal-verification hybrid-systems interval-arithmetic julia numerical-analysis ode reachability-analysis rigorous-numerics set-propagation simulations verification
Last synced: 31 May 2024
![](https://github.com/JuliaReach.png)