• 高超声速

  • 在330篇文章中引用[sw04125]
  • 线性的 混合的系统满足时间需求。混合的系统被指定为自动机...
  • HYSDEL公司

  • 在38篇文章中引用[sw05200]
  • 等级混合的通过互连描述的系统线性的动态系统,自动机否则,如果。。。
  • 利奈格

  • 参考6篇文章[sw10316]
  • 精确且完全符号化的验证线性的 混合的 自动机大的离散状态空间。。。验证的符号算法线性的 混合的 自动机具有大的离散状态空间(其中…部分和混合的状态空间用一个符号表示。。。最小化:冗余消除消除消除所谓的冗余线性的由一个合适的。。。
  • 巴赫

  • 引用4篇文章[sw11906]
  • BACH:有界可达性检验器线性的 混合的 自动机.混合的 自动机是经过充分研究的形式模型。。。即使对于简单的班级线性的 混合的 自动机,可达性问题是不可判定的。。。作者以前的作品线性的 混合的 自动机我们提议线性的基于编程的方法。。。执行有界可达性检查线性的 混合的 自动机. 实验数据表明,巴赫具有很好的应用前景。。。
  • 哈斯尔

  • 参考6篇文章[sw13330]
  • 随机模型。我们介绍混合的 自动机随机逻辑(HASL),一种新的时间逻辑形式。。。事件随机过程。HASL雇佣线性的 混合的 自动机(LHA)作为选择前缀的机器。。。
  • 宇宙

  • 引用5篇文章[sw13329]
  • 自动机随机逻辑(HASL)。HASL雇佣线性的 混合的 自动机(LHA),一个确定性的概括。。。
  • 斯皮迪

  • 参考7篇文章[sw00896]
  • 矩形类自动机混合的 自动机具有线性的向量场。大多数实现的计算程序。。。有趣且仍然可以判定的类混合的系统是(二维)多边形微分包含。。。
  • 利沙

  • 引用3篇文章[sw20150]
  • 验证线性的 混合的 自动机(LHA)。该算法结合了(a)Lyapunov函数。。。
  • 堡垒

  • 1条引用[sw15029]
  • FORTS是一个模型检查器线性的 混合的 自动机我写的。。。
  • 斯雷克

  • 引用5篇文章[sw20158]
  • 不确定性。第二个是概率混合的 自动机对于两个转移概率都有额外的随机性。。。可及性问题的标准方法线性的 混合的系统需要大规模优化的数值解。。。
  • 汽车30

  • 引用3篇文章[sw08370]
  • 细胞自动机(CA)以及最大长度线性的 混合的CA.这个设计。。。
  • 计算

  • 参考7篇文章[sw13098]
  • 非线性布尔组合的可满足性求解-线性的凸约束。我们的方法适用于。。。从有界模型检查生成混合的 自动机静态和浮点分析软件。。。
  • 海拉

  • 引用4篇文章【sw20821】
  • 计算仿真等价可达性的工具线性的系统。模拟是一种实用的方法。。。使用特定的混合的自动机模拟算法,我们称之为。。。等效可达性仿真工具混合的 自动机仿射动力学。HyLAA的分析。。。不安全状态当且仅当混合的自动机模拟引擎可以产生这样的。。。
  • 红色图书馆

  • 引用5篇文章[sw21175]
  • 稠密时间的全TCTL模型检验自动机有多个公平的假设。REDLIB使用。。。固定点计算,参数安全分析线性的 混合的系统,最大不动点的加速技术。。。
  • 差距

  • 引用了3003篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • gmp

  • 引用274篇文章[sw00363]
  • GMP是一个任意精度的免费库。。。