AROC

Toolbox for Automated Controller Synthesis

https://aroc.in.tum.de

版本 1.0.0 (5.3 MB)
186.0 次下载
(0)
2024/1/20

您现在正在关注此提交

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

致谢

参考作品: CORA

一般信息

MATLAB 版本兼容性

  • 兼容任何版本

平台兼容性

  • Windows
  • macOS
  • Linux
在新标签页中打开

无法下载基于 GitHub 默认分支的版本

版本 已发布 发行说明
1.0.0

要查看或报告此来自 GitHub 的附加功能中的问题，请访问其 GitHub 存储库。
要查看或报告此来自 GitHub 的附加功能中的问题，请访问其 GitHub 存储库。