Deadlock avoidance policy in mobile wireless sensor networks with free choice resource routing

International Journal of Advanced Robotic Systems

Volumn 5, Issue 3, 2008, Pages 279-290

  Ballal, Prasanna ^a   Trivedi, Abhishek ^a   Lewis, Frank ^a  

^a UNIVERSITY OF TEXAS AT ARLINGTON   (United States)

Author keywords

Deadlock avoidance; Discrete event systems; FMRF; Intelligent control; Mobile robots; MRF; Petri nets; Robot sensors; WSN

Indexed keywords

DISCRETE EVENT SIMULATION; HUMAN RESOURCE MANAGEMENT; INTELLIGENT CONTROL; INTELLIGENT ROBOTS; MAGNETORHEOLOGICAL FLUIDS; MOBILE ROBOTS; PETRI NETS;

COOPERATION OF ROBOTS; DEADLOCK AVOIDANCE; DISCRETE EVENT CONTROL; FMRF; MATRIX FORMULATION; MOBILE WIRELESS SENSOR NETWORK; MULTIPLE RESOURCES; ROBOT SENSORS;

WIRELESS SENSOR NETWORKS;

EID: 51349143083     PISSN: 17298806     EISSN: 17298814     Source Type: Journal    
DOI: 10.5772/5607     Document Type: Article

References (36)

