Application of PWA-Based Safety Diagnosis Method in CSTR System

Yuhong Wang,Pu Yang
DOI: https://doi.org/10.16182/j.issn1004731x.joss.201801038
2018-01-01
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.
What problem does this paper attempt to address?