HyLAA公司 swMATH ID: 20821 软件作者： 斯坦利·巴克；帕拉萨拉·斯里达尔·达吉拉拉 描述： HyLAA：用于计算线性系统的模拟等效可达性的工具。仿真是一种提高系统设计正确性的实用方法。本文提出了一些技术，旨在确定使用特定的混合自动机仿真算法可以达到的所有状态，这一特性我们称为仿真等价可达性。虽然这是一个略弱于传统可达性的属性，但它的计算可以高效且准确。我们提出了HyLAA，这是第一个用于仿射动力学混合自动机模拟等价可达性的工具。HyLAA的分析是准确的；完成后，当且仅当混合自动机仿真引擎能够生成这样的跟踪时，该工具提供了对不安全状态的具体仿真跟踪。在后端，该工具实现了一种有效的连续发布算法，该算法利用线性系统的叠加原理，对于n维线性系统，每个模式只需要n+1模拟。该技术能够在不到20分钟的时间内分析具有1000多个状态变量的复制直升机系统。该工具还包含一些新的性能增强，例如不变约束消除、热启动线性规划和跟踪引导集解聚合。 主页： https://github.com/stanleybak/hylaa 源代码： https://github.com/stanleybak/hylaa 关键词： 抽象重定义;聚合;约束传播;离散时间;广义星;混合系统;不变性;可达集;安全验证 相关软件： CORA公司;SpaceEx公司;流量*;违约;C2e2型;高超声速;PHAVer公司;HySAT卫星;JuliaReach公司;解释;海森;STRONG公司;ASTREE公司;阿司匹克;QSIMVN公司;S每个工具;FAUST2型;MPT公司;棱镜;杂交Sal 引用于： 6文件 全部的 前5名19位作者引用 1 亚历山德罗·阿巴特 1 马蒂亚斯·阿尔霍夫 1 斯坦利·巴克 1 西蒙·巴尔迪 1 波戈莫洛夫，谢尔盖 1 达里奥·卡塔鲁扎 1 帕拉萨拉·斯里达尔·达吉拉拉 1 樊楚楚 1 约瑟夫·格里森。 1 马尼什·戈亚尔 1 丹尼尔·科宁 1 萨扬·密特拉 1 纳维德·莫赫莱西 1 Nam、Phan Thanh 1 Meeko M.K.Oishi。 1 彼得·施拉梅尔 1 侯赛因·西拜 1 乐光督安 1 亚伯拉罕·维诺德（Abraham P.Vinod）。 3篇连载文章中引用 2 Automatica公司 1 自动推理杂志 1 非线性分析。混合动力系统 在3个字段中引用 5 系统论；控制（93至XX） 三 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文