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.

关键词： Formal Verification Hybrid System MLD Model CSTR

作者: Yuhong Wang Huayi Liu Di Lu

作者单位: College of Information and Control Engineering, China University of Petroleum, Dongying, 257061 Chin College of Information and Control Engineering, China University of Petroleum, Dongying, 257061, Chi

会议类型: 国际会议

会议名称: 2011 China Control and Decision Conference(2011中国控制与决策会议 CCDC)

会议地点: 四川绵阳

会议语种:英文

页码: 2284-2288

在线出版日期: 2011-05-23（万方平台首次上网日期，不代表论文的发表时间）