1. Ballal P, Lewis F., Mireles J., Sreenath K. (2007), "Deadlock avoidance for free choice multi-reentrant flow lines: Critical siphons and critical subsystems", Proc. Mediterranean Conf. Control & Automation, Athens, Greece, June 2007
2. Bailai P., Giordano V., Lewis F. (2006), "Deadlock Free Dynamic Resource Assignment in Multi-Robot Systems with Multiple Missions: A Matrix-Based Approach," Proceedings of Mediterranean Conference on Control & Automation, Ancona, Italy, June 2006.
3. Butler Z., Rus D.(2003), "Event-based motion control for mobile-sensor network", IEEE Transactions on Pervasive Computing, vol.2 issue 4, October-December 2003
4. Cortes J., Martinez S., Karatas T., Bullo F.(2004), "Coverage control for mobile sensing network", IEEE Transactions on Robotics and Automation, Vol. 20, Issue 2, pp. 243-255, April 2004
5. Chong C., Kumar S.(2003), "Sensor Networks: Evolution, Opportunities and Challenges", Proceedings of the IEEE, col. 91, no.8, August 2003
6. Corman, T., Leisenson, C., and Rivest R.(2001), Introduction to Algorithms, Prentice Hall of India, 2001.
7. Dantu K., Rahimi M., Shah H., Babel S., Dhariwal A., Sukhatme G.(2005), "Robomote: enabling mobility in sensor networks", Information Processing in Sensor Networks, 2005. IPSN 2005. Fourth International Symposium on 15 April 2005 Page(s):404 - 409
8. Ezpeleta, J.; Colom, J.M.; Martinez, J.(1995); "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
9. Ezpeleta J., Recalde L.(2002), "A deadlock avoidance approach for nonsequential resource allocation systems," in Proc. IEEE Int Conf. Syst., Man, Cybern., Oct. 2002.
10. Fanti, M. P., Maione, G. and Turchiano, B.(2001), "Distributed Event-Control for Deadlock Avoidance in Automated Manufacturing Systems," International Journal of Production Research 39(9), 2001, Page(s): 1993-2021.
11. Fanti, M.P.; Maione, B.; Turchiano, B.(2000);Comparing digraph and Petri net approaches to deadlock avoidance in FMS IEEE Transactions on Systems, Man and Cybernetics, Part B, Volume 30, Issue 5, Oct. 2000 Page(s):783 - 798
12. Fanti M., Zhou M.(2004), "Deadlock control methods in automated manufacturing systems," IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 34(1):5-22, 2004.
13. Gerkey B., Mataric M.(2002), "Sold! Auction methods for multirobot coordination", IEEE Transactions on Robotics and Autoation, vol. 18, no. 5, October 2002
14. Gerkey B., Mataric M.(2004), "A formal analysis and taxonomy of task allocation in multi-robot systems", Int. Journal of Robotics Research, vol.:18 , no.5 , September 2004
15. Giordano V., Ballal P., Lewis F., Turchiano B., Zhang J. B. (2006), "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.
16. Giordano V., Lewis F., Mireles J.(2005), 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
17. Giordano V., Lewis F., Turchaino B., Ballal P., Yeshala V.(2005), "Matrix Computational Framework for Discrete Event Control of Wireless Sensor Networks with Some Mobile Agents," Proceedings of the Mediterranean Conference on Control & Automation, Limassol, Cyprus, June 2005.
18. Gurel A., Bogdan S., Lewis F.(2000), "Matrix approach to deadlock-free dispatching in multi-class finite buffer flowlines", IEEE Transactions on Automatic Control, Vol. 45, Issue 11, November 2000, pp.2086-2090
19. Judd R., Zhang W., Deering P., Lipset R., "A Scalable Deadlock Avoidance Algorithm for Flexible Manufacturing Systems with Free Choice in Part Routing," Proceedings of IEEE American Control Conference, 2000.
20. Lawley, M.(2000) "Integrating Routing Flexibility and Algebraic Deadlock Avoidance Policies in Automated Manufacturing Systems," International Journal of Production Research, 2000, Page(s): 2931-2950.
21. Lewis F., Gurel A., Bogdan S., Docanalp A. Pastravanu O. (1998), "Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems", Automatica, vol.34, no. 9, September 1998
22. Lewis F.(2004), "Wireless sensor networks," Smart environments: Technologies, Protocols, andApplications, ed. D. J. Cook and S. K.Das, John Wiley, New York, 2004.
23. Maione G., Naso D.(2001), " Modeling Evolutionary Supervisors for Multi-Agent Manufacturing Control with Discrete Event Formalism," Proceedings of IEEE Mountain Workshop on Soft Computing in Industrial Applications SMCia/01, June 2001.
24. Mireles J., Lewis F., Gurel A.(2002), "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
25. Murata, T.(1989), "Petri Nets: Properties, Analysis and Applications." Proceedings of the IEEE, vol.77, no.4, April 1989, pp.541-80
26. Ozmutlu, S. And Harmonosky, C.M.(2005), "A Real Time Methodology for Minimizing Mean Flowtime in FMSs With Routing Flexibility: Threshold Based Alternate Routing," European Journal of Operational Research, 2005, Pages(s): 369-384.
27. Peterson, J. L.(1981), "Petri Net Theory and the Modeling of Systems," Prentice-Hall, Englewood Cliffs, NJ, 1981.
28. Piroddi L., Ferrarini L.(2005), " A Modular Approach for Deadlock Avoidance in FMS," Proceedings of IEEE Conference on Decision and Control, 2005.
29. Puccinelli D., Haenggi M.(2005), "Wireless Sensor Networks: Applications and Challenges of Ubiquitous Sensing", IEEE Circuits and Systems Magazine, vol. 5, pp. 19-29, August 2005.
30. Reveliotis S.(2001), "On the Siphon-based Characterization of Liveness in Sequential Resource Allocation Systems," Tech. Report, School of Industrial & Systems, Eng. Georgia Tech, 2001.
31. Sinopoli B., Sharp C., Schenato L., Schaffert S., Sastry S. (2003), "Distributed Control Applications Within Sensor Networks", Proceedings of the IEEE, vol. 91, no.8, August 2003
32. Tacconi D., Lewis F.(1997), "A new matrix model for discrete event systems: application to simulation", IEEE Control System Magazine, vol.17 October 1997
33. Wysk, R.A.; Yang, N.S.; Joshi, S. (1991); "Detection of deadlocks in flexible manufacturing cells", IEEE Transactions on Robotics and Automation, vol.:7, Issue: 6, December 1991
34. Xing K.Y., Hu B.S., Chen H.X. (1991), "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.
35. Xing K., Jin X., Feng Y. (2005), " Deadlock Avoidance Petri Net Controller for Manufacturing Systems with Multiple Resource Service," Proceedings of IEEE Conference on Robotics and Automation, 2005.
36. Zhou M.C., Fanti M. P. (2005), Eds., "Deadlock Resolution in Computer-Integrated Systems," New York: Marcel Dekker, 2005.