Supervisory controller optimization for deadlock resolution in automated manufacturing systems with timed petri nets

Hesuan Hu, Mengchu Zhou, Zhiwu Li

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

1 Scopus citations

Abstract

For automated manufacturing systems (AMS), few the existing approaches can incorporate the optimization of some prominent quantitative performance measures during their controller synthesis process for liveness-enforcing supervision. This causes unnecessary control limitations that often lead to higher implementation cost and lower performance. We propose a method in the paradigm of a class of timed Petrinets to minimize the cycle time of such systems. This problem is characterized in the form of mixed integer programming (MIP) formulation which can properly balance the trade-off between the control implementation cost and system efficiency. An example highlights the effectiveness and efficiency of the proposed approach.

Original languageEnglish (US)
Title of host publicationProceedings of the 2009 IEEE International Conference on Networking, Sensing and Control, ICNSC 2009
Pages91-96
Number of pages6
DOIs
StatePublished - 2009
Externally publishedYes
Event2009 IEEE International Conference on Networking, Sensing and Control, ICNSC 2009 - Okayama, Japan
Duration: Mar 26 2009Mar 29 2009

Publication series

NameProceedings of the 2009 IEEE International Conference on Networking, Sensing and Control, ICNSC 2009

Other

Other2009 IEEE International Conference on Networking, Sensing and Control, ICNSC 2009
Country/TerritoryJapan
CityOkayama
Period3/26/093/29/09

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Electrical and Electronic Engineering

Fingerprint

Dive into the research topics of 'Supervisory controller optimization for deadlock resolution in automated manufacturing systems with timed petri nets'. Together they form a unique fingerprint.

Cite this