AROC

Version 1.0.0 (5,27 MB) von Niklas Kochdumper
Toolbox for Automated Controller Synthesis
0.0
(0)
184 Downloads
Aktualisiert 20. Jan 2024
Lizenz auf GitHub anzeigen

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.

Zitieren als

N. Kochdumper and et. al. AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis

Kompatibilität der MATLAB-Version
Erstellt mit R2020a
Kompatibel mit allen Versionen
Plattform-Kompatibilität
Windows macOS Linux
Tags Tags hinzufügen
Quellenangaben

Inspiriert von: CORA

In neuem Tab öffnen

Versionen, die den GitHub-Standardzweig verwenden, können nicht heruntergeladen werden

Version Veröffentlicht Versionshinweise
1.0.0

Um Probleme in diesem GitHub Add-On anzuzeigen oder zu melden, besuchen Sie das GitHub Repository.
Um Probleme in diesem GitHub Add-On anzuzeigen oder zu melden, besuchen Sie das GitHub Repository.