Scheduling and control of batch chemical processes with timed Petri nets

Wanzhen Lin, Jiliang Luo, Jiazhong Zhou, Yisheng Huang, Mengchu Zhou

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

2 Scopus citations

Abstract

A formal approach is proposed for optimal scheduling and control problems in a batch chemical system. First, a method is presented to model it as a P-timed Petri net (PN), which can graphically describe how it may operate according to recipes, and which valve and pipeline are required by each operation. Second, this P-timed PN model is simplified according to the conflicts caused by the shared valves, and, in turn, it is utilized to define a linear programming where the optimal objective is the minimal processing time. Further, the A∗ algorithm is used to solve this programing to obtain an optimal strategy. Finally, via the P-timed PN model, a method is obtained to compute a control matrix for valves that can guarantee the optimal strategy. A typical batch system is used to illustrate the theoretic results.

Original languageEnglish (US)
Title of host publication2016 IEEE International Conference on Automation Science and Engineering, CASE 2016
PublisherIEEE Computer Society
Pages421-426
Number of pages6
ISBN (Electronic)9781509024094
DOIs
StatePublished - Nov 14 2016
Event2016 IEEE International Conference on Automation Science and Engineering, CASE 2016 - Fort Worth, United States
Duration: Aug 21 2016Aug 24 2016

Publication series

NameIEEE International Conference on Automation Science and Engineering
Volume2016-November
ISSN (Print)2161-8070
ISSN (Electronic)2161-8089

Other

Other2016 IEEE International Conference on Automation Science and Engineering, CASE 2016
Country/TerritoryUnited States
CityFort Worth
Period8/21/168/24/16

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Fingerprint

Dive into the research topics of 'Scheduling and control of batch chemical processes with timed Petri nets'. Together they form a unique fingerprint.

Cite this