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 仓库。