具有定时器连续系统的阈值切换面划分离散近似

若混合系统的连续部分存在定时器,则无法应用基于阈值切换面划分的验证方法。为此,首次提出了综合流管道近似和阈值切换面划分的方法以及过渡状态的概念。在流管道近似过渡状态集合时,扩大其在时间上的分析范围,便可自动得到定时器的合理设定范围。最后通过实例验证了上述方法的可行性,以及形式验证相对于仿真方法的优越性。