混合系统的形式验证方法

摘要

在介绍混合系统形式验证概念的基础上,从可达集表示和可达集计算方法的角度比较了混合系统的各种形式验证方法和验证工具。重点介绍了模型检验方法中的收敛近似方法和过近似方法,通过一个化工过程系统的验证实例详细介绍了验证工具CheckMate的验证算法。最后分析了混合系统形式验证的难点问题和主要研究方向。