https://github.com/juliareach/closedloopreachability.jl
Reachability analysis for closed-loop control systems in Julia
control-systems
differential-equations
hybrid-systems
neural-network
robotics
robustness
Added: over 1 year ago - Last Synced: 11 months ago
- Created: January 30, 2020
- Relevant topics? true
- External users? true
- Open source license? true
- Active? true
- Fork? false
- Main Language: Polar
- Commits: 605
- Committers: 11
- Issues: 23
- Pull Requests: 129
- Owner: JuliaReach
- Stars: 44
- Forks: 2
- Packages: 1
