An automata based method for online synthesis of emergency response procedures in batch processes

Ming Li Yeh, Chuei Tin Chang

Research output: Contribution to journalArticlepeer-review

16 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)151-170
Number of pages20
JournalComputers and Chemical Engineering
Volume38
DOIs
Publication statusPublished - 2012 Mar 5

All Science Journal Classification (ASJC) codes

  • General Chemical Engineering
  • Computer Science Applications

Fingerprint

Dive into the research topics of 'An automata based method for online synthesis of emergency response procedures in batch processes'. Together they form a unique fingerprint.

Cite this