matlab代码加法-CORA:可达性分析工具箱

matlab代码加法科拉 连续可达性分析器（CORA）是MATLAB类的集合，用于使用可达性分析对网络物理系统进行形式验证。 CORA集成了各种矢量和矩阵集表示形式及其上的运算以及各种动态系统类的可达性算法。 该软件经过设计，可以交换设置表示，而无需修改代码以进行可达性分析。 CORA是使用面向对象的范例设计的，因此用户可以安全地使用方法，而不必担心隐藏在对象内部的详细信息。 由于工具箱是用MATLAB编写的，因此安装和使用是与平台无关的。 从2018年版本开始，还支持将SpaceEx模型直接导入CORA。 以下几点总结了CORA工具箱的主要功能： 连续系统的可达性分析 CORA为线性系统，非线性系统以及有约束的系统计算可达集。 支持连续时间模型和离散时间模型。 可以明确考虑系统输入的不确定性以及模型参数的不确定性。 此外，CORA还提供了动力学模型仿真的功能。 混合系统的可达性分析 该工具箱还能够计算混合系统的可达集。 所有实现的动态系统类都可以用于描述离散系统状态的不同连续流。 此外，在CORA中实现了各种用于计算具有保护集的相交的方法。 几何集 CORA具有模块化设计，因此除了可