Deadlock resolution method for automated manufacturing systems modeled with 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), deadlock resolution in terms of their Petri net models remains an attractive topic to which many approaches are dedicated. However, few of them can quantitatively optimize certain indices during their supervisor synthesis process. This causes unnecessary control limitations and often leads to unnecessary implementation cost. In the framework of Petri nets, this paper proposes a method to synthesize a cost-effective supervisor with the aid of a set of mixed integer programming (MIP) formulations. Examples are used to validate the legality of the proposed method.

Original languageEnglish (US)
Title of host publication2010 IEEE International Conference on Systems, Man and Cybernetics, SMC 2010
Pages2551-2556
Number of pages6
DOIs
StatePublished - Dec 1 2010
Event2010 IEEE International Conference on Systems, Man and Cybernetics, SMC 2010 - Istanbul, Turkey
Duration: Oct 10 2010Oct 13 2010

Publication series

NameConference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
ISSN (Print)1062-922X

Other

Other2010 IEEE International Conference on Systems, Man and Cybernetics, SMC 2010
CountryTurkey
CityIstanbul
Period10/10/1010/13/10

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Human-Computer Interaction

Keywords

  • Deadlock resolution
  • Integer programming
  • Optimization
  • Petri nets

Fingerprint Dive into the research topics of 'Deadlock resolution method for automated manufacturing systems modeled with Petri nets'. Together they form a unique fingerprint.

Cite this