海拉

HyLAA:计算线性系统仿真等价可达性的工具。仿真是提高系统设计正确性的一种实用方法。本文提出了一种利用一种特定的混合自动机模拟算法来确定所有能达到的状态的技术,这种特性我们称之为模拟等价可达性。虽然这是一个比传统的可达性稍弱的特性,但它的计算可以是高效和精确的。我们提出了第一个模拟仿射动力学混合自动机等价可达性的工具HyLAA。HyLAA的分析是准确的;完成后,当且仅当混合自动机模拟引擎能够产生这样的跟踪时,该工具将提供对不安全状态的具体模拟跟踪。在后端,该工具实现了一种有效的连续post算法,该算法利用线性系统的叠加原理,对于n维线性系统,每个模式只需要n+1次模拟。该技术能够在不到20分钟的时间内分析出具有1000多个状态变量的复制直升机系统。该工具还包含一些新的性能增强,如不变约束消除、热启动线性规划和跟踪引导集分解。

此软件的关键字

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