Design Approach to Synthesize, Validate, and Evaluate Operating Procedures Based on Untimed Automata and Dynamic Simulation

Tai Yu Chen, Chuei-Tin Chang

Research output: Contribution to journalArticle

Abstract

A systematic design approach is proposed in this paper to synthesize, validate, and evaluate operating procedures for any given chemical process. To facilitate efficient procedure synthesis, the extended finite automata (EFA) are adopted in this work to model all components in a chemical process according to simple configuration rules. The intended operation is then divided into several stages on a case-by-case basis and each characterized with a unique set of attributes, e.g., stable operation, condition adjustment, phase change, reaction, material charging, and/or unloading. The control specifications of every stage should then be stipulated accordingly and described with automata. All observable event traces (OETs) are extracted from the system model assembled by synchronizing all aforementioned automata. The candidate operating procedures can be summarized with sequential function charts (SFCs) that mimic these OETs. The commercial package ASPEN PLUS DYNAMICS has been used to validate such SFCs in simulation studies. Since several candidates can usually be generated, it is also necessary to compare the simulation results so as to identify the most suitable procedure. Three realistic examples, i.e., the semibatch reaction process and the startup operations of flash drum and distillation column, are presented in this paper to demonstrate the merits of the proposed approach.

Original languageEnglish
Pages (from-to)8172-8183
Number of pages12
JournalIndustrial and Engineering Chemistry Research
Volume58
Issue number19
DOIs
Publication statusPublished - 2019 May 15

Fingerprint

Computer operating procedures
Distillation columns
Computer simulation
Finite automata
Unloading
Specifications

All Science Journal Classification (ASJC) codes

  • Chemistry(all)
  • Chemical Engineering(all)
  • Industrial and Manufacturing Engineering

Cite this

@article{57ab3d7ac30b4e129eb526bebf58e3b6,
title = "Design Approach to Synthesize, Validate, and Evaluate Operating Procedures Based on Untimed Automata and Dynamic Simulation",
abstract = "A systematic design approach is proposed in this paper to synthesize, validate, and evaluate operating procedures for any given chemical process. To facilitate efficient procedure synthesis, the extended finite automata (EFA) are adopted in this work to model all components in a chemical process according to simple configuration rules. The intended operation is then divided into several stages on a case-by-case basis and each characterized with a unique set of attributes, e.g., stable operation, condition adjustment, phase change, reaction, material charging, and/or unloading. The control specifications of every stage should then be stipulated accordingly and described with automata. All observable event traces (OETs) are extracted from the system model assembled by synchronizing all aforementioned automata. The candidate operating procedures can be summarized with sequential function charts (SFCs) that mimic these OETs. The commercial package ASPEN PLUS DYNAMICS has been used to validate such SFCs in simulation studies. Since several candidates can usually be generated, it is also necessary to compare the simulation results so as to identify the most suitable procedure. Three realistic examples, i.e., the semibatch reaction process and the startup operations of flash drum and distillation column, are presented in this paper to demonstrate the merits of the proposed approach.",
author = "Chen, {Tai Yu} and Chuei-Tin Chang",
year = "2019",
month = "5",
day = "15",
doi = "10.1021/acs.iecr.9b00015",
language = "English",
volume = "58",
pages = "8172--8183",
journal = "Industrial & Engineering Chemistry Product Research and Development",
issn = "0888-5885",
publisher = "American Chemical Society",
number = "19",

}

TY - JOUR

T1 - Design Approach to Synthesize, Validate, and Evaluate Operating Procedures Based on Untimed Automata and Dynamic Simulation

AU - Chen, Tai Yu

AU - Chang, Chuei-Tin

PY - 2019/5/15

Y1 - 2019/5/15

N2 - A systematic design approach is proposed in this paper to synthesize, validate, and evaluate operating procedures for any given chemical process. To facilitate efficient procedure synthesis, the extended finite automata (EFA) are adopted in this work to model all components in a chemical process according to simple configuration rules. The intended operation is then divided into several stages on a case-by-case basis and each characterized with a unique set of attributes, e.g., stable operation, condition adjustment, phase change, reaction, material charging, and/or unloading. The control specifications of every stage should then be stipulated accordingly and described with automata. All observable event traces (OETs) are extracted from the system model assembled by synchronizing all aforementioned automata. The candidate operating procedures can be summarized with sequential function charts (SFCs) that mimic these OETs. The commercial package ASPEN PLUS DYNAMICS has been used to validate such SFCs in simulation studies. Since several candidates can usually be generated, it is also necessary to compare the simulation results so as to identify the most suitable procedure. Three realistic examples, i.e., the semibatch reaction process and the startup operations of flash drum and distillation column, are presented in this paper to demonstrate the merits of the proposed approach.

AB - A systematic design approach is proposed in this paper to synthesize, validate, and evaluate operating procedures for any given chemical process. To facilitate efficient procedure synthesis, the extended finite automata (EFA) are adopted in this work to model all components in a chemical process according to simple configuration rules. The intended operation is then divided into several stages on a case-by-case basis and each characterized with a unique set of attributes, e.g., stable operation, condition adjustment, phase change, reaction, material charging, and/or unloading. The control specifications of every stage should then be stipulated accordingly and described with automata. All observable event traces (OETs) are extracted from the system model assembled by synchronizing all aforementioned automata. The candidate operating procedures can be summarized with sequential function charts (SFCs) that mimic these OETs. The commercial package ASPEN PLUS DYNAMICS has been used to validate such SFCs in simulation studies. Since several candidates can usually be generated, it is also necessary to compare the simulation results so as to identify the most suitable procedure. Three realistic examples, i.e., the semibatch reaction process and the startup operations of flash drum and distillation column, are presented in this paper to demonstrate the merits of the proposed approach.

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

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

U2 - 10.1021/acs.iecr.9b00015

DO - 10.1021/acs.iecr.9b00015

M3 - Article

AN - SCOPUS:85065884532

VL - 58

SP - 8172

EP - 8183

JO - Industrial & Engineering Chemistry Product Research and Development

JF - Industrial & Engineering Chemistry Product Research and Development

SN - 0888-5885

IS - 19

ER -