Abstract:This research focuses on the forbidden state problem in the framework of labeled Petri nets (LPNs), i.e., to design a supervisor for a plant modeled by an LPN such that the closed-loop system cannot reach a set of predefined forbidden markings and does not contain any deadlock. Different from the traditional control scheme, the supervisor derived by this work can not only observe the observable transitions, but also the quiescence information. First, a new structure named an extended basis reachability graph (EBRG) is introduced to describe the reachability space of an LPN without computing all reachable markings. Based on an EBRG, a basis observer is then excogitated to represent the behavior of an LPN. Some states in the basis observer are defined as bad states and control-induced deadlocks, which relates to the undesirable behavior of the plant. Finally, an algorithm is introduced to compute a supervisor based on the basis observer. The consideration of system quiescence provides extra information on the marking estimation of the closed-loop system such that certain disabled transitions are re-enabled. Consequently, the developed supervisor in this article is generally more permissive than those do not observe the quiescence.

Formulas for Class of a Lm(G)-Closed Sublanguages That Arise in Nonblocking Supervisor Synthesis

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

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

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

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

Formulae of the Infimal Controllable and Observable Sub‐language and Synthesis of Its Supervisor

Supervisor synthesis for a class of discrete event systems

Forbidden State Avoidance Controller Synthesis for Petri Nets

Supervisor Synthesis For Enforcing Gmecs On A Controlled Petri Net

A Survery :The Synthisis of Structural Supervisor for OR-logics Linear Constraints

Combined Controller Synthesis for a Class of Discrete Event Systems

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

Synthesis of logical controllers and discrete-event systems supervisory control theory

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

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

Supervisory Control Of Boolean Discrete Event Systems

Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications

Stability of Genetic Networks with SUM Regulatory Logic: Lur'e System and LMI Approach

Synthesis of Petri Net Controller to Enforce Conjunction of GMEC Using Observer.

Petri Net Based Supervisor For Hybrid-Logic Linear Constraints

An LMI approach to L/sub 2/ gain analysis and control synthesis of switched systems