Robust supervisory control policy for avoiding deadlock in automated manufacturing systems with unreliable resources

References

• Chao, D. Y. 2011. “Formal Theory of State Loss of Siphon-based Deadlock Prevention.” IET Control Theory and Applications 5(8): 1013–1021.
   Web of Science ®Google Scholar
• Chen, Y. F., Z. W. Li, and M. C. Zhou. 2012. “Most Permissive Liveness-enforcing Petri Net Supervisors for Flexible Manufacturing Systems.” International Journal of Production Research 50(22): 6357–6371.
   Web of Science ®Google Scholar
• Chew, S. F., and M. A. Lawley. 2006. “Robust Supervisory Control for Production Systems with Multiple Resource Failures.” IEEE Transactions on Automation Science and Engineering 3(3): 309–323.
   Web of Science ®Google Scholar
• Chew, S. F., S. Y. Wang, and M. A. Lawley. 2009. “Robust Supervisory Control for Product Routings with Multiple Unreliable Resources.” IEEE Transactions on Automation Science and Engineering 6(1): 195–200.
   Web of Science ®Google Scholar
• Chew, S. F., S. Y. Wang, and M. A. Lawley. 2011. “Resource Failure and Blockage Control for Production Systems.” International Journal of Computer Integrated Manufacturing 24(3): 229–241.
   Web of Science ®Google Scholar
• Dotoli, M., and M. P. Fanti. 2004. “Coloured Timed Petri Net Model for Real-time Control of Automated Guided Vehicle Systems.” International Journal of Production Research 42(9): 1787–1814.
   Web of Science ®Google Scholar
• Dotoli, M., and M. P. Fanti. 2007. “Deadlock Detection and Avoidance Strategies for Automated Storage and Retrieval Systems.” IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews 37(4): 541–552.
   Web of Science ®Google Scholar
• Ezpeleta, J., F. Tricas, F. Garcia-Valles, and J. M. Colom. 2002. “A Banker’s Solution for Deadlock Avoidance in FMS with Flexible Routing and Multiresource States.” IEEE Transactions on Robotics and Automation 18(4): 621–625.
   Google Scholar
• Fahmy, S. A., S. Balakrishnan, and T. Y. Elmekkawy. 2009. “A Generic Deadlock-free Reactive Scheduling Approach.” International Journal of Production Research 47(20): 5657–5676.
   Web of Science ®Google Scholar
• Fanti, M. P., and M. C. Zhou. 2004. “Deadlock Control Methods in Automated Manufacturing Systems.” IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans. 34(1): 5–22.
   Web of Science ®Google Scholar
• Giua, A., C. Seatzu, and F. Basile. 2004. “Observer-based State-feedback Control of Timed Petri Nets with Deadlock Recovery.” IEEE Transactions on Automatic Control 49(1): 17–29.
   Web of Science ®Google Scholar
• He, S. J., and J. Luo. 2009. “Deadlock Control of Autonomous Vehicle Storage and Retrieval Systems via Coloured Timed Petri Nets and Digraph Tools.” International Journal of Production Research 47(12): 3253–3263.
   Web of Science ®Google Scholar
• Hosack, B., F. Mahmoodi, and C. T. Mosier. 2003. “A Comparison of Deadlock Avoidance Policies in Flexible Manufacturing Systems.” International Journal of Production Research 41(13): 2991–3006.
   Web of Science ®Google Scholar
• Hsieh, F. S. 2004. “Fault-tolerant Deadlock Avoidance Algorithm for Assembly Processes.” IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans 34(1): 65–79.
   Web of Science ®Google Scholar
• Hsieh, F. S. 2006. “Robustness Analysis of Petri Nets for Assembly/Disassembly Processes with Unreliable Resources.” Automatica 42(7): 1159–1166.
   Web of Science ®Google Scholar
• Hsieh, F. S. 2007. “Analysis of Flexible Assembly Processes Based on Structural Decomposition of Petri Nets.” IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans 37(5): 792–803.
   Web of Science ®Google Scholar
• Hsieh, F. S. 2010. “Robustness Analysis of Non-ordinary Petri Nets for Flexible Assembly Systems.” International Journal of Control 83(5): 928–939.
   Web of Science ®Google Scholar
• Hsieh, F. S. 2011. “Robustness Analysis of Non-ordinary Petri Nets for Flexible Assembly/Disassembly Processes Based on Structural Decomposition.” International Journal of Control 84(3): 496–510.
   Web of Science ®Google Scholar
