Fault-Tolerant Deadlock Avoidance Algorithm for Assembly Processes

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

Volumn 34, Issue 1, 2004, Pages 65-79

  Hsieh, Fu Shiung ^a  

^a OVERSEAS CHINESE INSTITUTE OF TECHNOLOGY   (Taiwan)

Author keywords

Assembly process; Deadlock avoidance algorithm; Fault tolerant; Petri net; Unreliable resource

Indexed keywords

ALGORITHMS; COMPUTER SYSTEM RECOVERY; CONTROL SYSTEM ANALYSIS; MATHEMATICAL MODELS; PETRI NETS; POLYNOMIALS; SYNCHRONIZATION;

ASSEMBLY PROCESSES; DEADLOCK AVOIDANCE ALGORITHMS; FAULT-TOLERANT; UNRELIABLE RESOURCES;

RESOURCE ALLOCATION;

EID: 0742272701     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2003.820574     Document Type: Article

References (32)

1. N. Viswanadham, Y. Narahari, and T. L. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robot. Automat., vol. 6, pp. 713-723, Dec. 1990.
2. Z. Banaszak and B. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Automat., vol. 6, pp. 724-734, Dec. 1990.
3. F. S. Hsieh and S. C. Chang, "Dispatching driven deadlock avoidance controller synthesis for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 10, pp. 196-209, Apr. 1994.
4. J. Ezpeleta, J. M. Colora, and Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, pp. 173-184, 1995.
5. R. A. Wysk, N. S. Yang, and S. Joshi, "Detection of deadlocks in flexible manufacturing cells," IEEE Trans. Robot. Automat., vol. 7, pp. 853-859, 1991.
6. H. Cho, T. K. Kumaran, and R. A. Wysk, "Graph-theoretic deadlock detection and resolution for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, pp. 413-421, 1995.
7. M. A. Lawley, S. A. Reveliotis, and P. M. Ferreira, "A correct and scalable deadlock avoidance policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 14, pp. 796-809, Oct. 1998.
8. M. A. Lawley, "Deadlock avoidance for production systems with flexible routing," IEEE Trans. Robot. Automat., vol. 15, pp. 497-509, Oct. 1998.
9. S. A. Reveliotis, M. A. Lawley, and P. M. Ferreira, "Polynomial complexity deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Automat. Contr., vol. 42, pp. 1344-1357, Oct. 1997.
10. S. A. Reveliotis, "Accommodating FMS operational contingencies through routing flexibility," IEEE Trans. Robot. Automat., vol. 15, pp. 3-19, Feb. 1999.
11. M. P. Fanti, B. Maione, S. Mascolo, and B. Turchiano, "Event-based feedback control for deadlock avoidance in flexible production systems," IEEE Trans. Robot. Automat., vol. 13, pp. 347-363, June 1997.
12. N. Q. Wu, "Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model," IEEE Trans. Syst., Man, Cybern. C, vol. 29, pp. 192-204, May 1999.
13. N. Q. Wu and M. C. Zhou, "Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems," IEEE Trans. Robot. Automat., vol. 17, pp. 657-668, Oct. 2001.
14. M. D. Jeng and F. DiCesare, "Synthesis using resource control nets for modeling shared-resources systems," IEEE Trans. Robot. Automat, vol. 11, June 1995.
15. F. L. Lewis, A. Gurel, S. Bogdans, A. Doganalp, and O. C. Pastravanu, "Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems," Automatica, vol. 34, no. 9, pp. 1083-1100, 1998.
16. A. Gurel, S. Bogdans, and F. L. Lewis, "Matrix approach to deadlock free dispatching in multi-class finite buffer flowlines," IEEE Trans. Automat. Contr., vol. 45, no. 11, pp. 2086-2090, Nov. 2000.
17. M. Lawley and W. Sulistyono, "Robust supervisory control policies for manufacturing systems with unreliable resources," IEEE Trans. Robot. Automat, vol. 18, pp. 346-359, June 2002.
18. F. S. Hsieh, "Robustness of deadlock avoidance algorithm for sequential processes," Automatica.
19. M. P. Fanti, B. Maione, and B. Turchiano, "Event control for deadlock avoidance in assembly systems," in Proc. IEEE Int. Conf. Systems Man, Cybernetics, 1997, pp. 3756-3761.
20. J. Ezpeleta and L. Recalde, "A deadlock avoidance approach for nonsequential resource allocation systems," in Proc. IEEE Int. Conf. Systems Man, Cybernetics, 2002, pp. 363-368.
21. X.L. Xie and M.D. Jeng, "ERCN-merged nets and their analysis using siphons," IEEE Trans. Robot. Automat., vol. 15, pp. 692-703, Aug. 1999.
22. Y. S. Huang, M. D. Jeng, X. Xiaol, and L. C. Sheng, "A deadlock prevention policy for flexible manufacturing systems using siphons," in Proc. IEEE Int. Conf. Robotics Automation, 2001, pp. 541-546.
23. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Automat., vol. 13, pp. 793-804, Dec. 1997.
24. E. Roszkowska, "CAST -tools for automatic FMS dynamics models synthesis," in Computer Aided Systems Theory. New York: Springer-Verlag, 1992, vol. 585, pp. 412-421.
25. E. Roszkowska and R. Wojcik, "Problems of process flow feasibility in FAS," in CIM in Process and Manufacturing Industries. New York: Oxford Univ. Press, 1993, pp. 115-120.
26. F. S. Hsieh, "Reconfigurable fault tolerant deadlock avoidance controller synthesis for assembly processes," in Proc. IEEE Int. Conf. System Man, Cybernetics, 2000, pp. 3045-3050.
27. R. K. Boel, R. N. Lamia, and V. V. Breusegem, "On forbidden state problems for a class of controlled Petri nets," IEEE Trans. Automat. Contr., vol. 40, pp. 1717-1731, Oct. 1995.
28. L. S. H. d. Mello and A. C. Sanderson, "A correct and complete algorithm for the generation of mechanical assembly sequences," IEEE Trans. Robot. Automat., vol. 7, pp. 228-240, Feb. 1991.
29. T. Murata, "Petri Nets: properties, analysis and applications, " Proc. IEEE, vol. 77, pp. 541-580, Apr. 1989.
30. F. S. Hsieh, "A comparative study of two deadlock avoidance controller synthesis methods for assembly processes," in Proc. IEEE Int. Conf. Systems, Man, Cybernetics, 2003, pp. 3458-3463.
31. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, 1987.
32. E. L. Lawler, Combinatorial Optimization: Network and Matroids. New York: Holt, Rinehart and Winston, 1976, pp. 70-70.