Structural Decomposition and Decentralized Control of Petri Nets

Jianhong Ye, Mengchu Zhou, Zhiwu Li, Abdulrahman Al-Ahmari

Research output: Contribution to journalArticlepeer-review

15 Scopus citations

Abstract

Control of a large-scale automated manufacturing system is an important and challenging issue. Its discrete event system model represented by Petri nets tends to become highly complicated in structure, especially when there exist uncontrollable or unobservable events. The existing approaches are nontrivial to design both efficient and maximally permissive supervisors to impose constraints on an overall system. In this paper, instead of considering the control problem from an overall system perspective, we intend to transform an overall control problem into the one designing multiple controllers in parallel, each of which is much simpler in structure. A Petri net structure is decomposed via integer linear programming or a polynomial decomposition method to obtain multiple state-machine subnets that constitute a decentralized system. A necessary and sufficient condition for preserving the equivalence in terms of states and behaviors between the overall system and its decentralized version is reported. Constraints representing control requirements are further converted and enforced in the respective subnets. Then, supervisors are generated via a generalized mutual exclusion constraint method. By considering the deviations between the subnet control and overall control, this paper formulates a communication mechanism to guarantee that the decentralized system runs in an appropriate manner. Finally, two examples are presented to demonstrate the proposed approach.

Original languageEnglish (US)
Pages (from-to)1360-1369
Number of pages10
JournalIEEE Transactions on Systems, Man, and Cybernetics: Systems
Volume48
Issue number8
DOIs
StatePublished - Aug 2018

All Science Journal Classification (ASJC) codes

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

Keywords

  • Consensus
  • Petri net
  • decentralized control
  • decomposition
  • discrete event system (DES)

Fingerprint

Dive into the research topics of 'Structural Decomposition and Decentralized Control of Petri Nets'. Together they form a unique fingerprint.

Cite this