科拉

连续可达性分析器（CORA）是MATLAB类的集合，用于使用可达性分析对网络物理系统进行形式化验证。CORA集成了各种向量集和矩阵集的表示和运算，以及各种动态系统类的可达性算法。软件的设计使得集合表示可以交换，而不必修改可达性分析的代码。CORA是使用面向对象的范例设计的，这样用户就可以安全地使用方法，而不必担心隐藏在对象内部的详细信息。由于工具箱是用MATLAB编写的，因此安装和使用是独立于平台的。从2018年起，还支持将SpaceEx模型直接导入CORA。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献12条)

显示第1到第12个结果，共12个。
按年份排序(引用)

  1. 阿尔托夫，马提亚斯；Rath，Jagat Jyoti:线性时不变系统保证状态估计量的比较（2021）
  2. 卡塔鲁扎，达里奥；亚伯特，亚历山德罗；施拉梅尔，彼得；Kroneing，Daniel:通过抽象加速度输入的带保护LTI模型的无界时间安全验证（2021）
  3. Serry，Mohamed:可达集和管近似下的收敛性：分段常数法（2021）
  4. 申凯；罗伯逊，迪拉德L。；Scott，Joseph K.：使用均值微分不等式的约束非线性系统的紧可达界（2021）
  5. Hoang Dung Tran，Xiaodong Yang，Diego Manzanas Lopez，Patrick Musau，Luan Vietuan Nguyen，Weiming Xiang，Stanley Bak，Taylor T Johnson:NNV：用于深层神经网络和学习的网络物理系统的神经网络验证工具（2020）阿尔十四
  6. 舒曼，巴斯蒂安；维格纳利，里卡多；普兰迪尼，玛丽亚；Althoff，Matthias:具有状态和驱动约束的扰动分段仿射系统的集基控制（2020）
  7. 维莱加斯皮科，雨果内斯特；Aliprantis，Dionysios C.：具有恒定、任意和Lipschitz连续输入的线性动态系统的可达性分析（2018）
  8. 杨雪娇；Scott，Joseph K.：zonotope降阶技术比较（2018）
  9. 巴克，斯坦利；博戈莫洛夫，塞尔吉；Althoff，Matthias:混合自动机可达性分析的时间触发保护转换（2017）
  10. 巴克，斯坦利；Duggirala，Parasara Sridhar:基于严格仿真的线性混合系统分析（2017）
  11. 舒曼，巴斯蒂安；Althoff，Matthias:扰动和约束非线性系统的形式保证凸插值控制（2017）
  12. 罗姆，亨德里克；Oehlerking，詹斯；悲哀，马提亚；Althoff，Matthias:混合自动机的Reachset一致性测试（2016）