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.
Citation pour cette source
N. Kochdumper and et. al. AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis
Compatibilité avec les versions de MATLAB
Créé avec
R2020a
Compatible avec toutes les versions
Plateformes compatibles
Windows macOS LinuxTags
Remerciements
Inspiré par : CORA
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Découvrir Live Editor
Créez des scripts avec du code, des résultats et du texte formaté dans un même document exécutable.
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
Les versions qui utilisent la branche GitHub par défaut ne peuvent pas être téléchargées
Version | Publié le | Notes de version | |
---|---|---|---|
1.0.0 |
|
Pour consulter ou signaler des problèmes liés à ce module complémentaire GitHub, accédez au dépôt GitHub.
Pour consulter ou signaler des problèmes liés à ce module complémentaire GitHub, accédez au dépôt GitHub.