You are now following this Submission
- You will see updates in your followed content feed
- You may receive emails, depending on your communication preferences
The Automated Reachset Optimal Control (AROC) toolbox automatically constructs formally verified controllers for solving reach-avoid problems using reachability analysis. The toolbox considers general nonlinear systems with disturbances and input constraints.
Cite As
N. Kochdumper and et. al. AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis
Acknowledgements
Inspired by: CORA
General Information
- Version 1.0.0 (5.27 MB)
-
View License on GitHub
MATLAB Release Compatibility
- Compatible with any release
Platform Compatibility
- Windows
- macOS
- Linux
Versions that use the GitHub default branch cannot be downloaded
| Version | Published | Release Notes | Action |
|---|---|---|---|
| 1.0.0 |
To view or report issues in this GitHub add-on, visit the GitHub Repository.
To view or report issues in this GitHub add-on, visit the GitHub Repository.