• Hu, H. S., M. C. Zhou, and Z. W. Li. 2011. “Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems with Petri Nets.” IEEE Transactions on Automation Science and Engineering 8(4): 794–804.
   Web of Science ®Google Scholar
• Huang, Y. S., Y. L. Pan, and M. C. Zhou. 2012. “Computationally Improved Optimal Deadlock Control Policy for Flexible Manufacturing Systems.” IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans 42(2): 404–415.
   Web of Science ®Google Scholar
• Iordache, M. V., J. O. Moody, and P. J. Antsaklis. 2002. “Synthesis of Deadlock Prevention Supervisors Using Petri Nets.” IEEE Transactions on Robotics and Automation 18(1): 59–68.
   Google Scholar
• Jeng, M. D., X. L. Xie, and M. Y. Peng. 2002. “Process Nets with Resources for Manufacturing Modeling and Their Analysis.” IEEE Transactions on Robotics and Automation 18(6): 875–889.
   Google Scholar
• Lawley, M. A., and W. Sulistyono. 2002. “Robust Supervisory Control Policies for Manufacturing Systems with Unreliable Resources.” IEEE Transactions on Robotics and Automation 18(3): 346–359.
   Google Scholar
• Lee, S., Y. Cha, H. Cho, and M. Jung. 2004. “Requests Network Model for Deadlock Detection and Avoidance in Automated Manufacturing Systems.” International Journal of Production Research 42(16): 3203–3218.
   Web of Science ®Google Scholar
• Lewis, F. L., A. Gurel, S. Bogdan, A. Doganalp, and O. C. Pastravanu. 1998. “Analysis of Deadlock and Circular Waits Using a Matrix Model for Flexible Manufacturing Systems.” Automatica 34(9): 1083–1100.
   Web of Science ®Google Scholar
• Li, S. Y., and Z. W. Li. 2012. “Solving Siphons with the Minimal Cardinality in Petri Nets and Its Applications to Deadlock Control.” International Journal of Production Research 50(22): 6203–6218.
   Web of Science ®Google Scholar
• Li, Z. W., N. Q. Wu, and M. C. Zhou. 2012. “Deadlock Control of Automated Manufacturing Systems Based on Petri Nets – a Literature Review.” IEEE Transactions on Systems Man and Cybernetics Part C-Applications and Reviews 42(4): 437–462.
   Web of Science ®Google Scholar
• Liu, G. J., C. J. Jiang, and M. C. Zhou. 2011. “Improved Sufficient Condition for the Controllability of Dependent Siphons in System of Simple Sequential Processes with Resources.” IET Control Theory and Applications 5(9): 1059–1068.
   Web of Science ®Google Scholar
• Maione, G., and F. Dicesare. 2005. “Hybrid Petri Net and Digraph Approach for Deadlock Prevention in Automated Manufacturing Systems.” International Journal of Production Research 43(24): 5131–5159.
   Web of Science ®Google Scholar
• Mireles, J., F. L. Lewis, and A. Gurel. 2002. “Deadlock Avoidance for Manufacturing Multipart Re-entrant Flow Lines Using a Matrix-based Discrete Event Controller.” International Journal of Production Research 40(13): 3139–3166.
   Web of Science ®Google Scholar
• Nazeem, A., and S. A. Reveliotis. 2012. “Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems through Classification Theory: The Nonlinear Case.” IEEE Transactions on Automatic Control 57(7): 1670–1684.
   Web of Science ®Google Scholar
• Park, S. J., and J. T. Lim. 1999. “Fault-tolerant Robust Supervisor for Discrete Event Systems with Model Uncertainty and Its Application to a Workcell.” IEEE Transactions on Robotics and Automation 15(2): 386–391.
   Google Scholar
• Park, J., and S. A. Reveliotis. 2001. “Deadlock Avoidance in Sequential Resource Allocations Systems with Multiple Resource Acquisitions and Flexible Routings.” IEEE Transactions on Automatic Control 46(10): 1572–1583.
   Web of Science ®Google Scholar
• Piroddi, L., R. Cordone, and I. Fumagalli. 2009. “Combined Siphon and Marking Generation for Deadlock Prevention in Petri Nets.” IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans 39(3): 650–661.
   Web of Science ®Google Scholar
• Reveliotis, S. A. 1999. “Accommodating FMS Operational Contingencies Through Routing Flexibility.” IEEE Transactions on Robotics and Automation 15(1): 3–19.
   Google Scholar
