| 形式验证中近似流管道的算法研究 |
| |
| 引用本文： | 罗来豹,方敏,刘震.形式验证中近似流管道的算法研究[J].合肥工业大学学报(自然科学版),2010,33(10). |
| |
| 作者姓名： | 罗来豹 方敏 刘震 |
| |
| 作者单位： | 合肥工业大学,电气与自动化工程学院,安徽,合肥,230009 |
| |
| 摘 要： | 混合系统形式验证技术是分析在给定的初始条件下,系统的可达集是否都在目标状态集合内。计算可达集是混合系统形式验证中的重要一步,选用何种几何体表示可达集对于整个验证精度有决定性的影响。文章对有向矩形壳和凸多面体2种状态可达集近似表示方法进行了分析比较,结合2种方法的优点提出了流管道过近似混合算法以降低保守性和提高运算速度;最后在Matlab环境下实现了混合算法并且验证了1个分段非线性系统实例,验证结果显示了所提混合算法的有效性。
|
| 关 键 词： | 形式验证 可达集 有向矩形壳 凸多面体 |
Algorithm research on flow pipe approximation of formal verification |
| |
| LUO Lai-bao,FANG Min,LIU Zhen.Algorithm research on flow pipe approximation of formal verification[J].Journal of Hefei University of Technology(Natural Science),2010,33(10). |
| |
| Authors: | LUO Lai-bao FANG Min LIU Zhen |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
