Abstract:The issue of supervisory control of discrete event systems (DES) based on Petri nets (PN) has been investigated by using various methods. However, there exists a problem that the supervisor, introduced to enforce the given specification, causes a deadlock in the closed-loop system, especially when the deadlock occurs in the closed-loop system in which the original plant model is live. To address this problem, we propose a hybrid approach to design a deadlock-free PN controller for DES with given specification. The approach mainly consists of two stages. Firstly, a supervisor is designed to enforce the given specification using the reported place invariants method. Then, we regard the obtained closed-loop system with deadlock introduced by the supervisor as a new plant net and adopt the theory of regions to design a deadlock-free PN controller. The controller designed by our approach is guaranteed to be maximally permissive when the original plant PN is fully controllable and observable. Even for partially controllable and observable plant PN, it is possible to obtain a suboptimal solution.

An approach to determine controllability of monolithic supervisors

Supervisor Synthesis For A Class Of Control Problems In Discrete Event Systems

Supervisor Synthesis For Enforcing Gmecs On A Controlled Petri Net

Supervisor Synthesis for a Class of Forbidden State Problems in Petri Nets

Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets

Forbidden State Avoidance Controller Synthesis for Petri Nets

Optimal monitor-based supervisor sythesis for a class of Petri nets with unobservable transitions

Supervisor design for a class of generalized Petri net with uncontrollable transitions

A Hybrid Approach to Design Deadlock-Free Petri Net Controller for Discrete Event Systems

Supervisor Synthesis for Bounded Petri Nets Based on a Transformation Function.

Petri Net Cascade Decomposition for Supervisory Control

Control synthesis for a class of controlled Petri nets

Supervisor Synthesis for Enforcing Linear Constraints on A Class of Petri Nets with Unobservable Transitions

Supervisory Control Of Discrete-Event Systems Using Enabling Arc Petri Nets

Constraint Function Based Hierarchical Control of Discrete Event Systems

Supervisory control of discrete event systems based on inhibitor arc petri nets:A survey

Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems

Synthesis of supervisor enforcing Parikh constraints with uncontrollable transitions in Petri Nets

Petri Net Based Supervisor For Hybrid-Logic Linear Constraints

Optimal Supervisor Design for Partially Controllable Petri Nets

Supervisor Synthesis of Petri Net with Uncontrollable Transitions