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每个工具;动物2;MPT公司;棱镜;杂交Sal 引用于: 6文件 全部的 前5名被19位作者引用 1 亚历山德罗·阿巴特 1 马蒂亚斯·阿尔霍夫 1 斯坦利·巴克 1 西蒙·巴尔迪 1 塞尔吉·博戈莫洛夫 1 达里奥·卡塔鲁扎 1 帕拉萨拉·斯里达尔·达吉拉拉 1 樊楚楚 1 约瑟夫·格里森。 1 马尼什·戈亚尔 1 丹尼尔·科宁 1 萨扬·密特拉 1 纳维德·莫赫莱西 1 越南,攀盛 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) 按年份列出的引文