形式验证中近似流管道的算法研究

出版年：2010
作者：罗来豹；方敏；刘震
单位1：合肥工业大学电气与自动化工程学院
出生年：1985
学历：硕士
语种：中文
作者关键词：形式验证；可达集；有向矩形壳；凸多面体
起始页：1506
总页数：5
刊名：合肥工业大学学报（自然科学版）
是否内版：否
刊频：月刊
创刊时间：1956
主管单位：中华人民共和国教育部
主办单位：合肥工业大学
主编：何晓雄
地址：合肥市屯溪路193号
邮编：230009
电子信箱：hefe@chinajournal.net.cn；XBZK@hfut.edu.cn
卷：33
期：10
期刊索取号：P806.6 223
数据库收录：美国《化学文摘》(CA)收录；美国《数学评论》(MR)收录；俄罗斯《文摘杂志》(AJ)收录；德国《数学文摘》(Zbl MATH)收录；美国《剑桥科学文摘》(CSA)收录；中国科技论文统计源期刊（中国科技核心期刊）来源期刊；中国科学引文数据库(CSCD)来源期刊；中国科技论文与引文数据库(CSTPCD)来源期刊；中国期刊全文数据库(CJFD)来源期刊；中国学术期刊综合评价数据库(CAJCED)来源期刊；中文科技期刊数据库来源期刊；中国知网（CNKI)全文收录；万方数据——数字化期刊群全文收录；维普信息资源系

摘要

混合系统形式验证技术是分析在给定的初始条件下，系统的可达集是否都在目标状态集合内。计算可达集是混合系统形式验证中的重要一步，选用何种几何体表示可达集对于整个验证精度有决定性的影响。文章对有向矩形壳和凸多面体2种状态可达集近似表示方法进行了分析比较，结合2种方法的优点提出了流管道过近似混合算法以降低保守性和提高运算速度；最后在Matlab环境下实现了混合算法并且验证了1个分段非线性系统实例，验证结果显示了所提混合算法的有效性。