Deadlock avoidance for free choice multi-reentrant flow lines: Critical Siphons & Critical Subsystems

2007 Mediterranean Conference on Control and Automation, MED

Volumn , Issue , 2007, Pages

  Ballal, P ^a   Lewis, F ^a   Mireles Jr , J ^b   Sreenath, K ^a  

^a UNIVERSITY OF TEXAS AT ARLINGTON   (United States)

^b UNIVERSIDAD AUTÓNOMA DE CIUDAD JUÁREZ   (Mexico)

Author keywords

Deadlock avoidance; Discrete event systems; FMRF; Intelligent control; MRF; Petri nets

Indexed keywords

FACILITIES; GRAPH THEORY; INDUSTRIAL ENGINEERING; PETRI NETS; SIPHONS;

CONTROL AND AUTOMATION; DEADLOCK AVOIDANCE; DISCRETE EVENT SYSTEMS; EFFICIENT COMPUTATION; FLOW LINES; FMRF; INTELLIGENT CONTROL; MATRIX FORMULATION; MRF; ROUTING DECISIONS; WORK-IN-PROGRESS;

MATRIX ALGEBRA;

EID: 50249179803     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MED.2007.4433656     Document Type: Conference Paper

References (17)

1. Ballal P., Giordano V., Lewis F., "Deadlock free dynamic resource assignment in multi-robot systems with multiple missions: a matrix-based approach," Proc. Mediterranean Conf. Control & Automation, Ancona, Italy, June 2006.
2. Corman, T., Leisenson, C., and Rivest R., "Introduction to Algorithms," Prentice Hall of India, 2001.
3. Ezpeleta, J.; Colom, J.M.; Martinez, J., "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Transaction on Robotics and Automation, Volume 11, Issue 2, April 1995 Page(s):173-184.
4. Giordano V., Lewis F., Mireles J., Turchiano B., "Coordination control policy for mobile sensor networks with shared heterogeneous resources," Proceedings of the IEEE International Conference on Control and Automation, Budapest, June 2005.
5. Giordano V., Ballal P., Lewis F., Turchiano B., Zhang J. B., "Supervisory control of mobile sensor networks: math formulation, simulation, implementation," IEEE Transactions on Systems, Man and Cybernetics, Part B, Volume 36, Issue 4, Aug. 2006 Page(s):806-819.
6. Giordano V., Lewis F., Turchaino B., Ballal P., Yeshala V., "Matrix computational framework for discrete event control of wireless sensor networks with some mobile agents," Proc. Mediterranean Conf. Control & Automation, Limassol, Cyprus, June 2005.
7. Gurel, A., Bogdan S., Lewis F., " Matrix Approach to Deadlock-Free Dispatching in Multi-Class Finite Buffer Flowlines," IEEE Transactions on Automatic Control, Volume 45, Issue 11, Nov 2000 Page(s): 2086-2090.
8. I. N. Herstein., "Topics in Algebra," Blaisdell Publishing Co., 1964.
9. Lawley, M. "Integrating Routing Flexibility and Algebraic Deadlock Avoidance Policies in Automated Manufacturing Systems," International Journal of Production Research, 38(13); 2931-2950, 2000.
10. Lewis F., Gurel A., Bogdan S., Docanalp A. Pastravanu O., "Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems," Automatica, vol.34, no. 9, September 1998.
11. Lewis F., "Wireless sensor networks," Smart environments:Technologies, Protocols, and Applications, ed. D. J. Cook and S. K.Das, John Wiley, New York, 2004.
12. Mireles J., Lewis F., Gurel A., "Implementation of a deadlock avoidance policy for multipart reentrant flow lines using a matrix-based discrete event controller," Proceedings of the International symposium on advances in robot dynamics and control, New Orleans, November 2002.
13. Murata, T. "Petri Nets: Properties, Analysis and Applications," Proceedings of the IEEE, vol.77, no.4, April 1989, pp.541-80.
14. Ozmutlu, S. And Harmonosky, C.M., "A real time methodology for minimizing mean flowtime in FMSs with routing flexibility: Threshold based Alternate Routing," European Journal of Operational Research, 166 (2): 369-384, 2005.
15. Peterson, J. L., "Petri Net Theory and the Modeling of Systems," Prentice-Hall, Englewood Cliffs, NJ, 1981.
16. Wysk, R.A.; Yang, N.S.; Joshi, S.; "Detection of deadlocks in flexible manufacturing cells," IEEE Transactions on Robotics and Automation, vol.:7 , Issue: 6 , December 1991.
17. Xing K.Y., Hu B.S., Chen H.X., "Deadlock Avoidance Policy for Petri-net Modeling of Flexible Manufacturing Systems With Shared Resources," IEEE Transactions on Automatic Control, Volume 41, Feb 1991 Page(s): 289-295.