AROC

Version 1.0.0 (5.27 MB) by Niklas Kochdumper
Toolbox for Automated Controller Synthesis
0.0
(0)
184 Downloads
Updated 20 Jan 2024
View License on GitHub

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
Tags Add Tags
Acknowledgements

Inspired by: 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

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.