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

Ming Li Yeh, Chuei-Tin Chang

Research output: Contribution to journalArticle

5 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

Fingerprint

Supervisory personnel
Chemical industry
Accidents
Actuators
Specifications
Chemical analysis

All Science Journal Classification (ASJC) codes

  • Chemical Engineering(all)
  • Computer Science Applications

Cite this

@article{2dc8c84827ef4eecbe3f8dbba659486e,
title = "An automata based method for online synthesis of emergency response procedures in batch processes",
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.",
author = "Yeh, {Ming Li} and Chuei-Tin Chang",
year = "2012",
month = "3",
day = "5",
doi = "10.1016/j.compchemeng.2011.11.008",
language = "English",
volume = "38",
pages = "151--170",
journal = "Computers and Chemical Engineering",
issn = "0098-1354",
publisher = "Elsevier BV",

}

An automata based method for online synthesis of emergency response procedures in batch processes. / Yeh, Ming Li; Chang, Chuei-Tin.

In: Computers and Chemical Engineering, Vol. 38, 05.03.2012, p. 151-170.

Research output: Contribution to journalArticle

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

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

VL - 38

SP - 151

EP - 170

JO - Computers and Chemical Engineering

JF - Computers and Chemical Engineering

SN - 0098-1354

ER -