Abstract:In the literature, linear algebraic approaches are always attractive and important tools for solving the supervisory control problem of discrete event systems (DES) modeled by Petri nets with linear inequation constraints. Especially, linear integer programming (LIP) is an efficient technique for the on-line computation of the control policy when the maximal uncontrollable subnet is loop-free. However, if there are some loops in the maximal uncontrollable subnet, the computational difficulty of nonlinear integer programming (NIP) is a great obstacle to the online computation of the control policy. The paper proposes an extension of the LIP method (ELIP) to deal with the problem of NIP. The main idea is to decompose the maximal uncontrollable subnet into two small uncontrollable subnets, i.e. loop-free subnet and loop-in subnet. Because the loop-free subnet can be solved by LIP and reachability analysis can be used for the loop-in subnet, NIP is avoided for online computing the control policy. The technique of optimal decomposition is also presented in the paper.

Comments on “simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis”

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

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

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

Control synthesis for a class of controlled Petri nets

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

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

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

Supervisor synthesis for a class of discrete event systems

Constraint Function Based Hierarchical Control of Discrete Event Systems

Supervisor Synthesis For Enforcing Gmecs On A Controlled Petri Net

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

A synthesis approach to Petri nets with combined place marking and transition firing constraint

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

Forbidden State Avoidance Controller Synthesis for Petri Nets

Synthesis of Petri nets controller for discrete event systems based on finite capacity places-Part 2

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

Extension Of The Lip Method For Petri Nets Controller Synthesis Of Des

On the Enforcement of A Class of Constraint in Petri Nets

Petri Net Based Supervisor For Hybrid-Logic Linear Constraints

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