混合系统的形式验证方法  

Formal Verification of Hybrid Systems

作　　者：方敏[1] 张雅顺[1] 李辉[1] 

机构地区：[1]合肥工业大学电气与自动化工程学院,合肥230009

出　　处：《系统仿真学报》2006年第10期2921-2924,2928,共5页Journal of System Simulation

摘　　要：在介绍混合系统形式验证概念的基础上,从可达集表示和可达集计算方法的角度比较了混合系统的各种形式验证方法和验证工具。重点介绍了模型检验方法中的收敛近似方法和过近似方法,通过一个化工过程系统的验证实例详细介绍了验证工具CheckMate的验证算法。最后分析了混合系统形式验证的难点问题和主要研究方向。The conception of formal verification of hybrid systems was introduced, The current formal verification methods of hybrid systems and the verification tools were compared according to representations and computational techniques of the reachable sets, The emphasis was put on the convergent approximation methods and the over approximation methods in the model checking, The algorithm adopted in the verification tool CheckMate and its application on a chemical process system was introduced in details. Finally, the open problems and the futare research directions were analyzed.

关 键 词：混合系统 形式验证 过近似 可达集 

分 类 号：TP301[自动化与计算机技术—计算机系统结构] TP15[自动化与计算机技术—计算机科学与技术]