An automata-based approach to synthesize untimed operating procedures in batch chemical processes

Ming Li Yeh, Chuei Tin Chang

Research output: Contribution to journalArticle

8 Citations (Scopus)

Abstract

Systematic synthesis of untimed operating procedures has always been considered as an important design issue for batch chemical processes. An automaton-based method is developed in the present study to perform this task automatically. On the basis of the proposed methodical model-building principles, two distinct types of automata can be constructed to characterize the plant behaviors and control specifications, respectively. An admissible supervisor can be produced by applying the parallel composition operation with these models. For the purpose of identifying the most efficient operation procedures, the supervisor can then be integrated with a set of auxiliary automata to set the operation target(s) and, also, to impose upper limits on the total numbers of actuator actions and operation steps. Three examples are presented to demonstrate the feasibility and correctness of the proposed approach.

Original languageEnglish
Pages (from-to)583-594
Number of pages12
JournalKorean Journal of Chemical Engineering
Volume29
Issue number5
DOIs
Publication statusPublished - 2012 May 1

All Science Journal Classification (ASJC) codes

  • Chemistry(all)
  • Chemical Engineering(all)

Fingerprint Dive into the research topics of 'An automata-based approach to synthesize untimed operating procedures in batch chemical processes'. Together they form a unique fingerprint.

  • Cite this