@inproceedings{c8742dffe58040f3aa9bfcd67c4c9b67,
title = "Operations scheduling in batch chemical plants with timed automata",
abstract = "Manual synthesis of operation schedules for a given batch chemical process may be time-consuming and error-prone. The timed automata are utilized in the present work to develop a generic approach to automatically generate the best operation steps needed for achieving any predetermined goal(s). In particular, all embedded components and the control specifications/targets are characterized with automata constructed according to the proposed modeling rules. A system automaton is assembled with these components via parallel composition, and the optimal operation path then identified accordingly. A sequential function chart (SFC) and the corresponding Gantt chart can both be extracted from this path in practical applications. Two examples are presented to demonstrate the feasibility of the proposed approach.",
author = "Li, {Jeh Hsuan} and Hsieh, {Wei Chun} and Chang, {Chuei Tin}",
year = "2017",
month = jul,
day = "18",
doi = "10.1109/MED.2017.7984233",
language = "English",
series = "2017 25th Mediterranean Conference on Control and Automation, MED 2017",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "895--900",
booktitle = "2017 25th Mediterranean Conference on Control and Automation, MED 2017",
address = "United States",
note = "25th Mediterranean Conference on Control and Automation, MED 2017 ; Conference date: 03-07-2017 Through 06-07-2017",
}