CORA

版本 1.0.3 (211.9 MB) 作者: Matthias Althoff
Toolbox for Reachability Analysis
4.5
(2)
1.5K 次下载
更新时间 2024/7/12
在 GitHub 上查看许可证
The COntinuous Reachability Analyzer (CORA) is a collection of MATLAB classes for the formal verification of cyber-physical systems using reachability analysis. CORA integrates various vector and matrix set representations and operations on them as well as reachability algorithms of various dynamic system classes. The software is designed such that set representations can be exchanged without having to modify the code for reachability analysis. CORA is designed using the object oriented paradigm, such that users can safely use methods without concerning themselves with detailed information hidden inside the object. Since the toolbox is written in MATLAB, the installation and use is platform independent. From Release 2018 on, the direct import of SpaceEx models into CORA is also supported.

引用格式

Matthias Althoff (2024). CORA (https://github.com/TUMcps/CORA), GitHub. 检索来源 .

MATLAB 版本兼容性
创建方式 R2021a
兼容 R2017b 到 R2021a 的版本
平台兼容性
Windows macOS Linux
类别
在 Help Center 和 MATLAB Answers 中查找有关 Digital Filter Analysis 的更多信息
致谢

启发作品: AROC

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

data/matlab

data/matlab/scripts

data/matlab/scripts/continuous-systems

data/matlab/scripts/geometric-sets

data/matlab/scripts/geometric-sets/operations

data/matlab/scripts/hybrid-dynamics

data/matlab/scripts/neural-networks

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

版本 已发布 发行说明
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 仓库。