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

Ming Li Yeh, Chuei Tin Chang

研究成果: Article同行評審

8 引文 斯高帕斯(Scopus)

摘要

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.

原文English
頁(從 - 到)583-594
頁數12
期刊Korean Journal of Chemical Engineering
29
發行號5
DOIs
出版狀態Published - 2012 五月 1

All Science Journal Classification (ASJC) codes

  • Chemistry(all)
  • Chemical Engineering(all)

指紋 深入研究「An automata-based approach to synthesize untimed operating procedures in batch chemical processes」主題。共同形成了獨特的指紋。

引用此