Supervisor design to enforce production ratio and absence of deadlock in automated manufacturing systems

Hesuan Hu, Meng Chu Zhou, Zhiwu Li

Research output: Contribution to journalArticlepeer-review

51 Scopus citations

Abstract

This paper proposes a new Petri net class, namely, Ratio-enforced weighted Augmented Marked Graphs (RAMGs), and solves ratio control and liveness-enforcing supervision problems for automated manufacturing systems. RAMGs can ensure the required product ratios as demanded by production planners. Since the deadlock of such a system can be attributed to improper acquisition of finite shared resources, a supervisor is introduced such that they are properly allocated. This paper proves that ratio and supervisory controllers for an RAMG can be separately designed. Their design methods are presented. Examples are given to illustrate them.

Original languageEnglish (US)
Article number5565544
Pages (from-to)201-212
Number of pages12
JournalIEEE Transactions on Systems, Man, and Cybernetics: Systems
Volume41
Issue number2
DOIs
StatePublished - Mar 2011

All Science Journal Classification (ASJC) codes

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

Keywords

  • Automated manufacturing systems (AMSs)
  • Discrete-event systems
  • Marked graph
  • Petri nets
  • Supervisory control

Fingerprint Dive into the research topics of 'Supervisor design to enforce production ratio and absence of deadlock in automated manufacturing systems'. Together they form a unique fingerprint.

Cite this