混合系统的分析

在人们日常生活中,混合系统(Hybrid Sstem)应用的实例很多,如汽车中的计算机控制系统、飞机中的平稳飞行痤制系统等都属于混合系统的范畴,并且随着计算机技术的发展,混合系统的应用范围会更加广泛,入们的生活会更加依赖于混合系统,固此社会应用的需求要求研究人员对混合系统进行比较深入的研究,保证混合系统运行的正确性。

基于控制周期特征式的线性混合自动机验证

提出了一种基于归纳法思想的验证方法 ,通过控制周期上特性的描述 ,发现了基于控制周期特征式的线性混合自动机验证方法。这一方法采用定理证明过程来得出归纳证明的结构 ;采用模型检查方法来得出归纳证明的奠基和迭代步。这一方法同时兼顾了模型检查和定理证明的特点 ,用此定理证明更高的自动化程度解决了单用模型检查不能解决的问题 ,得出了对著名案例 GasBurner问题中的参数 3non- leakking≥ 76的最优范围。