Decentralized supervisory control of Generalized Mutual Exclusion Constraints in Petri Nets

In this paper, we develop a solution to attain a set of decentralized monitors based on Generalized Mutual Exclusion Constraints (GMECs) in the paradigm of a set of inequalities. These inequalities exhibit cumbersomely complex and tediously lengthy forms in practice which usually allows arbitrary constraints. Therefore, a decentralized implementation of the supervisor can mitigate the amount of agent communication, eliminate the restriction of space distance, and decrease the cost of controlled system. In particular, by removing the limitation that each GMECs is a singleton, our method can accommodate three or more independent variables. Our solution derives from geometrical space analysis as well as linear programming formulation.

[1]  Hao Yue,et al.  Robust supervision using shared-buffers in automated manufacturing systems with unreliable resources , 2015, Comput. Ind. Eng..

[2]  Roberto Cordone,et al.  A branch and bound approach for the design of decentralized supervisors in Petri net models , 2015, Autom..

[3]  Yang Liu,et al.  A Petri net-based distributed control of automated manufacturing systems with assembly operations , 2015, 2015 IEEE International Conference on Automation Science and Engineering (CASE).

[4]  Panos J. Antsaklis,et al.  Decentralized control of Petri nets with constraint transformations , 2003, Proceedings of the 2003 American Control Conference, 2003..

[5]  K. Barkaoui,et al.  A deadlock prevention method for a class of FMS , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[6]  Alessandro Giua,et al.  Decentralized Supervisory Control of Petri Nets with Monitor Places , 2007, 2007 IEEE International Conference on Automation Science and Engineering.

[7]  Hongye Su,et al.  Supervisor synthesis for enforcing GMECs on a controlled Petri net , 2006, 2006 American Control Conference.

[8]  Stéphane Lafortune,et al.  A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems , 2002, Discret. Event Dyn. Syst..

[9]  Alessandro Giua,et al.  Supervisory control of railway networks with Petri nets , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[10]  Hesuan Hu,et al.  Supervisor Simplification for AMS Based on Petri Nets and Inequality Analysis , 2014, IEEE Transactions on Automation Science and Engineering.

[11]  Ling Yuan,et al.  Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets , 2016, IEEE Transactions on Control Systems Technology.