An analytical investigation of the deadlock avoidance versus detection and recovery problem in buffer-space allocation of flexibly automated production systems

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 30, Issue 5, 2000, Pages 799-811

  Reveliotis, Spyros A ^a,b  

^a IEEE   (United States)

^b Georgia Institute of Technology   (United States)

Author keywords

Continuous time Markov chain optimization; Probabilitic deadlock avoidance

Indexed keywords

LINEAR PROGRAMMING; MARKOV PROCESSES; OPERATIONS RESEARCH; PERFORMANCE; RESOURCE ALLOCATION; SEMICONDUCTOR DEVICE MANUFACTURE; THEOREM PROVING;

BUFFER SPACE ALLOCATION; CONTINUOUS TIME MARKOV CHAIN OPTIMIZATION; FLEXIBLY AUTOMATED PRODUCTION SYSTEMS; OPTIMAL DEADLOCK RESOLUTION STRATEGY; PROBABILISTIC DEADLOCK AVOIDANCE;

COMPUTER SYSTEM RECOVERY;

EID: 0034296074     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/3477.875453     Document Type: Article

References (24)

1. Z. A. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Automat., vol. 6, pp. 724-734, 1990.
2. D. A. Bodner and S. A. Reveliotis, "Flexible semiconductor manufacturing," in Encyclopedia of Electrical and Electronics Engineering, J. G. Webster, Ed. New York: Wiley, 1999, vol. 7, pp. 596-607.
3. V. Chvátal, Linear Programming. San Francisco, CA: Freeman, 1983.
4. E. G. Coffman, M. J. Elphick, and A. Shoshani, "System deadlocks," Comput. Surv., vol. 3, pp. 67-78, 1971.
5. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, pp. 173-184, 1995.
6. 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, 1997.
7. V. Garg, R. Kumar, and S. Marcus, "A probabilistic language formalism for stochastic discrete-event systems," IEEE Trans. Automat. Contr., vol. 44, pp. 280-293, 1999.
8. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation. Reading, MA: Addison-Wesley, 1979.
9. P. R. Kumar, "Scheduling semiconductor manufacturing plants," IEEE Contr. Syst. Mag., vol. 14-16, pp. 33-40, 1994.
10. T. Kumaran, W. Chang, H. Cho, and R. Wysk, "A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems," Int. J. Prod. Res., vol. 32, pp. 2361-2379, 1994.
11. M. Lawley, S. Reveliotis, and P. Ferreira, "A correct and scalable deadlock avoidance policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 14, pp. 796-809, 1998.
12. Y. T. Leung and G. J. Sheen, "Resolving deadlocks in flexible manufacturing cells," J. Manufact. Syst., vol. 12, pp. 291-304, 1994.
13. Y. Li, F. Lin, and Z.-H. Lin, "Supervisory control of probabilistic discrete-event systems with recovery," IEEE Trans. Automat. Contr., vol. 44, pp. 1971-1975, 1999.
14. J. Medhi, Stochastic Models in Queueing Theory. New York: Academic, 1991.
15. A. Paz, Introduction to Probabilistic Automata. New York: Academic, 1971.
16. H. G. Perros, Queueing Networks with Blocking: Exact and Approximate Solutions. Oxford, U.K.: Oxford Univ. Press, 1994.
17. J. L. Peterson, Operating System Concepts. Reading, MA: Addison-Wesley, 1981.
18. M. O. Rabin, "Probabilistic automata," Inform. Contr., vol. 6, pp. 230-245, 1963.
19. P. J. G. Ramadge and W M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, pp. 81-98, 1989.
20. S. A. Reveliotis and P. M. Ferreira, "Deadlock avoidance policies for automated manufacturing cells," IEEE Trans. Robot. Automat., vol. 12, pp. 845-857, 1996.
21. 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, 1997.
22. P. Singer, "The driving forces in cluster tool development," Semicond. Int., pp. 113-118, July 1995.
23. R. A. Wysk, N. S. Yang, and S. Joshi, "Resolution of deadlocks in flexible manufacturing systems: Avoidance and recovery approaches," J/ Manufact. Syst., vol. 13, pp. 128-138, 1994.
24. K. Y. Xing, B. S. Hu, and H. X. Chen, "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources," IEEE Trans. Automat. Contr., vol. 41, pp. 289-295, 1996.