Robust deadlock control of automated manufacturing systems with multiple unreliable resources

Abstract Over the past decade or so, the deadlock control problem of automated manufacturing systems (AMSs) with unreliable resources received a great deal of research attention. Most existing work to date assumes that the studied AMSs contain a single unreliable resource. Most existing control methods belong to the class of deadlock avoidance ones. This paper focuses on deadlock prevention for AMS with multiple unreliable resources. Our goal is to guarantee the continuous production of those parts not requiring any of the failed resources in case of any resource failure. A Petri net model is developed to characterize the failure and repair of unreliable resources. Based on it, a robust deadlock prevention controller that satisfies the above desired property is proposed. Experimental results indicate its effectiveness and superiority over the state-of-the-art methods.

[1]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

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

[3]  MengChu Zhou,et al.  Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[4]  Keyi Xing,et al.  Robust supervisory control for avoiding deadlocks in automated manufacturing systems with one specified unreliable resource , 2014 .

[5]  Alessandro Giua,et al.  Monitor design for colored Petri nets: An application to deadlock prevention in railway networks , 2006 .

[6]  MengChu Zhou,et al.  Deadlock characterization and control of flexible assembly systems with Petri nets , 2018, Autom..

[7]  Jianbin Qiu,et al.  A Novel Approach to Reliable Output Feedback Control of Fuzzy-Affine Systems With Time Delays and Sensor Faults , 2017, IEEE Transactions on Fuzzy Systems.

[8]  Kamel Barkaoui,et al.  Necessary and sufficient liveness condition of GS3PR Petri nets , 2015, Int. J. Syst. Sci..

[9]  Huixia Liu,et al.  Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources , 2016, Inf. Sci..

[10]  M. A. Lawley Control of deadlock and blocking for production systems with unreliable workstations , 2002 .

[11]  Abdulrahman Al-Ahmari,et al.  Deadlock recovery for flexible manufacturing systems modeled with Petri nets , 2017, Inf. Sci..

[12]  Daniel Yuh Chao,et al.  Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller , 2015, Int. J. Control.

[13]  Song Foh Chew,et al.  Resource failure and blockage control for production systems , 2011, Int. J. Comput. Integr. Manuf..

[14]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[15]  MengChu Zhou,et al.  A robust deadlock prevention control for automated manufacturing systems with unreliable resources , 2016, Inf. Sci..

[16]  MengChu Zhou,et al.  Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[17]  Hamid Reza Karimi,et al.  Sliding Mode Control of Fuzzy Singularly Perturbed Systems With Application to Electric Circuit , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[18]  MengChu Zhou,et al.  Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[19]  Keyi Xing,et al.  Robust supervisory control policy for avoiding deadlock in automated manufacturing systems with unreliable resources , 2014 .

[20]  Hamid Reza Karimi,et al.  Fuzzy-Model-Based Sliding Mode Control of Nonlinear Descriptor Systems , 2019, IEEE Transactions on Cybernetics.

[21]  MengChu Zhou,et al.  Resource-Transition Circuits and Siphons for Deadlock Control of Automated Manufacturing Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[22]  Mark A. Lawley,et al.  Robust supervisory control policies for manufacturing systems with unreliable resources , 2002, IEEE Trans. Robotics Autom..

[23]  Jianchao Luo,et al.  Robust supervisory control policy for automated manufacturing systems with a single unreliable resource , 2017 .

[24]  Shengyong Wang,et al.  Using Shared-Resource Capacity for Robust Control of Failure-Prone Manufacturing Systems , 2008, IEEE Trans. Syst. Man Cybern. Part A.

[25]  MengChu Zhou,et al.  Deadlock-Free Scheduling of Flexible Assembly Systems Based on Petri Nets and Local Search , 2020, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[26]  MengChu Zhou,et al.  Control of Elementary and Dependent Siphons in Petri Nets and Their Application , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[27]  MengChu Zhou,et al.  Deadlock Resolution in Computer-Integrated Systems , 2004 .

