Synthesis, Validation, and Evaluation of Operating Procedures Based on Timed Automata and Dynamic Simulation

Chun Ren Zhang, Chun Yu Yeh, Chuei Tin Chang

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


Manually generating the operating procedures is often laborious, time-consuming, and error-prone. Because the online sensors may not always be adequate for a designated operation in the plant, the elapsed times of its steps can be stipulated in the activation conditions of a sequential function chart to replace the needed instrument readings. With the timed automata [ Alur, R.; et al. Theoretical Computer Sci. 1994, 126, 183-235 ] and dynamic simulation, the tasks of synthesizing, validating, and evaluating the operating procedures with insufficient measurements have been systemized in this work. Dividing the operating procedures properly into several stages and setting the reasonable control specifications facilitate the search for specific operation steps. By using the software UPPAAL [ Behrmann, G.; et al.A Tutorial on UPPAAL. In Formal Methods for the Design of Real-Time Systems; Springer: Berlin, Heidelberg, 2004; pp 200 -236, Behrmann, G.; et al. A Tutorial on Uppaal 4.0; Department of Computer Science, Aalborg University: Denmark, 2006], all component automata can be integrated to form a system model and the shortest and/or quickest traces can then be extracted accordingly. These traces can be summarized with the sequential function chart and then verified with Aspen Plus Dynamics. Two examples are presented to validate the proposed approach.

Original languageEnglish
Pages (from-to)8769-8782
Number of pages14
JournalIndustrial and Engineering Chemistry Research
Issue number18
Publication statusPublished - 2020 May 6

All Science Journal Classification (ASJC) codes

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


Dive into the research topics of 'Synthesis, Validation, and Evaluation of Operating Procedures Based on Timed Automata and Dynamic Simulation'. Together they form a unique fingerprint.

Cite this