Provably correct closed-loop control for multiple mobile robot systems

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 2005, Issue , 2005, Pages 2810-2815

  Roszkowska, Elzbieta ^a  

^a WROCLAW UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

Closed loop control; Collision avoidance; Deadlock avoidance; Multiple mobile robot system

Indexed keywords

COLLISION AVOIDANCE; CONCURRENT ENGINEERING; MOBILE ROBOTS; MOTION PLANNING;

CONCURRENT ROBOT MOVEMENT; DEADLOCK AVOIDANCE; MULTIPLE MOBILE ROBOT SYSTEM;

CLOSED LOOP CONTROL SYSTEMS;

EID: 33846150014     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ROBOT.2005.1570539     Document Type: Conference Paper

References (28)

1. J. Havender, "Avoiding deadlock in multitasking systems," IBM Systems J., pp. 74-84, 1968.
2. A. Haberman, "Prevention of system deadlocks," Comm. ACM, vol. 12, pp. 373-385, 1969.
3. E. Coffman, M. Elphick, and A. Shoshani, "System deadlocks," Computing Surveys, no. 2, pp. 67-78, 1971.
4. E. Dijkstra, "Cooperating sequential processes," in Programming Languages, F. Genuys, Ed. Academic Press, New York, 1968.
5. Z. Banaszak and E. Roszkowska, "Deadlock avoidance in pipeline concurrent processes," Podstawy Sterowania (Foundations of Control), vol. 18, pp. 3-17, 1988.
6. N. Wiswandham, Y. Narahari, T. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robot. Automat., vol. 6, pp. 713-723, 1990.
7. E. Roszkowska and J. Jentink, "Minimal restrictive deadlock avoidance in FMS's," in ECC '93, vol. 2, 1993, pp. 530-534.
8. F. Hsieh and S. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 10, pp. 196-209, 1994.
9. M. Zhou, "Deadlock avoidance methods for a distributed robotic system: Petri net modeling and analysis," J. Robotic Syst., vol. 12, no. 3, pp. 177-187, 1995.
10. J. Ezpeleta, J. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, no. 2, pp. 173-184, 1995.
11. M. 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.
12. S. Reveliotis, M. Lawley, and P. Ferreira, "Polynomial-complexity deadlock avidance policies for sequential resource allocation systems," IEEE Trans. Autom. Control, vol. 42, pp. 1344-1357, 1997.
13. 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.
14. M. Fanti, B. Maione, and B. Turchiano, "Event control for deadlock avoidance in assembly systems," in IEEE Int. Conf. SMC, 1997
15. E. Roszkowska, "Supervisory control for deadlock avoidance in compound manufacturing processes," IEEE Trans. Syst. Man Cybernet.: Part A, vol. 34, no. 1, pp. 52-64, 2004.
16. S. A. Reveliotis, "Conflict resolution in AGV systems," IIE Transactions, vol. 32, no. 7, pp. 647-659, 2000.
17. E. Roszkowska, "Supervisory control for systems of vehicles in path network," in IEEE Int. Conf. Robot. Automat., 2001, pp. 668-673.
18. N. Wu and M. Zhou, "AGV routing for conflict resolution in AGV systems," in IEEE Int. Conf. Robot. Automat., 2003, pp. 1428-1433.
19. E. Roszkowska, "Liveness enforcing in closed AGV systems with dynamic routing," in IEEE Int. Conf. Robot. Automat., 2004, pp. 5165-5170.
20. A. Shaw, The Logical Design of Operating Systems. Englewood Cliffs: Prentice Hall, 1974.
21. P. Brinch Hansen, Operating System Principles. Englewood Cliffs: Prentice Hall, 1973.
22. S. A. Reveliotis, Real-Time Management of Resource Allocation Systems. Kluwer Academic Publishers, 2004.
23. S. L. Valle and S. Hutchinson, "Optimal motion planning for multiple robots having independent goals," IEEE Trans. Robot. Automat., vol. 14, no. 6, pp. 912-925, 1998.
24. J. Barraquand and J. Latombe, "Robot motion planning: a distributed representation approach," Int. J. Robot. Res., vol. 10, no. 6, pp. 628-649, 1991.
25. S. Buckley, "Fast motion planning for multiple robots," in 1989 Int. IEEE Conf. Robot. Automat., 1989, pp. 322-326.
26. C. Chang, J. Chung, and B. Lee, "Collision avoidance of two robot manipulators by minimum delay time," IEEE Trans. Syst., Man, Cybern., vol. 24, pp. 517-522, 1994.
27. E. Roszkowska, "Supervisory control for multiple mobile robots in 2D space," in Third IEEE Int. Workshop Robot Motion Control, 2002, pp. 187-192.
28. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Kluwer Academic Publishers, 1999.