CORA:可达性分析工具箱-matlab开发

连续可达性分析器 (CORA) 是一组 MATLAB 类，用于使用可达性分析对网络物理系统进行形式验证。 CORA 集成了各种向量和矩阵集表示和对它们的操作以及各种动态系统类的可达性算法。 该软件的设计使得可以交换集合表示，而无需修改可达性分析的代码。 CORA 是使用面向对象的范式设计的，因此用户可以安全地使用方法，而无需担心隐藏在对象内部的详细信息。 由于工具箱是用MATLAB编写的，安装和使用是平台无关的。 从 2018 版开始，还支持将 SpaceEx 模型直接导入 CORA。