| 基于流管道过近似的混合系统形式化验证技术 |
| |
| 引用本文： | 李辉,方敏. 基于流管道过近似的混合系统形式化验证技术[J]. 合肥工业大学学报(自然科学版), 2008, 31(1): 52-55 |
| |
| 作者姓名： | 李辉 方敏 |
| |
| 作者单位： | 合肥工业大学,电气与自动化工程学院,安徽,合肥,230009;合肥工业大学,电气与自动化工程学院,安徽,合肥,230009 |
| |
| 摘 要： | 文章针对混合系统形式验证中可达集计算的问题,介绍了通过流管道过近似的方法计算系统可达集的基本原理,给出了具体的计算过程;结合一个切换系统的实例,建立其混合自动机模型,在MATLAB语言环境下编程,实现验证过程.
|
| 关 键 词： | 混合系统 形式验证 流管道 可达集 |
| 文章编号： | 1003-5060(2008)01-0052-04 |
| 修稿时间： | 2007-01-17 |
Formal verification of hybrid systems based on flow pipe approximation |
| |
| LI Hui,FANG Min. Formal verification of hybrid systems based on flow pipe approximation[J]. Journal of Hefei University of Technology(Natural Science), 2008, 31(1): 52-55 |
| |
| Authors: | LI Hui FANG Min |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
