AROC

버전 1.0.0 (5.27 MB) 작성자: Niklas Kochdumper
Toolbox for Automated Controller Synthesis
0.0
(0)
다운로드 수: 152
업데이트 날짜: 2024/1/20
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.

인용 양식

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 리포지토리로 가십시오.