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

基于混合逻辑动态模型的预测控制与形式验证技术

陆地  
【摘要】:在现代流程工业中,过程控制对象日益复杂以及对控制精度的要求日益提高,工业过程控制中连续过程动态和离散事件动态的混杂特性越来越明显,传统的理论方法对这些系统进行建模和控制,已很难满足控制要求。针对这种情况,本文采用混合逻辑动态(Mixed Logical Dynamical,MLD)模型理论,进行混杂系统的建模、控制与形式验证研究。 本文在前人研究工作的基础上,对混杂系统理论作了进一步的研究和探索。研究的内容包括基于MLD的混杂系统控制和形式验证研究两个部分,主要体现在以下几个方面: 深入研究了混合逻辑动态系统建模机理,讨论了逻辑命题的转换及其线性整数规划的方法,分别以机理建模和Hysdel方法建立了CSTR系统的MLD模型,总结了混杂系统不同模型之间的等价性。 将传统的模型预测控制应用到基于MLD模型的混杂系统中,研究了混合逻辑动态系统的开环约束最优控制,分别探讨了基于MIQP和MILP问题的模型预测控制,通过数值仿真验证了两种算法的有效性。 探讨了定理证明和模型检验两种混杂系统形式验证方法,详细介绍了基于模型检验的形式验证工具,利用CheckMate验证工具对弹跳球系统进行了形式验证的仿真研究。研究了混合逻辑动态系统的形式验证问题,针对混合逻辑动态系统,在理论上深入研究了基于数学规划的混杂系统形式验证算法,将该算法应用到非线性CSTR系统中,探讨了CSTR系统的安全性问题,对混杂系统控制的正确性和可靠性进行了有益的探索。 最后,对全文工作进行了总结,对混杂系统控制及形式验证技术未来的发展方向做了展望。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 化志章;吴传孙;揭安全;薛锦云;;软件模型检测新技术研究[J];微计算机信息;2007年36期
2 范德会;马光胜;;基于WGL模型的等价性验证[J];哈尔滨理工大学学报;2009年03期
3 张忠林;唐璞山;;一个基于可满足性算法的时序深度计算方法[J];计算机工程;2006年02期
4 杨华兵;张兴元;王元元;;MANET路由协议的正确性分析[J];南京邮电大学学报(自然科学版);2007年02期
5 方建旭;;数字集成电路的FPGA验证[J];集成电路应用;2004年07期
6 卢永江,严晓浪,葛海通,杨军;结合无依赖性割集和量化的等价性验证[J];计算机辅助设计与图形学学报;2005年10期
7 丁敏;唐璞山;;改进的时间帧展开的时序电路等价验证算法[J];计算机辅助设计与图形学学报;2006年01期
8 高秋红;骆丽;;面向SOC设计的混合验证方法及其应用[J];电脑知识与技术(学术交流);2006年17期
9 马光胜;焦金良;冯刚;王冠军;;基于WGLs的字级描述的形式验证[J];哈尔滨工程大学学报;2007年05期
10 王青;杨孟飞;;基于断言的形式验证方法应用研究[J];航天控制;2007年03期
11 肖娟;;混成系统的形式验证[J];长沙通信职业技术学院学报;2008年01期
12 王飞明;胡元闯;董荣胜;;模型检测研究进展[J];广西科学院学报;2008年04期
13 周屹;杨洋;范德会;;基于多项式符号代数的数据通路模型[J];黑龙江工程学院学报(自然科学版);2009年04期
14 贝劲松,李洪星,边计年,薛宏熙,洪先龙;形式验证中同步时序电路的VHDL描述到S~2-FSM的转换[J];计算机辅助设计与图形学学报;1999年03期
15 李光辉,邵明,李晓维;一个适于形式验证的ATPG引擎[J];计算机研究与发展;2004年05期
16 李亮,唐璞山,张忠林;一种新颖的基于层划分的等价验证方法[J];微电子学;2004年06期
17 韩伟华;;基于断言的硬件设计功能验证[J];中国集成电路;2004年03期
18 方敏;张雅顺;李辉;;混合系统的形式验证方法[J];系统仿真学报;2006年10期
19 张鹏程;李必信;周宇;;模型检验软件体系结构研究与进展[J];计算机科学;2007年04期
20 ;验证技术开发趋势[J];电子设计技术;2003年08期
中国重要会议论文全文数据库 前10条
1 邓澍军;吴为民;边计年;;RTL验证中的混合可满足性求解[A];第四届中国测试学术会议论文集[C];2006年
2 王飞明;胡元闯;董荣胜;;模型检测中状态爆炸及其优化策略研究[A];广西计算机学会2008年年会论文集[C];2008年
3 李春明;宋新亮;;代码风格所引起形式验证失配问题的分析[A];第五届中国测试学术会议论文集[C];2008年
4 李光辉;邵明;李晓维;;用形式方法验证通用CPU设计[A];第十届全国容错计算学术会议论文集[C];2003年
5 邵明;李光辉;李晓维;;提取不可满足问题核[A];第十届全国容错计算学术会议论文集[C];2003年
6 韩俊刚;吴为民;李暾;杜慧敏;;(A7)专题讨论2:形式验证与模拟验证[A];第四届中国测试学术会议论文集[C];2006年
7 刘基顺;刘振娟;李宏光;;混合控制系统的C/E-PLC形式验证及其应用[A];2003中国控制与决策学术年会论文集[C];2003年
8 李炜;刘政怡;吴建国;;基于完全确定有限状态机的控制器综合的验证[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
9 边计年;;集成电路设计验证方法与技术[A];第五届中国测试学术会议论文集[C];2008年
10 陈博文;郭琦;沈海华;;浮点乘加部件的自动化形式验证[A];第六届中国测试学术会议论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 丁敏;可满足性问题算法研究以及在时序电路等价验证中的应用[D];复旦大学;2005年
2 杨志;基于多项式符号代数的数字电路形式验证方法研究[D];哈尔滨工程大学;2009年
3 文艳军;基于接口自动机的组合验证方法研究[D];国防科学技术大学;2005年
4 曾红卫;Web应用的验证与测试方法研究[D];上海大学;2008年
5 李东海;基于有限环上多项式的数字电路形式验证方法[D];哈尔滨工程大学;2008年
6 许庆国;基于自动机的时间系统形式验证技术[D];上海大学;2007年
7 杨军;集成电路的逻辑等价性验证研究[D];浙江大学;2007年
8 王秀芹;基于SAT的数字电路形式验证方法研究[D];哈尔滨工程大学;2009年
9 卢永江;超大规模集成电路形式验证的方法研究[D];浙江大学;2005年
10 翁延玲;RTL到门级设计的等价性验证的研究[D];浙江大学;2008年
中国硕士学位论文全文数据库 前10条
1 吴俊华;组合电路的形式验证方法研究[D];哈尔滨工程大学;2004年
2 朱学仕;形式验证技术的应用研究[D];哈尔滨工程大学;2004年
3 古进;超大规模集成电路设计流程中的验证技术及实践[D];浙江大学;2004年
4 郑伟伟;基于线性规划的RTL性质验证研究[D];清华大学;2005年
5 张望;数字电路后端的形式验证方法研究及应用[D];西安电子科技大学;2008年
6 吕向东;形式验证在SOC设计中的应用研究[D];西安电子科技大学;2009年
7 李加良;线性混合系统的验证方法及其应用[D];合肥工业大学;2009年
8 沙毅;数字系统设计自动化中控制器综合的验证研究[D];安徽大学;2005年
9 黄志杭;用于微热板式气压传感器的数字集成电路设计[D];大连理工大学;2006年
10 张雅顺;混合系统的形式验证方法及其应用[D];合肥工业大学;2006年
中国重要报纸全文数据库 前9条
1 中科院计算技术研究所 李树杰 傅 亮;SoC需要验证[N];计算机世界;2004年
2 ;EDA:IC设计的幕后功臣[N];计算机世界;2005年
3 ;发展SOC面临的主要问题[N];中国电子报;2001年
4 齐鲁;科教片《电网安全保畅通》山东成功放映[N];中国电影报;2006年
5 朱新亚;XML转换器 电子商务引入新网元[N];中国计算机报;2004年
6 诸玲珍;FPGA原型工具解ASIC设计之“痒”[N];中国电子报;2004年
7 中国科学院研究生院信息安全国家重点实验室 刘亮 徐海波 中软股份有限公司 尚铭;互联网的“海岸警卫队”[N];计算机世界;2004年
8 田立金;用新机制培养队伍的科学管理理念[N];中国石油报;2004年
9 记者 高君;北京石油质管体系通过外部审核[N];中国石化报;2011年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978