A Robust Control Approach to Automated Manufacturing Systems Allowing Multitype and Multiquantity of Resources With Petri Nets

Up to now, the supervision and control of deadlock-free resource allocation has received considerable attention, particularly regarding their deadlock problems. To date, most solutions have supposed that allocated resources never fail. However, this is quite the opposite in reality since some resources may fail unexpectedly. A robust system should be resilient to such failures. In this paper, resources are divided into reliable ones and unreliable ones. On the basis of the deadlock avoidance algorithm which is proposed for the problem of deadlocks, we propose a robust control algorithm in the paradigm of systems of sequential systems with shared resources, which can acquire and release resources in a multitype and multiquantity way. It is validated to be a polynomially complex robust control algorithm by the distributivity analysis. Finally, experimental results show that the proposed approaches are effective as well as efficient in response to resource failures.

[1]  Fu-Shiung Hsieh Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources , 2006, Autom..

[2]  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.

[3]  A. Nico Habermann,et al.  Prevention of system deadlocks , 1969, CACM.

[4]  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).

[5]  Yang Liu,et al.  Robust supervisor synthesis for automated manufacturing systems using Petri nets , 2015, 2015 IEEE International Conference on Automation Science and Engineering (CASE).

[6]  Fu-Shiung Hsieh Deadlock avoidance algorithms for assembly processes with unreliable resources , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

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

[8]  Francesco Basile,et al.  On the Implementation of Industrial Automation Systems Based on PLC , 2013, IEEE Transactions on Automation Science and Engineering.

[9]  Song Foh Chew,et al.  Using shared resource capacity for robust control of failure prone manufacturing systems , 2005, IEEE International Conference on Automation Science and Engineering, 2005..

[10]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[11]  Yang Liu,et al.  A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems , 2019, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[12]  Zhiwu Li,et al.  An optimal-elementary-siphons-based iterative deadlock prevention policy for flexible manufacturing systems , 2008 .

[13]  Zhiwu Li,et al.  Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach , 2009 .

[14]  MengChu Zhou,et al.  Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets , 2016, IEEE Transactions on Control Systems Technology.

[15]  Y. Narahari,et al.  Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models , 1990, IEEE Trans. Robotics Autom..

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

[17]  Song Foh Chew,et al.  Robust supervisory control for Production Systems with multiple resource failures , 2006, IEEE Transactions on Automation Science and Engineering.

[18]  Zhennan Fei,et al.  Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages , 2017, IEEE Transactions on Automation Science and Engineering.

[19]  MengChu Zhou,et al.  Control Program Design for Automated Guided Vehicle Systems via Petri Nets , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[20]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

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

[22]  Richard C. Holt,et al.  Some deadlock properties of computer systems , 1971, SOSP '71.

[23]  MengChu Zhou,et al.  Pareto-Optimization for Scheduling of Crude Oil Operations in Refinery via Genetic Algorithm , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

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

[25]  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.

[26]  Joaquín Ezpeleta,et al.  A Petri Net Structure– Based Deadlock Prevention Solution for Sequential Resource Allocation Systems , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

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

[28]  Fag Lin,et al.  Robust and Adaptive Supervisory Control of Discrete Event Systems , 1992, 1992 American Control Conference.

[29]  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.

[30]  MengChu Zhou,et al.  Liveness and Ratio-Enforcing Supervision of Automated Manufacturing Systems Using Petri Nets , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[31]  Shengyong Wang,et al.  Guidelines for implementing robust supervisors in flexible manufacturing systems , 2009 .

[32]  ZhiWu Li,et al.  Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs , 2009, Comput. Ind. Eng..

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

[34]  S. Chung,et al.  Limited lookahead policies in supervisory control of discrete event systems , 1992 .

[35]  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..

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

[37]  Wei-Chang Yeh,et al.  Real-Time Deadlock Detection and Recovery for Automated Manufacturing Systems , 2002 .

[38]  Pasquale Chiacchio,et al.  A Hybrid Model of Complex Automated Warehouse Systems—Part I: Modeling and Simulation , 2012, IEEE Transactions on Automation Science and Engineering.

[39]  Chen Chen,et al.  Liveness-Enforcing Supervision in AMS-Oriented HAMGs: An Approach Based on New Characterization of Siphons Using Petri Nets , 2018, IEEE Transactions on Automatic Control.

[40]  MengChu Zhou,et al.  Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.