An optimization approach to improved petri net controller design for automated manufacturing systems

Hesuan Hu, Meng Chu Zhou, Zhiwu Li, Ying Tang

Research output: Contribution to journalArticlepeer-review

43 Scopus citations

Abstract

Sensors and actuators are two indispensable parts in the paradigm of feedback control. Their implementation cost should be properly evaluated and constrained. In the previous work, a Petri net monitor with the least cost is synthesized through integer programming formulation. Despite its technical correctness, the existing method may lead to undesirable results when the net structure contains some shared or unshared resource places of a manufacturing-oriented net model. A necessary and sufficient condition is established to show that certain structures can lead to deadlock-prone supervisors. An efficient algorithm is developed to identify such structures. Furthermore, it is shown that if one can identify such structures at the initial stage, it is possible to achieve desirable controllers for the original systems. The theoretical correctness of the proposed algorithm is discussed. A manufacturing example is provided to illustrate the proposed approach.

Original languageEnglish (US)
Pages (from-to)772-782
Number of pages11
JournalIEEE Transactions on Automation Science and Engineering
Volume10
Issue number3
DOIs
StatePublished - Jul 1 2013

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Keywords

  • Discrete event systems
  • Integer programming
  • Petri nets
  • Supervisory control

Fingerprint

Dive into the research topics of 'An optimization approach to improved petri net controller design for automated manufacturing systems'. Together they form a unique fingerprint.

Cite this