Operations scheduling in batch chemical plants with timed automata

Jeh Hsuan Li, Wei Chun Hsieh, Chuei Tin Chang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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 languageEnglish
Title of host publication2017 25th Mediterranean Conference on Control and Automation, MED 2017
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages895-900
Number of pages6
ISBN (Electronic)9781509045334
DOIs
Publication statusPublished - 2017 Jul 18
Event25th Mediterranean Conference on Control and Automation, MED 2017 - Valletta, Malta
Duration: 2017 Jul 32017 Jul 6

Publication series

Name2017 25th Mediterranean Conference on Control and Automation, MED 2017

Other

Other25th Mediterranean Conference on Control and Automation, MED 2017
CountryMalta
CityValletta
Period17-07-0317-07-06

Fingerprint

Timed Automata
Chemical plants
Batch
Scheduling
Specifications
Chart
Automata
Chemical analysis
Parallel Composition
Batch Process
Path
Chemical Processes
Schedule
Synthesis
Specification
Target
Modeling
Demonstrate

All Science Journal Classification (ASJC) codes

  • Control and Optimization
  • Modelling and Simulation

Cite this

Li, J. H., Hsieh, W. C., & Chang, C. T. (2017). Operations scheduling in batch chemical plants with timed automata. In 2017 25th Mediterranean Conference on Control and Automation, MED 2017 (pp. 895-900). [7984233] (2017 25th Mediterranean Conference on Control and Automation, MED 2017). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/MED.2017.7984233
Li, Jeh Hsuan ; Hsieh, Wei Chun ; Chang, Chuei Tin. / Operations scheduling in batch chemical plants with timed automata. 2017 25th Mediterranean Conference on Control and Automation, MED 2017. Institute of Electrical and Electronics Engineers Inc., 2017. pp. 895-900 (2017 25th Mediterranean Conference on Control and Automation, MED 2017).
@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 = "7",
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",

}

Li, JH, Hsieh, WC & Chang, CT 2017, Operations scheduling in batch chemical plants with timed automata. in 2017 25th Mediterranean Conference on Control and Automation, MED 2017., 7984233, 2017 25th Mediterranean Conference on Control and Automation, MED 2017, Institute of Electrical and Electronics Engineers Inc., pp. 895-900, 25th Mediterranean Conference on Control and Automation, MED 2017, Valletta, Malta, 17-07-03. https://doi.org/10.1109/MED.2017.7984233

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 proceedingConference 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 -

Li JH, Hsieh WC, Chang CT. Operations scheduling in batch chemical plants with timed automata. In 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). https://doi.org/10.1109/MED.2017.7984233