Back to Search
Start Over
Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems
- Source :
- IEEE Transactions on Automatic Control. 66:5326-5341
- Publication Year :
- 2021
- Publisher :
- Institute of Electrical and Electronics Engineers (IEEE), 2021.
-
Abstract
- This article investigates the enforcement of generalized mutual exclusion constraints (GMECs) and deadlock-freeness on a time Petri net (TPN) system with uncontrollable transitions, motivated by the fact that the existing methods enforcing GMECs may degrade the performance of a closed-loop system and lead to deadlock states. A supervisor enforcing a set of GMECs and deadlock-freeness on an underlying untimed Petri net system is assumed to be available. By exploiting timing information and mathematical programming, a control function is designed to restrict the firing intervals of transitions such that a TPN system can avoid entering forbidden states. The key idea behind the proposed approach is the online computation of a graph, called reduced modified state class graph (RMSCG), that is an extension of the partial modified state class graph recently introduced by the authors. Based on the RMSCG, an online control synthesis procedure is developed, which can enforce the originally given GMECs and deadlock-freeness in a maximally permissive way.
- Subjects :
- Theoretical computer science
Supervisor
Computer science
Time Petri net
Extension (predicate logic)
Deadlock-freeness
Petri net
Deadlock
Discrete event system
Generalized mutual exclusion constraint
Supervisory control
Computer Science Applications
Automaton
Control and Systems Engineering
Graph (abstract data type)
Mutual exclusion
Electrical and Electronic Engineering
Subjects
Details
- ISSN :
- 23343303 and 00189286
- Volume :
- 66
- Database :
- OpenAIRE
- Journal :
- IEEE Transactions on Automatic Control
- Accession number :
- edsair.doi.dedup.....dc240d0b7a5a207b11ed556d2e5d9202