论文部分内容阅读
针对混合系统的连续部分存在定时器时难于进行离散模型近似的问题,提出了一种结合阈值切换面划分和变步长区间计算的解决方案.应用区间计算方法能很容易地得出复杂连续动态的过渡状态,不仅可以很好地对具有定时器的混合系统在某一时刻上进行验证,还可对定时器处在某一范围内的情况进行验证.化工过程控制中混合系统的实例验证过程,证明了上述思想的可行性.