AROC

Version 1.0.0 (5,27 MB) von Niklas Kochdumper
Toolbox for Automated Controller Synthesis
0.0
(0)
183 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

algorithms/combinedControl

algorithms/combinedControl/@objCombinedContr

algorithms/combinedControl/src

algorithms/convexInterpolationControl

algorithms/convexInterpolationControl/@objConvInterContr

algorithms/convexInterpolationControl/src/auxiliary

algorithms/convexInterpolationControl/src/contolLaws

algorithms/convexInterpolationControl/src/reachablityAnalysis/exactController

algorithms/convexInterpolationControl/src/reachablityAnalysis/linearController

algorithms/convexInterpolationControl/src/reachablityAnalysis/quadraticController

algorithms/generatorSpaceControl

algorithms/generatorSpaceControl/@objGenSpaceContr

algorithms/generatorSpaceControl/src

algorithms/linSysMPC

algorithms/linSysMPC/src

algorithms/optimizationBasedControl

algorithms/optimizationBasedControl/@objOptBasedContr

algorithms/optimizationBasedControl/src

algorithms/polynomialControl

algorithms/polynomialControl/@objPolyContr

algorithms/polynomialControl/src

algorithms/reachsetMPC

algorithms/reachsetMPC/src/auxiliary

algorithms/reachsetMPC/src/optimalControl

algorithms/reachsetMPC/src/trackingController

algorithms/safetyNetControl

algorithms/safetyNetControl/@objSafetyNetContr

algorithms/safetyNetControl/comfortController/@comfContrLQR

algorithms/safetyNetControl/comfortController/@comfContrMPC

algorithms/safetyNetControl/src

auxiliary

benchmarks/animation

benchmarks/automaton

benchmarks/dynamics

benchmarks/parameter

classes/@maneuverAutomaton

classes/@objController

classes/@results

classes/@terminalRegion

conformance

conformance/src

documentation/doc/source

documentation/generateDoc

documentation/generateDoc/Matlab_Markup_Examples

examples/combinedControl

examples/conformantSynthesis

examples/convexInterpolationControl

examples/generatorSpaceControl

examples/linSysMPC

examples/maneuverAutomaton

examples/optimizationBasedControl

examples/polynomialControl

examples/reachsetMPC

examples/safetyNetControl

examples/terminalRegion

terminalRegion

terminalRegion/subpaving

terminalRegion/subpaving/@termRegSubpaving

terminalRegion/zonoLinSys

terminalRegion/zonoLinSys/@termRegZonoLinSys

terminalRegion/zonoLinSys/src

unitTests

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.