TY - JOUR
T1 - An automata based method for online synthesis of emergency response procedures in batch processes
AU - Yeh, Ming Li
AU - Chang, Chuei Tin
N1 - Funding Information:
This work is supported by the National Science Council of Taiwan under Grant NSC 100-2221-E-006-139-MY2.
PY - 2012/3/5
Y1 - 2012/3/5
N2 - Rapid response to remove (or reduce) the detrimental effects of accidents has always been an important safety issue for the chemical industries. A systematic strategy is presented in this paper to synthesize emergency response procedures in any given batch system. Specifically, two distinct sets of automata are first constructed offline to model the plant behaviors and the control specifications, respectively. On the basis of these automata, an admissible supervisor can be synthesized online for a diagnosed failure-induced system state by applying the parallel composition operation. For the purpose of identifying an efficient operating procedure to steer the system away from hazardous conditions while still maintaining an acceptable production rate, an additional set of auxiliary automata can be augmented with this supervisor to set the operation targets and to limit the total number of actuator actions. Two examples are presented in this paper to demonstrate the feasibility of the proposed approach.
AB - Rapid response to remove (or reduce) the detrimental effects of accidents has always been an important safety issue for the chemical industries. A systematic strategy is presented in this paper to synthesize emergency response procedures in any given batch system. Specifically, two distinct sets of automata are first constructed offline to model the plant behaviors and the control specifications, respectively. On the basis of these automata, an admissible supervisor can be synthesized online for a diagnosed failure-induced system state by applying the parallel composition operation. For the purpose of identifying an efficient operating procedure to steer the system away from hazardous conditions while still maintaining an acceptable production rate, an additional set of auxiliary automata can be augmented with this supervisor to set the operation targets and to limit the total number of actuator actions. Two examples are presented in this paper to demonstrate the feasibility of the proposed approach.
UR - http://www.scopus.com/inward/record.url?scp=84857440785&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84857440785&partnerID=8YFLogxK
U2 - 10.1016/j.compchemeng.2011.11.008
DO - 10.1016/j.compchemeng.2011.11.008
M3 - Article
AN - SCOPUS:84857440785
SN - 0098-1354
VL - 38
SP - 151
EP - 170
JO - Computers and Chemical Engineering
JF - Computers and Chemical Engineering
ER -