The Continuous Reachability Analyzer (CORA) is a MATLAB-based toolbox designed for the formal verification of cyber-physical systems through reachability analysis. It offers a comprehensive suite of tools for modeling and analyzing various system dynamics, including linear, nonlinear, and hybrid systems. CORA supports both continuous and discrete-time systems, accommodating uncertainties in system inputs and parameters. These uncertainties are captured by a diverse range of set representations such as intervals, zonotopes, Taylor models, and polytopes. Additionally, CORA provides functionalities for the formal verification of neural networks as well as data-driven system identification with reachset conformance. Various converters are implemented to easily model your system in CORA such as the well-established SpaceEx format for dynamic systems and ONNX format for neural networks. CORA ensures the seamless integration of different reachability algorithms without code modifications and aims for a user-friendly experience through automatic parameter tuning, making it a versatile tool for researchers and engineers in the field of cyber-physical systems.
引用格式
Matthias Althoff (2026). CORA (https://github.com/TUMcps/CORA/releases/tag/v2025.1.1), GitHub. 检索时间: .
致谢
启发作品: AROC
无法下载基于 GitHub 默认分支的版本
| 版本 | 已发布 | 发行说明 | Action |
|---|---|---|---|
| 2025.1.1 | See release notes for this release on GitHub: https://github.com/TUMcps/CORA/releases/tag/v2025.1.1 |
||
| 2025.1.0 | Description and requirements updated. |
||
| 1.0.3 | Release version 2021 |
||
| 1.0.2 | Update toolbox logo |
||
| 1.0.1 | Update toolbox logo |
||
| 1.0.0 |
要查看或报告此来自 GitHub 的附加功能中的问题，请访问其 GitHub 存储库。
要查看或报告此来自 GitHub 的附加功能中的问题，请访问其 GitHub 存储库。
