Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets

Yanxiang Feng, Keyi Xing, Meng Chu Zhou, Hefeng Chen, Feng Tian

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Abstract

In the context of automated manufacturing systems (AMSs) with unreliable resources, most existing robust deadlock controllers have high computational complexity or relatively low permissiveness. This work focuses on the deadlock control problem of AMSs with a kind of unreliable resources. Petri nets are used to model the dynamic behaviors of such failure-prone AMSs. First a robust deadlock prevention controller is developed for a large class of AMSs under consideration. Such a robust controller guarantees that the system can process all types of parts continuously through any one of their routes, even if one of unreliable resources fails. Also, this robust controller is proved to be optimal, i.e., maximally permissive, during one resource failure period. Then by using the one-step look-ahead method, we establish a polynomial-complexity robust deadlock avoidance policy (DAP) with the same permissiveness as the obtained robust deadlock prevention controller. That is, such a robust DAP not only has low computational complexity, but also is maximally permissive during one resource failure period.

Original languageEnglish (US)
Pages (from-to)181-199
Number of pages19
JournalInformation sciences
Volume533
DOIs
StatePublished - Sep 2020

All Science Journal Classification (ASJC) codes

  • Software
  • Control and Systems Engineering
  • Theoretical Computer Science
  • Computer Science Applications
  • Information Systems and Management
  • Artificial Intelligence

Keywords

  • Automated manufacturing systems (AMSs)
  • Discrete event systems
  • Petri nets
  • Robust deadlock control
  • Unreliable resources

Fingerprint

Dive into the research topics of 'Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets'. Together they form a unique fingerprint.

Cite this