Systematic generation of cyclic operating procedures based on timed automata

Jeh Hsuan Li, Chuei-Tin Chang, Da Jiang

研究成果: Article同行評審

11 引文 斯高帕斯(Scopus)


Manual synthesis of cyclic operating procedure in a realistic system is widely regarded as a difficult task since it is both time-consuming and error-prone. It is thus desirable to develop a systematic approach to automatically generate the optimal schedule of operation steps so as to achieve one or more specific production goal. The timed automata are utilized in the present work for such a purpose. In particular, all components in a given system and the corresponding control specifications are characterized with automata according to the proposed modeling rules. By using parallel composition, a system automaton can be produced with these models and the most appropriate operation path can then be identified accordingly. For any practical application, a sequential function chart and the corresponding Gantt chart can also be easily extracted from this path. Three examples are presented in this paper to demonstrate the feasibility of the proposed approach.

頁(從 - 到)139-155
期刊Chemical Engineering Research and Design
出版狀態Published - 2014 一月 1

All Science Journal Classification (ASJC) codes

  • 化學 (全部)
  • 化學工程 (全部)


深入研究「Systematic generation of cyclic operating procedures based on timed automata」主題。共同形成了獨特的指紋。