Deadlock avoidance in flexible manufacturing systems using finite automata

IEEE Transactions on Robotics and Automation

Volumn 16, Issue 4, 2000, Pages 424-429

  Yalcin, Ali ^a   Boucher, Thomas O ^b  

^a University of South Florida   (United States)

^b DEPARTMENT OF INDUSTRIAL AND SYSTEMS ENGINEERING   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CELLULAR MANUFACTURING; COMPUTER CONTROL SYSTEMS; COMPUTER SIMULATION; FINITE AUTOMATA; FORMAL LANGUAGES; MATERIALS HANDLING EQUIPMENT; MATHEMATICAL MODELS; PROCESS CONTROL; ROBOT APPLICATIONS;

DEADLOCK AVOIDANCE; PERMISSIVE CONTROL POLICY;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0034248469     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/70.864237     Document Type: Article

References (21)

1. M. D. Byrne and P. Chutima, "Real time operational control of an FMS with full routing flexibility," Int. J. Prod. Econ., vol. 51, pp. 109-113, 1997.
2. 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.
3. 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.
4. 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, 1990.
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-858, 1991.
6. F. Chu and X. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Automat., vol. 13, pp. 317-326, 1997.
7. K. Y. H. Xing, B. H. 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.
8. F. S. Hsieh and S. C. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 10, pp. 198-209, 1994.
9. R. Sreenivas, "On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets," IEEE Trans. Automat. Contr., vol. 42, pp. 928-945, 1997.
10. J. M. Proth, L. Wang, and X. Xie, "A class of Petri nets for manufacturing system integration," IEEE Trans. Robot. Automat., vol. 13, pp. 317-326, 1994.
11. 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.
12. M. A. Lawley, S. A. Reveliotis, and P. M. Ferreira, "A correct and scaleable deadlock avoidance policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 14, pp. 796-809, 1998.
13. J. Ezpeleta and J. M. Colom, "Automatic synthesis of colored Petri nets for the control of FMS," IEEE Trans. Robot. Automat., vol. 13, pp. 327-337, 1997.
14. P.L. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, pp. 206-230, 1987.
15. B. A. Brandin, "The real-time supervisory control of an experimental manufacturing cell," IEEE Trans. Robot. Automat., vol. 12, pp. 1-14, 1996.
16. M. P. Fanti, B. Maione, and B. Turchiano, "Event control for deadlock avoidance in assembly systems," in 1997 IEEE Int. Conf. on Systems, Man and Cybernetics, Orlando, FL, Oct. 1997, pp. 3756-3761.
17. _, "Dead lock avoidance in cellular manufacturing systems," in 1998 IEEE Int. Conf. on Systems, Man and Cybernetics, San Diego, CA, Oct. 1998, pp. 588-593.
18. J. Ezpeleta, J. M. Colom, and J. Martinez, "Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, pp. 173-184, 1997.
19. R. Kumar and V. K. Garg," Optimal supervisory control of discrete event dynamical systems," SIAM J. Control Optim., vol. 33, pp. 419-439, 1995.
20. R. E. Tarjan, "Depth first search and linear graph algorithm," SIAM J. Comput., vol. 1, pp. 145-160, 1972.
21. T. O. Boucher, D. Tai, and A. Yalcin, "Algorithms for Implementing Deadlock Avoidance using Finite Automata," Ind. Eng. Dept., Rutgers Univ., Piscataway, NJ, Working Paper #99-126, 1999.