科拉

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


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)