10.3969/j.issn.1003-5060.2008.01.014
基于流管道过近似的混合系统形式化验证技术
文章针对混合系统形式验证中可达集计算的问题,介绍了通过流管道过近似的方法计算系统可达集的基本原理,给出了具体的计算过程;结合一个切换系统的实例,建立其混合自动机模型,在MATLAB语言环境下编程,实现验证过程.
混合系统、形式验证、流管道、可达集
31
TP301;TP15(计算技术、计算机技术)
2008-04-10(万方平台首次上网日期,不代表论文的发表时间)
共4页
52-55