-
凯玛拉
- 引用44篇文章[sw03709]
- 混合的程序,程序符号混合的 自动机. 为了自动化验证过程,keymera实现了。。。自动证明策略分解混合的象征性的系统规范。为了克服复杂性。。。
-
阿里阿德涅
- 在14篇文章中引用[sw06670]
- 用于计算的库混合的 自动机由一个包括大学在内的联合小组开发。。。用描述的系统的合成混合的 自动机. 阿里阿德涅计算内核是用泛型。。。
-
宇宙
- 参考6篇文章[sw13329]
- 的统计模型检查器混合的 自动机随机逻辑。本文介绍了宇宙。。。的统计模型检查器混合的 自动机随机逻辑(HASL)。HASL采用线性混合的 自动机...
-
斯皮迪
- 引用8篇文章[sw00896]
- 对于大多数非平凡的子类混合的系统这和所有有趣的验证问题。。。矩形类自动机和混合的 自动机线性向量场。大多数实现的计算程序。。。有趣且仍然可以判定的类混合的系统是(二维)多边形微分包含。。。
-
利奈格
- 参考6篇文章[sw10316]
- 线性的全符号验证混合的 自动机具有大的离散状态空间。我们提议。。。线性验证算法混合的 自动机具有大的离散状态空间(其中…部分和混合的状态空间用一个符号表示。。。
-
巴赫
- 引用4篇文章[sw11906]
- BACH:线性系统有界可达性检验器混合的 自动机.混合的 自动机是经过充分研究的形式模型。。。状态发生变化。然而,分析混合的 自动机是相当困难的。即使是简单的。。。线性类混合的 自动机可达性问题是不可判定的。在作者之前的。。。工作,线性混合的 自动机我们提出了一种基于线性规划的方法来检查。。。
-
哈斯尔
- 参考6篇文章[sw13330]
- 随机模型。我们介绍混合的 自动机随机逻辑(HASL),一种新的时间逻辑形式。。。随机过程(DESP)。HASL采用线性混合的 自动机(LHA)作为选择前缀的机器。。。
-
野兔
- 引用4篇文章[sw10938]
- 混合的 自动机-基于CEGAR的矩形混合的系统。在本文中,我们提出了一个框架。。。CEGAR),用于模拟为矩形的系统混合的 自动机. 我们的主要区别是。。。CEGAR之前的提案混合的 自动机,就是我们考虑抽象。。。混合的 自动机也。我们证明了CEGAR方案是半完全的。。。
-
斯雷克
- 引用5篇文章[sw20158]
- 系统。第一个是(非线性)混合的 自动机具有参数不确定性。第二。。。概率混合的 自动机对于转移概率和变量重置都有额外的随机性。标准方法。。。线性系统的可达性问题混合的系统需要对大型优化问题进行数值求解,并成为。。。
-
利沙
- 引用4篇文章[sw20150]
- 线性系统必然性的验证算法混合的 自动机(LHA)。该算法结合了(a)Lyapunov函数。。。循环混合的自动机。算法已完成自动机与…对称的。。。与Simulink/Stateflow前端集成用于建模混合的系统。实验结果证明了该方法的有效性。。。检验必然性的方法论混合的 自动机有多达五个连续维度和四十个。。。
-
杂交分析
- 引用3篇文章[sw14549]
- 要同时表示和分析的包混合的 自动机. 它利用-语义框架开发。。。减少可达性问题混合的 自动机对于公式的可满足性问题。。。
-
海拉
- 引用4篇文章【sw20821】
- 等效可达性仿真工具混合的 自动机仿射动力学。HyLAA的分析。。。不安全状态当且仅当混合的自动机模拟引擎可以产生这样的。。。
-
混合创造
- 引用2篇文章[sw20138]
- 用于过度接近的工具混合的 自动机. HyCreate是一个用于定义混合的...自动机计算了具有非线性、不确定性动力学系统的可达集的过逼近。。。HyCreate的用户指定混合的 自动机通过接口,使用标准混合的自动机。。。