上海交通大学 自动化系,上海 200030
若混合系统的连续部分存在定时器,则无法应用基于阈值切换面划分的验证方法。为此, 首次 提出了综合流管道近似和阈值切换面划分的方法以及过渡状态的概念。 在流管道近似过渡状态集合时, 扩大其在时间上的分析范围,便可自动得到定时器的合理设定范围。 最后通过实例验证了上述方法的可 行性,以及形式验证相对于仿真方法的优越性。
张苗苗, 谢剑英, 张学军.具有定时器连续系统的阈值切换面划分离散近似[J].控制与决策,2001,16(5):637-640