Systematic generation of cyclic operating procedures based on timed automata

Jeh Hsuan Li, Chuei-Tin Chang, Da Jiang

Research output: Contribution to journalArticle

8 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)139-155
Number of pages17
JournalChemical Engineering Research and Design
Volume92
Issue number1
DOIs
Publication statusPublished - 2014 Jan 1

Fingerprint

Specifications
Chemical analysis

All Science Journal Classification (ASJC) codes

  • Chemistry(all)
  • Chemical Engineering(all)

Cite this

@article{6a825620aa484cd1ab22f2e71e41e044,
title = "Systematic generation of cyclic operating procedures based on timed automata",
abstract = "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.",
author = "Li, {Jeh Hsuan} and Chuei-Tin Chang and Da Jiang",
year = "2014",
month = "1",
day = "1",
doi = "10.1016/j.cherd.2013.06.032",
language = "English",
volume = "92",
pages = "139--155",
journal = "Chemical Engineering Research and Design",
issn = "0263-8762",
publisher = "Institution of Chemical Engineers",
number = "1",

}

Systematic generation of cyclic operating procedures based on timed automata. / Li, Jeh Hsuan; Chang, Chuei-Tin; Jiang, Da.

In: Chemical Engineering Research and Design, Vol. 92, No. 1, 01.01.2014, p. 139-155.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Systematic generation of cyclic operating procedures based on timed automata

AU - Li, Jeh Hsuan

AU - Chang, Chuei-Tin

AU - Jiang, Da

PY - 2014/1/1

Y1 - 2014/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84892787418&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84892787418&partnerID=8YFLogxK

U2 - 10.1016/j.cherd.2013.06.032

DO - 10.1016/j.cherd.2013.06.032

M3 - Article

VL - 92

SP - 139

EP - 155

JO - Chemical Engineering Research and Design

JF - Chemical Engineering Research and Design

SN - 0263-8762

IS - 1

ER -