斯皮迪

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