AROC

Toolbox for Automated Controller Synthesis

https://aroc.in.tum.de

Version 1.0.0 (5,27 MB)
184 Downloads
(0)
20. Jan 2024

Sie verfolgen jetzt diese Einreichung

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

Quellenangaben

Inspiriert von: CORA

Allgemeine Informationen

Kompatibilität der MATLAB-Version

  • Kompatibel mit allen Versionen

Plattform-Kompatibilität

  • Windows
  • macOS
  • Linux
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.