Efficient optimal deadlock control of flexible manufacturing systems

Libin Han, Keyi Xing, Mengchu Zhou, Xiao Chen, Zhenxin Gao

Research output: Contribution to journalArticlepeer-review

9 Scopus citations


The development of an efficient deadlock avoidance policy (DAP) is a critical step in the design and operation of a flexible manufacturing system (FMS). However, even for a simple FMS, the computation of an optimal DAP is intractable. This work addresses the optimal deadlock control problem of FMSs. Based on their Petri net models, it introduces the concept of κ-resources and proves that an FMS containing no κ-resources has only two types of reachable states: safe ones and deadlocks. It then can obtain an optimal DAP with polynomial computational complexity for a broader class of FMSs, which was never seen before. At the same time, for these FMSs, new structurally simpler optimal Petri net controllers are proposed.

Original languageEnglish (US)
Pages (from-to)1181-1186
Number of pages6
JournalIET Control Theory and Applications
Issue number10
StatePublished - Jun 27 2016

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Human-Computer Interaction
  • Computer Science Applications
  • Control and Optimization
  • Electrical and Electronic Engineering


Dive into the research topics of 'Efficient optimal deadlock control of flexible manufacturing systems'. Together they form a unique fingerprint.

Cite this