收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

混杂系统模型验证工具的验证效果分析

刘震  
【摘要】: 混杂系统的形式验证技术是利用数学分析方法对混杂系统的安全性进行验证。近十年来,模型验证技术是形式验证研究的主要方法。模型验证技术是指,利用计算机强大的计算功能自动地对混杂系统的数学模型进行整个状态空间中进行遍历搜索,对系统所有可能的运行轨迹进行收敛计算或过近似计算,以检验系统的实现方案是否满足系统的设计要求。 论文首先介绍了模型验证的概念和特点,常用的混杂系统建模方法如混杂自动机、混杂Petri网、层次结构和时段演算。分析了可达集的两种计算方法—前向和后向可达集算法,对可达集的过近似方法作了系统的阐述。最后详细介绍了模型验证的国内外研究状况和常用的模型验证工具。 针对混杂系统连续子系统和离散子系统相互作用的特点,研究了混杂自动机模、多面体混杂自动机和混杂I/O自动机的建模方法;对于混杂系统的流管道过近似问题,给出了齐诺多面体(zonotopes)的基于中心点和生成元(generators)的表达式和过近似算法,分析了该算法的保守性、封闭性、集合交并处理能力以及收敛性。通过比较凸多面体过近似和齐诺多面体过近似算法的适用对象、计算方法、过近似保守性和随维数增长的计算复杂度,对两种算法的优劣和特点进行了详细的分析。 针对常压炉加热炉系统(线性混杂系统)和汽车自适应巡航系统(非线性混杂系统)建立数学模型,抽象出验证问题,给出ACTL验证规范。使用PHAVer和CheckMate验证工具分别对上述两种系统建立混杂I/O自动机模型和阈值切换系统模型,应用齐诺多面体流管道过近似方法和凸多面体流管道过近似方法进行模型检验,对系统的状态可达性和运行安全性进行了分析,并给出验证结论。通过上述结论,分析验证工具CheckMate和PHAVer的保守性、消耗时间和内存空间占用率,对上述两种验证工具的验证效果进行了比较。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 赵晓华,陈阳舟;基于混杂系统理论的单交叉口信号灯控制[J];北京工业大学学报;2004年04期
2 赵争鸣;施博辰;朱义诚;;高压大容量电力电子混杂系统控制技术综述[J];高电压技术;2019年07期
3 何建营;卜维春;;一类随机混杂系统的依概率稳定问题[J];数学学习与研究;2013年09期
4 刘海军;;论筑路机械机群多智能主体混杂系统容错调度研究及系统仿真[J];科学中国人;2017年06期
5 颜钢锋,仝庆贻,赵光宙;基于混杂系统理论的电力系统电压稳定性研究[J];浙江大学学报(工学版);2005年05期
6 杨莹;;一类不确定广义随机混杂系统的非脆弱控制器设计[J];惠州学院学报(自然科学版);2012年03期
7 吴兆春,王梅生,徐心和;一类混杂系统建模的原则[J];东北大学学报;1998年02期
8 吴锋,刘文煌,郑应平;混杂系统方法及其在过程控制中的应用[J];清华大学学报(自然科学版);1997年11期
9 程曙;张浩;马玉敏;赵荣泳;;面向自动化装配的一类智能混杂系统[J];计算机工程;2007年11期
10 宗广灯,武玉强,杨洪勇;一类离散时间切换混杂系统鲁棒控制[J];控制理论与应用;2005年05期
11 吴锋,郑应平,毛绪瑾;一类混杂系统的建模与控制器设计[J];控制与决策;1996年01期
12 尹安东;赵韩;孙骏;路瑞刚;;基于混杂系统理论的混合动力汽车驱制动控制研究[J];汽车工程;2015年10期
13 高琛;白雪;赵不贿;;一类随机混杂系统的稳定性分析[J];计算机工程与应用;2013年06期
14 杨莹;李俊民;陈国培;;一类广义混杂系统的随机稳定性及稳定化[J];西安电子科技大学学报;2010年05期
15 杨麟祥;岳继光;张晓云;;切换型混杂系统的建模仿真与稳定性研究[J];系统仿真学报;2008年09期
16 李成江;;新的混杂系统模型-符号模式[J];微计算机信息;2011年06期
17 张霓,吴铁军;具多个平衡点的不确定混杂系统输出反馈鲁棒镇定[J];科技通报;2003年01期
18 赵洪山,米增强,牛东晓,杨奇逊;利用混杂系统理论进行电力系统建模的研究[J];中国电机工程学报;2003年01期
19 徐大平;高峰;吕跃刚;;基于混杂系统的风力发电机组建模与控制[J];动力工程;2009年04期
20 王磊;;混杂系统控制理论在电力电子学中的应用[J];电子制作;2016年02期
中国重要会议论文全文数据库 前8条
1 王泽宁;费树岷;冯纯伯;;一类混杂系统的鲁棒控制[A];第十九届中国控制会议论文集(一)[C];2000年
2 芦茜;邓勇;;认知不确定下基于证据的模型验证方法[A];中国力学大会-2015论文摘要集[C];2015年
3 周玉臣;方可;马萍;;模型验证辅助工具的模块化设计[A];系统仿真技术及其应用学术论文集(第15卷)[C];2014年
4 贾利民;;关于模糊混杂系统[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年
5 何苇;黄丞;吴智铭;;用扩展的LCPN对混杂系统建模[A];1996中国控制与决策学术年会论文集[C];1996年
6 曹锐;李宏光;李昊阳;;污水泵站混杂系统的Petri网建模与仿真[A];第二届全国信息获取与处理学术会议论文集[C];2004年
7 理查德·菲图西;派特里克·马特里斯;凯特·维;;通过皮肤模型验证一款新产品在应对环境压力时的保护作用[A];第十一届中国化妆品学术研讨会论文集[C];2016年
8 王宇红;赵旭;;混杂系统的MLD建模及其优化算法的改进[A];2009中国控制与决策会议论文集(3)[C];2009年
中国博士学位论文全文数据库 前13条
1 王雪芳;基于混杂系统模型的分布式优化算法研究[D];大连理工大学;2019年
2 何艳;具有变时滞的混杂系统的稳定性分析[D];大连理工大学;2019年
3 张严;基于混杂系统的中央空调冷冻水泵控制策略研究[D];华南理工大学;2018年
4 王红丽;连续发酵抑制作用的混杂系统、稳定性及鲁棒辨识[D];大连理工大学;2018年
5 杨莹;几类随机混杂系统的稳定性分析及其控制[D];西安电子科技大学;2009年
6 尹增山;混杂系统优化控制理论研究[D];浙江大学;2001年
7 张聚;混杂系统理论及在非线性系统中的应用研究[D];浙江大学;2005年
8 武小荷;基于模型引导和特征增强的深度视觉跟踪方法研究[D];哈尔滨工业大学;2019年
9 王娟;一类非线性酶催化混杂系统的建模与优化[D];大连理工大学;2012年
10 周玉臣;复杂仿真模型验证方法研究[D];哈尔滨工业大学;2019年
11 张誉铎;连续发酵非线性混杂系统的鲁棒性分析与并行优化[D];大连理工大学;2012年
12 钱晓超;考虑不确定性影响的仿真模型验证及校准方法研究[D];哈尔滨工业大学;2016年
13 姚立红;基于有限状态自动机的混杂动态系统分析与控制研究[D];西安电子科技大学;2015年
中国硕士学位论文全文数据库 前20条
1 刘震;混杂系统模型验证工具的验证效果分析[D];合肥工业大学;2010年
2 李鹏;混杂系统的输入/输出状态稳定性研究[D];山东师范大学;2019年
3 丁烨;基于混杂系统的DC/DC变换器预测函数PID控制研究[D];安徽工业大学;2019年
4 黄坤鹏;时滞影响下的随机混杂系统的指数稳定性分析[D];重庆邮电大学;2019年
5 杨伟;网络化随机混杂系统的动力学分析与参数辨识[D];重庆理工大学;2019年
6 孙郁哲;基于混杂系统的无线通信理论与方法研究[D];西安理工大学;2019年
7 孙赫威;基于混杂系统的防腐装备喷涂均匀性控制研究[D];辽宁工程技术大学;2017年
8 许冬鸿;量子混杂系统中冷却机械振子[D];中国科学技术大学;2018年
9 张晓丽;复杂环境下混杂系统的输入—状态稳定性与控制[D];山东师范大学;2017年
10 金洲;基于能量模型的参数不确定性混杂系统故障诊断方法研究[D];新疆大学;2017年
11 何建营;一类随机混杂系统的稳定性[D];郑州大学;2009年
12 苏立娟;基于分割法的混杂系统形式化分析方法研究[D];广西民族大学;2017年
13 王辅天;基于粒子滤波的混杂系统故障诊断[D];北京交通大学;2017年
14 郭宏民;一类受限混杂系统的预测控制研究[D];江南大学;2008年
15 那雨虹;切换混杂系统的鲁棒滤波[D];哈尔滨工业大学;2016年
16 李薇;一类混杂系统的控制器设计[D];东北大学;2014年
17 胡琼;基于混杂系统拉索振动控制的参数分析及效率对比[D];重庆交通大学;2015年
18 李亚男;仿真系统模型验证方法和工具研究[D];哈尔滨工业大学;2008年
19 杨佳佳;基于模型思想的小学方程教学设计研究[D];四川师范大学;2019年
20 王力冰;多域复杂产品设计平台M-Design中模型验证和自动布局功能的设计与实现[D];浙江大学;2018年
中国重要报纸全文数据库 前1条
1 孙友师;美空军启动“飞机电力与热建模与分析”计划[N];中国航空报;2017年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978