AROC

Toolbox for Automated Controller Synthesis
154 Downloads
Updated 20 Jan 2024

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 Linux
Acknowledgements

Inspired by: CORA

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

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.