Low-cost and high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets

Hesuan Hu, Meng Chu Zhou, Zhiwu Li

Research output: Contribution to journalArticlepeer-review

53 Scopus citations

Abstract

In the context of automated manufacturing, this work proposes a new special class of timed Petri nets, namely, Timed ratio-enforced Augmented Marked Graph (TAMG) and its low-cost and high-performance supervisor synthesis methodology. A supervisor is composed of a set of control places (monitors), each of which is easy to be algebraically specified by a generalized mutual exclusion constraint (GMEC) to prevent certain siphons from being undermarked. In order to make a good tradeoff between the supervisor implementation cost and system performance, a mixed integer programming (MIP) approach is formulated to synthesize the monitors. An example is used to validate the effectiveness and efficiency of the proposed method. The results show that the proposed method remarkably outperforms any existing ones.

Original languageEnglish (US)
Article number5454353
Pages (from-to)933-944
Number of pages12
JournalIEEE Transactions on Automation Science and Engineering
Volume7
Issue number4
DOIs
StatePublished - Oct 2010

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Keywords

  • Automated manufacturing systems (AMS)
  • Petri nets
  • discrete-event system
  • ratio control
  • supervisory control

Fingerprint

Dive into the research topics of 'Low-cost and high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets'. Together they form a unique fingerprint.

Cite this