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.
| Original language | English |
|---|---|
| Title of host publication | 2017 25th Mediterranean Conference on Control and Automation, MED 2017 |
| Publisher | Institute of Electrical and Electronics Engineers Inc. |
| Pages | 895-900 |
| Number of pages | 6 |
| ISBN (Electronic) | 9781509045334 |
| DOIs | |
| Publication status | Published - 2017 Jul 18 |
| Event | 25th Mediterranean Conference on Control and Automation, MED 2017 - Valletta, Malta Duration: 2017 Jul 3 → 2017 Jul 6 |
Publication series
| Name | 2017 25th Mediterranean Conference on Control and Automation, MED 2017 |
|---|
Other
| Other | 25th Mediterranean Conference on Control and Automation, MED 2017 |
|---|---|
| Country | Malta |
| City | Valletta |
| Period | 17-07-03 → 17-07-06 |
Fingerprint
All Science Journal Classification (ASJC) codes
- Control and Optimization
- Modelling and Simulation
Cite this
}
Operations scheduling in batch chemical plants with timed automata. / Li, Jeh Hsuan; Hsieh, Wei Chun; Chang, Chuei Tin.
2017 25th Mediterranean Conference on Control and Automation, MED 2017. Institute of Electrical and Electronics Engineers Inc., 2017. p. 895-900 7984233 (2017 25th Mediterranean Conference on Control and Automation, MED 2017).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
TY - GEN
T1 - Operations scheduling in batch chemical plants with timed automata
AU - Li, Jeh Hsuan
AU - Hsieh, Wei Chun
AU - Chang, Chuei Tin
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.
ER -