Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis

Jiliang Luo, Huijuan Ni, Weimin Wu, Shouguang Wang, Mengchu Zhou

Research output: Contribution to journalArticle

24 Scopus citations

Abstract

Due to state-space explosion and uncontrollable events in discrete-event systems, it is very difficult to design supervisors to enforce user-defined linear-constraints and ensure the liveness of their Petri-net (PN) models with complex structures. Different from all the existing methods, which are to transform original constraints into admissible or weakly admissible ones, the method proposed in this work aims to reduce linear-constraints and PN models simultaneously. As a result, an original PN control problem is equivalently reduced to a simpler one, i.e., the optimal supervisors for them make the same restriction on the behavior of a discrete-event system. Moreover, it can be guaranteed that the original PN system is live if and only if the reduced one is so. Since the state space of a PN may grow exponentially with its size, and the sizes of real discrete-event systems are often too large to handle, the proposed method is useful to greatly reduce the computational complexity of both property-analysis and supervisor-synthesis of discrete-event systems.

Original languageEnglish (US)
Article number6849476
Pages (from-to)88-103
Number of pages16
JournalIEEE Transactions on Automatic Control
Volume60
Issue number1
DOIs
StatePublished - Jan 1 2015

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Computer Science Applications

Keywords

  • Discrete event systems
  • Forbidden states
  • Generalized mutual exclusion constraints
  • Linear-constraints
  • Petri nets (PNs)

Cite this