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.

A Max-Plus Algebraic Model For Hybrid Timed Petri Nets And Supervisory Control

Study on max-plus algebraic model for hybrid Petri nets

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

A Dioid Linear Algebraic Model for a Class of Hybrid Event Graphs

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

Control synthesis for a class of controlled Petri nets

Constraint Function Based Hierarchical Control of Discrete Event Systems

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

Petri Net Cascade Decomposition for Supervisory Control

An Extension of the Linear Integer Program Approach for Controller Synthesis of Des Modeled by Petri Nets

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

A Dioid Linear Algebra Approach to Study a Class of Continuous Petri Nets

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

A Min-Plus Algebraic Model For Performance Evaluation Of Continuous Event Graphs

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

An Algebraic Model For Performance Evaluation Of A Class Of Continuous Petri Nets

Algebraic approach to continuous event graphs without input

Modeling, safety verification and optimization of operating procedures in process systems using hybrid Petri nets

Studies on the minimum initial marking of a class of hybrid timed petri nets

A Novel Modeling and Optimal Control Method for Discrete-Event Chemical Processes

On Modeling and Optimal Control of a Class of Hybrid Systems