基于流管道过近似的混合系统形式化验证技术  

Formal verification of hybrid systems based on flow pipe approximation

作　　者：李辉[1] 方敏[1] 

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

出　　处：《合肥工业大学学报（自然科学版）》2008年第1期52-55,共4页Journal of Hefei University of Technology：Natural Science

摘　　要：文章针对混合系统形式验证中可达集计算的问题,介绍了通过流管道过近似的方法计算系统可达集的基本原理,给出了具体的计算过程;结合一个切换系统的实例,建立其混合自动机模型,在MATLAB语言环境下编程,实现验证过程。Calculation of the set of reachable states in hybrid system verification is considered. The basic theory of flow pipe approximation as well as its calculating procedure is described. A switch system example is presented, and the hybrid automaton model is built up. A program is compiled in the MATLAB environment to complete system verification.

关 键 词：混合系统 形式验证 流管道 可达集 

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