Multi-robot planning: A timed automata approach

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 2004, Issue 5, 2004, Pages 4417-4422

  Quottrup, Michael Melholt ^a   Bak, Thomas ^b   Izadi Zamanabadi, Roozbeh ^a  

^a AALBORG UNIVERSITY   (Denmark)

^b DANISH INSTITUTE OF AGRICULTURAL SCIENCES   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SIMULATION; MOTION PLANNING; PROBLEM SOLVING; SYNCHRONIZATION; TREES (MATHEMATICS);

AUTOMATA FRAMEWORK; INFRASTRUCTURES; MULTI-ROBOT PLANNING; TIMED AUTOMATA;

ROBOTS;

EID: 3042601420     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/robot.2004.1302413     Document Type: Conference Paper

References (14)

1. T. Balch and R. Arkin, "Behavior-based formation control for multirobot teams," IEEE Transactions on Robotics & Automation, vol. 14, no. 6, pp. 926-939, Dec. 1998.
2. R. Fierro, A. Das, V. Kumar, and J.P., "Hybrid control of formations of robots," in Proc. IEEE International Conference on Robotics & Automation, vol. 1, May 2001, pp. 157-162.
3. E. Klavins and D. Koditschek, "A formalism for the composition of concurrent robot behaviors," in Proc. IEEE International Conference on Robotics & Automation, San Franscisco, CA, 2000, pp. 3395-3402.
4. R. Alami, S. Fleury, M. Herrb, F. Ingrand, and F. Robert, "Multirobot cooperation in the martha project," IEEE Robotics & Automation Magazine, vol. 5, pp. 36-47, Mar. 1998.
5. B. Gerkey and M. Mataric, "Sold: Auction methods for multirobot coordination," IEEE Trans. on Robotics & Automation, vol. 18, no. 5, pp. 758-768, Oct. 2002.
6. M. Egerstedt and X. Hu, "A hybrid control approach to action coordination for mobile robots," Automatica, vol. 38, no. 1, pp. 125-130, Jan. 2001.
7. M. Egerstedt and C. Martin, "Conflict resolution for autonomous vehicles: A case study in hierarchical control design," International Journal of Hybrid Systems, vol. 2, no. 3, pp. 221-234, Sept. 2002.
8. R. Alur, J. Esposito, M. Kim, V. Kumar, and I. Lee, "Formal modeling and analysis of hybrid systems: A case study in multi-robot coordination," in LNCS 1708, J. Wing, J. Woodcock, and J. Davies, Eds. Berlin Heidelberg: Springer-Verlag, 1999, vol. I, pp. 212-232.
9. R. Alur and D. Dill, "A theory of timed automata," Theoretical Computer Science, vol. 126, no. 2, pp. 183-235, 1994.
10. K. Larsen, P. Pettersson, and W. Yi, "UPPAAL in a nutshell," International Journal on Software Tools for Technology Transfer, vol. 1-2, pp. 134-152, 1997.
11. R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, "The algorithmic analysis of hybrid systems," Theoretical Computer Science, pp. 3-34, 1995.
12. R. Alur, T. Henzinger, O. Lafferriere, and G. Pappas, "Discrete abstractions of hybrid systems," in Proc. of the IEEE, vol. 88, no. 7, July 2000, pp. 971-984.
13. K. Larsen, P. Pettersson, and W. Yi, "Model-checking for real-time systems," in Proc. of the 10th International Conf. on Fundamentals of Computation Theory, Dresden, Germany, Aug. 1995, pp. 62-88.
14. E. Emerson, "Temporal and modal logic," in Handbook of Theoretical Computer Science, J. van Leeuwen, Ed. MIT Press, 1990, vol. B, ch. 16, pp. 995-1072.