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.
인용 양식
N. Kochdumper and et. al. AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis
MATLAB 릴리스 호환 정보
개발 환경:
R2020a
모든 릴리스와 호환
플랫폼 호환성
Windows macOS Linux태그
도움
받음: 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
GitHub 디폴트 브랜치를 사용하는 버전은 다운로드할 수 없음
버전 | 게시됨 | 릴리스 정보 | |
---|---|---|---|
1.0.0 |
|
이 GitHub 애드온의 문제를 보거나 보고하려면 GitHub 리포지토리로 가십시오.
이 GitHub 애드온의 문제를 보거나 보고하려면 GitHub 리포지토리로 가십시오.