Application of PWA-Based Safety Diagnosis Method in CSTR System

doi:10.16182/j.issn1004731x.joss.201801038

Abstract

Abstract: A safety diagnosis method based on piecewise affine (PWA) model is proposed for ensuring the safety of the petrochemical process. In the method, the petrochemical system is modeled in PWA form which can well describe the nonlinear and hybrid characteristic of the system. Then a formal verification algorithm based on reachable analysis is used to get reachable sets of system states according to the established model. It can predict whether the system is in danger or not in advance so as to take the corresponding measures to ensure the reliability and safety of the system. The proposed method is applied to continuous stirred tank reactor (CSTR) system and its effectiveness and practicability is demonstrated by simulation.

Key words: PWA model, formal verification, safety diagnosis, CSTR

CLC Number:

TP29

Wang Yuhong, YangPu. Application of PWA-Based Safety Diagnosis Method in CSTR System[J]. Journal of System Simulation, 2018, 30(1): 292-297.

References

[1] 魏选平, 卞树檀. 故障树分析法及其应用[J]. 电子产品可靠性与环境试验, 2004, 6(3): 43-45. Wei Xuan-ping, Bian Shu-tan. Theory and Application of Fault Tree Analysis [J]. Electronic Product Reliability and Environmental Testing, 2004, 6(3): 43-45.
[2] Cong G, Gao J, Yang J, et al.Risk Assessment Based on Fault Tree Analysis for Damaged Pipe Repair During Operation in Petrochemical Plant[J]. Transactions of Tianjin University (S1006-4982), 2013, 19(1): 70-78.
[3] 张钊谦, 夏涛, 张贝克, 等. 事件树建模及其在石化安全评估软件中的应用[J]. 系统仿真学报, 2003, 15(10): 1374-1380. Zhang Zhaoqian, Xia Tao, Zhang Beike, et al. Event Tree Modeling and Its Application in Petrochemical Hazard Assessing Software [J]. Journal of System Simulation, 2003, 15(10): 1374-1380.
[4] 马欣, 刘兴华, 胡博, 等. 基于贝叶斯网络的常减压装置塔体安全性预测[J]. 化工装备技术, 2013, 34(1): 27-31.Ma Xin, Liu Xinghua, Hu Bo, et al. Security Forecast of Crude Oil Unit Tower Body Based on Bayesian Networks[J]. Chemical Equipment Technology, 2013, 34(1): 27-31.
[5] 佟慧艳. 基于PWA模型的混杂系统优化控制[J]. 科学技术与工程, 2010, 10(22): 5536-5538.Tong Hui-yan. Predictive Control for Hybrid Systems Modeled in HYSDEL[J]. Science Technologyand Engineering, 2010, 10(22): 5536-5538.
[6] Bemporad A, Torrisi F D, Morari M.Discrete-time Hybrid Modeling and Verification of the Batch Evaporator Process Benchmark[J]. European Journal of Control (S0947-3580), 2001, 7(4): 382-399.
[7] Du J, Song C, Ping L.Application of Gap Metric to Model Bank Determination in Multilinear Model Approach[J]. Journal of Process Control (S0959-1524), 2009, 19(2): 231-240.
[8] 史运涛, 杨震安, 李志军, 等. 基于数据驱动的混杂系统建模与优化控制研究[J]. 系统仿真学报, 2013, 25(11): 2709-2716.Shi Yuntao, Yang Zhen’an, Li Zhijun, et al. Method of Hybrid System Modeling and Optimizing Control Based on Data-driven[J]. Journal of System Simulation, 2013, 25(11): 2709-2716.
[9] Zhan N, Wang S, Zhao H.Formal modeling, analysis and verification of hybrid systems[M]. Germany: Springer Berlin Heidelberg, 2013: 207-281.
[10] 卜磊, 解定宝. 混成系统形式化验证[J]. 软件学报, 2014, 25(2): 219-233.Bu L, Xie D B. Formal verification of hybrid system. Ruan Jian Xue Bao[J]. 2014, 25(2): 219-233.

[1]	Kaiqing Zhang, Qichun Ji. Research on Multi-depot Half-open Vehicle Routing Problem with Time-varying Speed [J]. Journal of System Simulation, 2022, 34(4): 836-846.
[2]	Bi Zhenbo, Zhang Shiyou, Yang Hua, Wu Yuanhong. Survey of Ship Detection in Video Surveillance Based on Shallow Machine Learning [J]. Journal of System Simulation, 2021, 33(12): 2792-2807.
[3]	Tang Hanwen, Zhang Tao, Li Yumei, Li Lei, Zhang Jinghua, Hu Dongliang. Research on Stick-slip Vibration Level Estimation of Near-bit Based on Optimized XGBoost [J]. Journal of System Simulation, 2021, 33(11): 2704-2710.
[4]	Wei Jingjing, Liu Qinming, Ye Chunming, Li Guanlin. Fault Diagnosis of Mechanical Equipment Based on GA-SVR with Missing Data in Small Samples [J]. Journal of System Simulation, 2021, 33(6): 1342-1349.
[5]	Chen Zhen, Yang Haikuan, Jiang Nan, Wang Yuancheng, Jiang Tianjiao. Design of Universal Control Load System of Helicopter Flight Simulator [J]. Journal of System Simulation, 2019, 31(11): 2408-2412.
[6]	Li Wei, Ge Zhenfu, Shen Fuyuan, Gong Jianxing. Encoder Fault Detection and Fault Tolerant Control of 3D Stage Wire System Based on FDRE [J]. Journal of System Simulation, 2019, 31(4): 740-749.
[7]	Li Bobo, Li Shouzhi, Zhang Yanxiao. New Phase-lock Method for Tracking Low-voltage Ride-through on Photovoltaic Inverters [J]. Journal of System Simulation, 2018, 30(6): 2328-2334.
[8]	Tian Yongjun, Duan Guolin, Kang Junguang, Gang Jianhua. Simulation of Stone Cutting Process Based on Adaptive Coupling Method [J]. Journal of System Simulation, 2018, 30(2): 497-505.
[9]	Zhou Guoxiong, Li Junchao, Chen Aibin. Decoupling Control of Poultry Hatching Process Based on α-order Neural Network Inverse System [J]. Journal of System Simulation, 2016, 28(7): 1661-1667.
[10]	Li Yuan, Yan Yayun, Tang Xiaochu. Online Product Quality Prediction for Multi-phase Based on Local Model [J]. Journal of System Simulation, 2016, 28(4): 966-971.
[11]	Li Yaohua, Wang Lei. Study on Aircraft Scheduling Optimization Based on Improved Genetic Algorithm [J]. Journal of System Simulation, 2016, 28(3): 620-626.