Abstract:The Minimal number of Control Places Problem (MCPP), which is formulated to obtain optimal and structurally minimal supervisors, needs extensive computation. The current methods to reduce the computational burden have mainly focused on revision of the original formulation of MCPP. Instead, this paper presents methods to accelerate its solution by eliminating its redundant reachability constraints. The optimization problem scale required for supervisor synthesis is thus drastically reduced. First, a sufficient and necessary condition for a reachability constraint to be redundant is established in the form of an integer linear program (ILP), based on a newly proposed concept called feasible region of supervisors. Then, two kinds of redundancy elimination methods are proposed: an ILP one and a non-ILP one. Most of the redundant reachability constraints can be eliminated by our methods in a short time. The computational time to solve MCPP is greatly reduced after the elimination, especially for large-scale systems. The obtained supervisors are still optimal and structurally minimal. Finally, numerical tests are conducted to show the efficiency and effectiveness of the proposed methods.

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 Enforcing Gmecs On A Controlled Petri Net

Forbidden State Avoidance Controller Synthesis for Petri Nets

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

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

Supervisor synthesis for a class of discrete event systems

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

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

Control synthesis for a class of controlled Petri nets

Synthesis of Structurally Simple Supervisors Enforcing Generalized Mutual Exclusion Constraints in Petri Nets

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

Constraint Function Based Hierarchical Control of Discrete Event Systems

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

Decentralized Supervisory Control of Generalized Mutual Exclusion Constraints in Petri Nets

Petri Net Based Supervisor For Hybrid-Logic Linear Constraints

Supervisor Synthesis of Petri Net with Uncontrollable Transitions

Synthesis of Petri net supervisors for FMS via redundant constraint elimination

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

Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints.