MATLAB代码加法-CORA：可达性分析插件

简介：
CORA是一款专为MATLAB设计的可达性分析插件，它通过集成先进的算法和优化工具，增强了对基于MATLAB代码执行结果进行深入分析的能力。该插件支持用户便捷地实施复杂的数据处理任务，尤其是加法运算场景下的性能评估与优化。 MATLAB代码中的CORA（可达性分析器）是一个由多个类组成的集合体，用于使用可达性分析对网络物理系统进行形式验证。它集成了各种矢量和矩阵的表示方法及其运算，并且有多种动态系统的可达性算法。这个软件能够适应不同的设定而不需修改代码以执行可达性分析。 CORA遵循面向对象的设计原则，用户可以安全地运用其提供的功能而无需了解内部实现细节。因为它是用MATLAB编写的工具箱，所以安装和使用都是平台无关的。从2018年起，它还支持直接导入SpaceEx模型的功能。 以下是CORA的主要特点： - 连续系统的可达性分析：为线性和非线性系统以及受约束的系统计算可达集；能够处理连续时间和离散时间模型；可以考虑输入和参数中的不确定性。 - 混合系统的可达性分析：能计算混合系统的可达集，所有动态系统类都可以用于描述不同状态下的连续流，并且实现了多种相交方法以保护集合的存在。 CORA的设计是模块化的，这使得它非常灵活并且易于扩展。