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
MATLAB Release Compatibility
Created with
R2020a
Compatible with any release
Platform Compatibility
Windows macOS LinuxTags
Acknowledgements
Inspired by: CORA
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Discover Live Editor
Create scripts with code, output, and formatted text in a single executable document.
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
Versions that use the GitHub default branch cannot be downloaded
Version | Published | Release Notes | |
---|---|---|---|
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.