image thumbnail

AROC

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

67 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

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

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.