TY - GEN
T1 - Operations scheduling in batch chemical plants with timed automata
AU - Li, Jeh Hsuan
AU - Hsieh, Wei Chun
AU - Chang, Chuei Tin
N1 - Publisher Copyright:
© 2017 IEEE.
PY - 2017/7/18
Y1 - 2017/7/18
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85027861120&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85027861120&partnerID=8YFLogxK
U2 - 10.1109/MED.2017.7984233
DO - 10.1109/MED.2017.7984233
M3 - Conference contribution
AN - SCOPUS:85027861120
T3 - 2017 25th Mediterranean Conference on Control and Automation, MED 2017
SP - 895
EP - 900
BT - 2017 25th Mediterranean Conference on Control and Automation, MED 2017
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 25th Mediterranean Conference on Control and Automation, MED 2017
Y2 - 3 July 2017 through 6 July 2017
ER -