CORA公司 swMATH ID: 25659 软件作者： 马蒂亚斯·阿尔霍夫（Matthias Althoff）、尼古拉斯·科奇杜姆普（Niklas Kochdumper） 描述： 连续可达性分析器（CORA）是一个MATLAB类集合，用于使用可达性分析对网络物理系统进行形式验证。CORA集成了各种向量集和矩阵集的表示和操作，以及各种动态系统类的可达性算法。该软件的设计使集合表示可以进行交换，而无需修改代码进行可达性分析。CORA是使用面向对象范式设计的，这样用户就可以安全地使用方法，而不必关心隐藏在对象中的详细信息。由于工具箱是用MATLAB编写的，因此安装和使用是平台无关的。自2018年发布以来，还支持将SpaceEx模型直接导入CORA。 主页： https://tumcps.github.io/CORA/ 依赖项： Matlab，MPT工具箱 关键词： 可达性分析;Zonotopes公司;混合动力系统;Talyor模型;区间算术 相关软件： 流量*;SpaceEx公司;C2e2型;MPT公司;JuliaReach公司;NNV公司;HyLAA公司;高超声速;YALMIP公司;dR每个;海斯特;PHAVer公司;机器人学;阿里阿德涅;Verisig公司;马拉布;Reluplex公司;z3（零3）;凯伊迈拉;HyPro公司 引用于： 35文件 全部的 前5名80位作者引用 11 马蒂亚斯·阿尔霍夫 5 阿姆鲁阿兰瓦尔 5 卡尔·亨利克·约翰逊 3 米尔科·特里巴斯通 3 马克斯·柴科夫斯基 3 安德烈·范丁 2 斯坦利·巴克 2 米歇尔·博雷尔 2 卢卡·卡德利 2 路易莎·科洛迪 2 Kochdumper，尼克拉斯 2 阿德里安·库姆伯格 2 穆罕默德·奥马尔·尼亚齐。 2 贾加特·乔蒂·拉特 2 说，哈泽姆 2 巴斯蒂安·舒尔曼 2 朱塞佩·斯奎拉克 1 亚历山德罗·阿巴特 1 艾丽卡·阿尔布拉汉姆 1 Aliprantis，Dionysios C。 1 西蒙·巴尔迪 1 塞尔吉·博戈莫洛夫 1 Jean-Baptiste Bouvier 1 阿尔贝托·卡萨格兰德 1 达里奥·卡塔鲁扎 1 Chong，Michelle S。 1 Thao Dang先生 1 丁明辉 1 卢卡·多里戈 1 托马索·德罗西 1 帕拉萨拉·斯里达尔·达吉拉拉 1 特里斯坦·埃伯特 1 迈克尔·埃德尔 1 樊楚楚 1 法贾德尼亚，马赫萨 1 维克托·加曼 1 埃里克·古堡 1 纳撒尼尔·P·汉密尔顿。 1 何兴康 1 泰勒·T·约翰逊。 1 贾斯汀·科尔恩（Justin P.Koeln）。 1 丹尼尔·科宁 1 亚历克西斯·勒彭文 1 李一农 1 迭戈·曼扎纳斯·洛佩兹 1 Manuel jun，马祖。 1 萨扬·密特拉 1 纳维德·莫赫莱西 1 马可·莫利纳里 1 帕特里克·穆索 1 越南，攀盛 1 延斯·奥勒金 1 梅尔基奥尔尼克 1 卡拉广场 1 埃莉诺拉·皮皮亚 1 玛丽亚·普兰迪尼 1 Sylvie推杆 1 维格内什·拉古拉曼 1 迪拉德·L·罗伯逊。 1 亨德里克·罗姆 1 亨利克·桑德伯格 1 彼得·施拉梅尔 1 斯特凡·舒普 1 约瑟夫·斯科特。 1 约瑟夫·柯克·斯科特 1 沈凯 1 侯赛因·西拜 1 塞巴斯蒂安·斯基宾斯基 1 伊冯·R·Stürz。 1 乐光督安 1 迈克尔·乌尔布里奇 1 塞斯·费迪南德·威尔第 1 里卡多·维格纳利 1 维列加斯·皮科，雨果·内斯特 1 Kan王 1 马克·韦兹林格 1 马蒂亚斯·沃尔 1 杨雪娇 1 章子伟 1 郑玲 全部的 前5名9篇连载文章中引用 7 Automatica公司 5 欧洲控制杂志 3 富兰克林学院学报 3 非线性分析。混合动力系统 2 信息与计算 1 信息学报 1 自动推理杂志 1 优化与工程 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 21 系统论；控制（93至XX） 14 计算机科学（68至XX） 3 数值分析（65-XX） 2 凸和离散几何（52至XX） 2 运筹学、数学规划（90-XX） 2 信息和通信理论，电路（94-XX） 1 常微分方程（34-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文