File Exchange

image thumbnail

AROC

version 1.0.0 (3.43 MB) by Niklas Kochdumper
Toolbox for Automated Controller Synthesis

7 Downloads

Updated 19 Jan 2021

From GitHub

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

Comments and Ratings (0)

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/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/optimizationBasedControl

algorithms/optimizationBasedControl/@objOptBasedContr

algorithms/optimizationBasedControl/src

algorithms/reachsetMPC

algorithms/reachsetMPC/src/auxiliary

algorithms/reachsetMPC/src/optimalControl

algorithms/reachsetMPC/src/trackingController

auxiliary

benchmarks/automaton

benchmarks/dynamics

benchmarks/parameter

benchmarks/settings/SettingsConvexInterpolationControl

benchmarks/settings/SettingsGeneratorSpaceControl

benchmarks/settings/SettingsOptimizationBasedControl

benchmarks/settings/SettingsReachsetMPC

classes/@maneuverAutomaton

classes/@objController

classes/@results

documentation/source

examples/convexInterpolationControl

examples/generatorSpaceControl

examples/maneuverAutomaton

examples/optimizationBasedControl

examples/reachsetMPC

unitTests