斯皮迪

SPeeDI——一个多边形混合系统的验证工具——结合离散和连续动力学的混合系统作为各种人工和自然系统的数学模型，以及作为对复杂连续系统的近似而出现。混合系统行为分析中一个非常重要的问题是可达性。众所周知，对于混合系统的大多数非平凡子类来说，这个和所有有趣的验证问题都是不可判定的。大多数已证明的可判定性结果依赖于严格的假设，即存在一个有限的可计算的状态空间划分，这些状态类在可达性方面是等价的。对于具有线性向量场的矩形自动机和混合自动机来说就是这样。大多数实现的计算程序依赖于约束的（向前或向后）传播，通常是（凸的并集）多面体或椭球体。一般来说，这些技术提供了半决策过程，也就是说，如果给定的最终状态集是可到达的，它们将终止，否则它们可能无法终止。集合传播、reach集逼近方法的主要缺点可能是它们很少关注所分析的特定（一类）系统的几何性质。一类有趣且仍然可以判定的混杂系统是（二维）多边形微分包含（简称SPDI）。

此软件的关键字

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

zbMATH中的参考文献（参考，1标准件)

显示结果1到7，共7个。
按年份排序(引用)

  1. Hansen，Hallstein Asheim；Schneider，Gerardo:GSPeeDI——广义多边形混合系统的验证工具（2009）ioport公司
  2. Asarin，Eugene；Pace，Gordon；Schneider，Gerardo；Yovine，Sergio:多边形杂交系统的算法分析。二： 相图和工具（2008）
  3. Asarin，Eugene；Schneider，Gerardo；Yovine，Sergio:多边形杂交系统的算法分析。一： 可达性（2007）
  4. 佩斯，戈登；施耐德，杰拉多：多边形混合系统并行模型检查的组合算法（2006）
  5. 佩斯，戈登；施耐德，杰拉多：多边形混合系统状态空间缩减的静态分析（2006）
  6. 佩斯，戈登J.；施耐德，杰拉多：使用不变性核的模型检查多边形微分包含。（2004年）
  7. Asarin，Eugene；Pace，Gordon；Schneider，Gerardo；Yovine，Sergio:SPeeDI——多边形混合系统的验证工具（2002）