A branch and bound approach for the design of decentralized supervisors in Petri net models

The paper addresses the design of compact and maximally permissive decentralized supervisors for Petri nets, based on generalized mutual exclusion constraints. Decentralization constraints are formulated with respect to the net transitions, instructing each local supervisor to detect and disable transitions of its own control site only. A solution is characterized in terms of the states it allows and its feasibility is assessed by means of two separate tests, one checking the required behavioral properties (e.g., liveness, reversibility and controllability) of the induced reachability subgraph and the other ensuring the existence of a decentralized supervisor enforcing exactly the considered set of allowed states. The second test employs an integer linear programming formulation. Maximal permissivity is ensured by efficiently exploring the solution space using a branch and bound method that operates on the reachable states. Particular emphasis is posed on the obtainment of the controllability property, both in the structural and the behavioral interpretation.

[1]  Abbas Dideban,et al.  Reduction of constraints for controller synthesis based on safe Petri Nets , 2008, Autom..

[2]  Stéphane Lafortune,et al.  Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case , 2011, IEEE Transactions on Automatic Control.

[3]  Stéphane Lafortune,et al.  Decentralized supervisory control with communicating controllers , 2000, IEEE Trans. Autom. Control..

[4]  Roberto Cordone,et al.  Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms , 2013, IEEE Transactions on Automatic Control.

[5]  W. M. Wonham,et al.  Think globally, act locally: decentralized supervisory control , 1992 .

[6]  Roberto Cordone,et al.  Monitor optimization in Petri net control , 2011, 2011 IEEE International Conference on Automation Science and Engineering.

[7]  Roberto Cordone,et al.  Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models , 2013, Autom..

[8]  Roberto Cordone,et al.  Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[9]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[10]  L. Piroddi,et al.  A reachability graph partitioning technique for the analysis of deadlock prevention methods in bounded Petri nets , 2010, Proceedings of the 2010 American Control Conference.

[11]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[12]  Nidhal Rezg,et al.  Design of a live and maximally permissive Petri net controller using the theory of regions , 2003, IEEE Trans. Robotics Autom..

[13]  A. Dideban,et al.  Safety analysis of discrete event systems using a simplified Petri net controller. , 2014, ISA transactions.

[14]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[15]  Alessandro Giua,et al.  Petri Net Supervisors for Generalized Mutual Exclusion Constraints , 1993 .

[16]  Alessandro Giua,et al.  Some new results on supervisory control of Petri nets with decentralized monitor places , 2008 .

[17]  P. Antsaklis,et al.  Reduced-order controllers for continuous and discrete-time singular H ∞ control problems based on LMI , 1996 .

[18]  Roberto Cordone,et al.  Compact and decentralized supervisors for general constraint enforcement in Petri net models , 2013, 52nd IEEE Conference on Decision and Control.

[19]  Roberto Cordone,et al.  Parsimonious Monitor Control of Petri Net Models of Flexible Manufacturing Systems , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[20]  Lawrence E. Holloway,et al.  Control of distributed discrete event systems modeled as Petri nets , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[21]  Spyros A. Reveliotis,et al.  Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions , 2006, ICATPN.

[22]  W. M. Wonham,et al.  Decentralized control and coordination of discrete-event systems with partial observation , 1990 .

[23]  Panos J. Antsaklis,et al.  Decentralized supervision of Petri nets , 2006, IEEE Transactions on Automatic Control.

[24]  Panos J. Antsaklis,et al.  Feedback control of Petri nets based on place invariants , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[25]  Chen Haoxun,et al.  Distributed Control of Discrete Event Systems Described by a Class of Controlled Petri Nets , 1991 .

[26]  Panos J. Antsaklis,et al.  Petri net supervisors for DES with uncontrollable and unobservable transitions , 2000, IEEE Trans. Autom. Control..

[27]  Yufeng Chen,et al.  Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems , 2011, Autom..

[28]  Ronald L. Rivest,et al.  Introduction to Algorithms, third edition , 2009 .

[29]  Stéphane Lafortune,et al.  Optimal deadlock avoidance for complex resource allocation systems through classification theory , 2010, WODES.

[30]  Olfa Mosbahi,et al.  Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems , 2011, IEEE Transactions on Automation Science and Engineering.

[31]  H. Alla,et al.  Controller Synthesis with Highly Simplified Linear Constraints , 2013 .

[32]  F. Basile,et al.  Supervisory Control of Petri Nets with Decentralized Monitor Places , 2007, 2007 American Control Conference.

[33]  Alessandro Giua,et al.  Generalized mutual exclusion contraints on nets with uncontrollable transitions , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.