[28]  Hongye Su,et al.  An improved approach to test diagnosability of bounded petri nets , 2017, IEEE/CAA Journal of Automatica Sinica.

[29]  Hao Yue,et al.  Resource failure and buffer space allocation control for automated manufacturing systems , 2018, Inf. Sci..

[30]  Maria Pia Fanti,et al.  Design of Supervisors to Avoid Deadlock in Flexible Assembly Systems , 2002 .

[31]  H. S. Hu,et al.  Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[32]  Hyungbo Shim,et al.  Consensus of high-order linear systems using dynamic output feedback compensator: Low gain approach , 2009, Autom..

[33]  Chong Lin,et al.  Command Filtering-Based Fuzzy Control for Nonlinear Systems With Saturation Input , 2017, IEEE Transactions on Cybernetics.

[34]  Song Foh Chew,et al.  Robust Supervisory Control for Product Routings With Multiple Unreliable Resources , 2009, IEEE Transactions on Automation Science and Engineering.

[35]  MengChu Zhou,et al.  Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[36]  Jianchao Luo,et al.  Robust deadlock control for automated manufacturing systems with an unreliable resource , 2016, Inf. Sci..

[37]  Joaquín Ezpeleta,et al.  A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states , 2002, IEEE Trans. Robotics Autom..

[38]  MengChu Zhou,et al.  Deadlock and Blockage Control of Automated Manufacturing Systems with an Unreliable Resource , 2018, Asian Journal of Control.

[39]  Rong Su,et al.  Polynomial approach to optimal one-wafer cyclic scheduling of treelike hybrid multi-cluster tools via Petri nets , 2018, IEEE/CAA Journal of Automatica Sinica.

[40]  MengChu Zhou,et al.  A Petri Net Based Deadlock Avoidance Policy for Flexible Manufacturing Systems With Assembly Operations and Multiple Resource Acquisition , 2019, IEEE Transactions on Industrial Informatics.

[41]  Peng Shi,et al.  Finite-time command filtered backstepping control for a class of nonlinear systems , 2018, Autom..

[42]  Kamel Barkaoui,et al.  Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems , 2014, Inf. Sci..

[43]  Elzbieta Roszkowska Supervisory control for deadlock avoidance in compound processes , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[44]  Kamel Barkaoui,et al.  A survey of siphons in Petri nets , 2016, Inf. Sci..

[45]  Xinnian Wang,et al.  Total energy consumption optimization via genetic algorithm in flexible manufacturing systems , 2017, Comput. Ind. Eng..

[46]  Kamel Barkaoui,et al.  Robustness of deadlock control for a class of Petri nets with unreliable resources , 2013, Inf. Sci..

[47]  Jonghun Park,et al.  On the “Counter-Example” in the Article “Max $^{\prime}$-Controlled Siphons for Liveness of $S^{3}PGR^{2}$” Regarding the Results in “Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings” , 2001, IEEE Transactions on Automatic Control.

[48]  MengChu Zhou,et al.  Transition Cover-Based Design of Petri Net Controllers for Automated Manufacturing Systems , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[49]  Gianfranco Ciardo,et al.  A Characterization of the Stochastic Process Underlying a Stochastic Petri Net , 1994, IEEE Trans. Software Eng..

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

[51]  MengChu Zhou,et al.  A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems With Assembly Operations , 2015, IEEE Transactions on Control Systems Technology.

[52]  Hamid Reza Karimi,et al.  A Novel Memory Filtering Design for Semi-Markovian Jump Time-Delay Systems , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[53]  Roberto Cordone,et al.  Selective Siphon Control for Deadlock Prevention in Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[54]  MengChu Zhou,et al.  Scheduling of deadlock and failure-prone automated manufacturing systems via hybrid heuristic search , 2017 .

[55]  MengChu Zhou,et al.  A novel method for deadlock prevention of AMS by using resource-oriented Petri nets , 2016, Inf. Sci..