AROC

Versione 1.0.0 (5,27 MB) da Niklas Kochdumper
Toolbox for Automated Controller Synthesis
0.0
(0)
152 download
Aggiornato 20 gen 2024
Visualizza la licenza su 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.

Cita come

N. Kochdumper and et. al. AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis

Compatibilità della release di MATLAB
Creato con R2020a
Compatibile con qualsiasi release
Compatibilità della piattaforma
Windows macOS Linux
Riconoscimenti

Ispirato da: 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

Le versioni che utilizzano il ramo predefinito di GitHub non possono essere scaricate

Versione Pubblicato Note della release
1.0.0

Per visualizzare o segnalare problemi su questo componente aggiuntivo di GitHub, visita GitHub Repository.
Per visualizzare o segnalare problemi su questo componente aggiuntivo di GitHub, visita GitHub Repository.