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

Hybrid Formal Verification of CSTR System Based on MLD Model

【摘要】:The operation safety problems in process industry are becoming more and more important.Based on Mixed Logical Dynamical (MLD) model,operation safety problems are converted into hybrid formal verification problems in this paper.The hybrid formal verification algorithm is applied to a CSTR process with serious nonlinearity.By defining safety states as reach set,the CSTR process is modeled in the MLD form.Then operation safety problems of CSTR can be transformed into hybrid formal verification problems.The safety reach sets are computed by MPT software.Simulation results show that CSTR process can be driven to safety reach sets with proper control action calculated using hybrid formal verification algorithm.This paper illustrates the effectiveness of this hybrid formal verification method and provides a novel approach to handle operation safety problems in process industry.

知网文化
【相似文献】
中国重要会议论文全文数据库 前10条
1 ;Basic Principles and Process of Environmental Risk Assessment[A];中国毒理学会环境与生态毒理学专业委员会第二届学术研讨会暨中国环境科学学会环境标准与基准专业委员会2011年学术研讨会会议论文集[C];2011年
2 ;A Novel Process Description Language:APDL[A];Proceedings 2010 IEEE 2nd Symposium on Web Society[C];2010年
3 ;Monitoring of Pulsed MIG Welding Process of Aluminum Alloy Based on the LabVIEW Real-time Vision[A];中国自动化学会控制理论专业委员会C卷[C];2011年
4 ;Status Quo of Research on the Application of Dynamometer Card in Oil Production Process Control[A];Proceedings of 2010 Chinese Control and Decision Conference[C];2010年
5 ;Intelligent Optimizing Setting Control Method for Shaft Furnace Roasting Process[A];Proceedings of 2010 Chinese Control and Decision Conference[C];2010年
6 ;Applications of Uncertain Canonical Process in Spatial Predictions[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
7 ;Research on Controller Parameters Intelligent Optimizing for Glutamic Acid Fermentation Process[A];Proceedings of 2010 Chinese Control and Decision Conference[C];2010年
8 ;Uncertain Canonical Process Driven Models and Data Analysis[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
9 ;The crosstalk between nitrosative stress and cellular autophagy-lysosome process in endothelial cells during brain ischemia[A];中国药理学会第十一次全国学术会议专刊[C];2011年
10 ;Research on Process Management of Product Collaborative Design[A];Proceedings of 2010 Chinese Control and Decision Conference[C];2010年
中国博士学位论文全文数据库 前10条
1 张江;贫金属星中的元素丰度及核合成[D];河北师范大学;2010年
2 Assim Mohammed Lateef(阿西姆);在役城市隧道常见病害及修复效果分析[D];重庆大学;2011年
3 君宁(ADOHINZIN Junior Bloh Nignilo);基于绩效评估的战略环境评价体系研究[D];大连理工大学;2012年
4 Tchidi Megan Florent(齐弟);精益六西格玛在建筑工程的应用研究[D];天津大学;2011年
5 杜学胜;煤矿企业安全文化系统化建设研究[D];中国矿业大学;2010年
6 韩丹;食品安全与市民社会[D];吉林大学;2011年
7 王祥尧;安全文化定量测量的理论与实证研究[D];中国矿业大学(北京);2011年
8 李良炎;基于词联接的自然语言处理技术及其应用研究[D];重庆大学;2004年
9 苗金明;中国安全生产规制理论及效果评估与实证研究[D];中国矿业大学(北京);2009年
10 IROR, JOSEPHKIPLAGAT;RFID在智能海关中的潜在应用与挑战[D];上海交通大学;2011年
中国硕士学位论文全文数据库 前10条
1 赵力霄;中美领导人新年贺词的及物性对比分析[D];天津理工大学;2012年
2 王保霞;对美国主流媒体关于中国食品安全问题的新闻报道的批评话语分析[D];安徽大学;2012年
3 袁春明;基于ProcessLogix的网络监测系统[D];武汉理工大学;2003年
4 王晨艳;对《纽约时报》中“三鹿毒奶粉事件”报道的批评话语分析[D];河北师范大学;2010年
5 裴兆玉;美国报纸对中国食品安全报道的批评话语分析[D];河南师范大学;2012年
6 郑伟;民航机场风险评价模式研究[D];沈阳航空工业学院;2006年
7 王明庆;国际食品贸易安全的研究分析及对中国的启示[D];东北财经大学;2010年
8 王军帅;从小说《屠场》看黑幕揭发者对美国进步时代改革的影响[D];外交学院;2012年
9 EL HADJI HAMIDOU DIOUF;[D];南昌大学;2012年
10 姜江;逆变电源模块间网络通信的研究[D];燕山大学;2004年
中国重要报纸全文数据库 前10条
1 ;CA推出Process Continuum 9.0[N];计算机世界;2001年
2 杨国强;CA Process Continuum——CMM理念的工具体现[N];计算机世界;2002年
3 记者 甘霖来;惠普同期发布Processor-M笔记本[N];中国计算机报;2001年
4 张悦;.Net中的对进程的操作[N];电脑报;2003年
5 戴卫武;你知道自家计算机不足之处吗(下)[N];中国电脑教育报;2005年
6 ;轻松管理业务流程[N];计算机世界;2002年
7 阿甘;Netaction:网络动作 惠普出新[N];中国计算机报;2001年
8 黎明;BEA新产品即将发布[N];中华合作时报;2004年
9 ;Sempron有Barton核心[N];中国电脑教育报;2004年
10 ;评测与硬件的故事下篇 明明白白我的“芯”[N];电脑报;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978