• Reveliotis, S. A., M. A. Lawley, and P. M. Ferreira. 1997. “Polynomial-complexity Deadlock Avoidance Policies for Sequential Resource Allocation Systems.” IEEE Transactions on Automatic Control 42(10): 1344–1357.
   Web of Science ®Google Scholar
• Reveliotis, S. A., E. Roszkowska, and J. Y. Choi. 2010. “Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies Through Mathematical Programming.” IEEE Transactions on Automation Science and Engineering 7(2): 240–248.
   Web of Science ®Google Scholar
• Uzam, M. 2004. “The Use of the Petri Net Reduction Approach for an Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems.” International Journal of Advanced Manufacturing Technology 23(3–4): 204–219.
   Web of Science ®Google Scholar
• Wang, S. Y., S. F. Chew, and M. A. Lawley. 2008. “Using Shared-resource Capacity for Robust Control of Failure-prone Manufacturing Systems.” IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans 38(3): 605–627.
   Web of Science ®Google Scholar
• Wang, S. Y., S. F. Chew, and M. A. Lawley. 2009. “Guidelines for Implementing Robust Supervisors in Flexible Manufacturing Systems.” International Journal of Production Research 47(23): 6499–6524.
   Web of Science ®Google Scholar
• Wang, S. G., C. Y. Wang, Y. P. Yu, and L. X. Zhao. 2012. “An Algorithm to Find the Minimal Initial Markings of Resource Places Ensuring Liveness of Finite-capacity S3PR.” International Journal of Production Research 50(6): 1528–1538.
   Web of Science ®Google Scholar
• Wu, N. Q., M. C. Zhou, and Z. W. Li. 2008. “Resource-oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems.” IEEE Transactions on Systems Man and Cybernetics Part A: Systems and Humans 38(1): 56–69.
   Web of Science ®Google Scholar
• Xing, K. Y., L. B. Han, M. C. Zhou, and F. Wang. 2012. “Deadlock-free Genetic Scheduling Algorithm for Automated Manufacturing Systems Based on Deadlock Control Policy.” IEEE Transactions on Systems Man and Cybernetics Part B: Cybernetics 42(3): 603–615.
   PubMed Web of Science ®Google Scholar
• Xing, K. Y., B. S. Hu, and H. X. Chen. 1996. “Deadlock Avoidance Policy for Petri-net Modeling of Flexible Manufacturing Systems with Shared Resources.” IEEE Transactions on Automatic Control 41(2): 289–295.
   Web of Science ®Google Scholar
• Xing, K. Y., M. C. Zhou, H. X. Liu, and F. Tian. 2009. “Optimal Petri-net-based Polynomial-complexity Deadlock-avoidance Policies for Automated Manufacturing Systems.” IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans 39(1): 188–199.
   Web of Science ®Google Scholar
• Xing, K. Y., M. C. Zhou, F. Wang, H. X. Liu, and F. Tian. 2011. “Resource-transition Circuits and Siphons for Deadlock Control of Automated Manufacturing Systems.” IEEE Transactions on Systems Man and Cybernetics Part A: Systems and Humans 41(1): 74–84.
   Web of Science ®Google Scholar
• Yan, M. M., and C. F. Zhong. 2011. “A Deadlock Prevention Policy for a Class of Petri Net Models of Flexible Manufacturing Systems.” International Journal of Production Research 49(24): 7379–7396.
   Web of Science ®Google Scholar
• Yue, H. 2011. “Property of Liveness in Sequential Resource Allocation Systems Based on Petri Net.” Chinese Journal of Computer Science 38(4): 267–271.
   Google Scholar
• Zhang, W., and R. P. Judd. 2008. “Deadlock Avoidance Algorithm for Flexible Manufacturing Systems by Calculating Effective Free Space of Circuits.” International Journal of Production Research 46(13): 3441–3457.
   Web of Science ®Google Scholar
• Zhang, Z. M., and W. M. Wu. 2011. “Combined Buffer Pre-allocation and Siphon Control for Deadlock Prevention in Petri Nets.” International Journal of Production Research 49(20): 6125–6154.
   Web of Science ®Google Scholar
• Zhao, M., and Z. W. Li. 2009. “On Deadlock Control for a Class of Generalised Petri Net Models of Flexible Manufacturing Systems.” International Journal of Production Research 47(21): 6085–6107.
   Web of Science ®Google Scholar
• Zhong, C. F., Z. W. Li, and K. Barkaoui. 2011. “Monitor Design for Siphon Control in S4R Nets: From Structure Analysis Points of View.” International Journal of Innovative Computing, Information and Control 7(12): 6677–6690.
   Web of Science ®Google Scholar