Self-stabilizing robot formations over unreliable networks

ACM Transactions on Autonomous and Adaptive Systems

Volumn 4, Issue 3, 2009, Pages

  Gilbert, Seth ^a   Lynch, Nancy ^b   Mitra, Sayan ^c   Nolte, Tina ^b  

^a EPFL   (Switzerland)

^b USA   (United States)

^c University of Illinois at Urbana Champaign   (United States)

Author keywords

Cooperative mobile robotics; Distributed algorithms; Formal methods; Pattern formation; Replicated state machines; Self stabilization

Indexed keywords

COOPERATIVE MOBILE ROBOTICS; DISTRIBUTED ALGORITHMS; PATTERN FORMATION; REPLICATED STATE MACHINES; SELF-STABILIZATION;

AD HOC NETWORKS; CONTOUR FOLLOWERS; FORMAL METHODS; MOBILE ROBOTS; PARALLEL ALGORITHMS; ROBOTICS; STABILIZATION; WIRELESS TELECOMMUNICATION SYSTEMS;

ROBOT PROGRAMMING;

EID: 70349781285     PISSN: 15564665     EISSN: 15564703     Source Type: Journal    
DOI: 10.1145/1552297.1552300     Document Type: Article

References (33)

1. Ando, H., Oasa, Y., Suzuki, I., and Yamashita, M. 1999. Distributed memoryless point convergence algorithm for mobile robots with limited visibility. IEEE Trans. Robotics Autom. 15, 5, 818-828.
2. Blondel, V., Hendrickx, J., Olshevsky, A., and Tsitsiklis, J. 2005. Convergence in multi-agent coordination consensus and flocking. In Proceedings of the Joint 44th IEEE Conference on Decision and Control and European Control Conference. 2996-3000.
3. Brown, M. D. 2007. Air traffic control using virtual stationary automata. M.S. thesis, Massachusetts Institute of Technology.
4. Chandy, K. M., Mitra, S., and Pilotto, C. 2008. Convergence verification: From shared memory to partially synchronous systems. In Proceedings of the Formal Modeling and Analysis of Timed Systems (FORMATS'08). Lecture Notes in Computer Science, vol. 5215. Springer Verlag, 217-231.
5. Chockler, G., Gilbert, S., and Lynch, N. 2008. Virtual infrastructure for collision-prone wireless networks. In Proceedings of the Annual ACM SIGOPS Symposium on Principles of Distributed Computing (PODC).
6. Clavaski, S., Chaves, M., Day, R., Nag, P., Williams, A., and Zhang, W. 2003. Vehicle networks: Achieving regular formation. In Proceedings of the American Control Conference.
7. Cortes, J., Martinez, S., Karatas, T., and Bullo, F. 2004. Coverage control for mobile sensing networks. IEEE Trans. Robotics Autom. 20, 2, 243-255.
8. Défago, X. and Konagaya, A. 2002. Circle formation for oblivious anonymous mobile robots with no common sense of orientation. In Proceedings of the 2nd International Workshop on Principles of Mobile Computing (POMC'02). ACM, 97-104.
9. Défago, X. and Souissi, S. 2008. Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity. Theor. Comput. Sci. 396, 1-3, 97-112.
10. Dolev, S. 2000. Self-Stabilization. MIT Press, Cambridge.
11. Dolev, S., Gilbert, S., Lahiani, L., Lynch, N., and Nolte, T. 2005a. Virtual stationary automata for mobile networks. in Proceedings of the International Conference on Principles of Distributed Systems (OPODIS).
12. Dolev, S., Gilbert, S., Lahiani, L., Lynch, N. A., and Nolte, T. A. 2005b. Virtual stationary automata for mobile networks. Tech. rep. MIT-LCS-TR-979.
13. Dolev, S., Gilbert, S., Lynch, N., Shvartsman, A., and Welch, J. 2003. Geoquorums: Implementing atomic memory in ad hoc networks. In Distributed Algorithms, F. E. Fich, Ed. Lecture Notes in Computer Science, vol.2848. 306-320.
14. Dolev, S., Gilbert, S., Lynch, N. A., Schiller, E., Shvartsman, A. A., and Welch, J. L. 2004. Virtual mobile nodes for mobile ad hoc networks. In Proceedings of the 18th International Symposium on Distributed Computing (DISC). 230-244.
15. Dolev, S., Gilbert, S., Lynch, N. A., Shvartsman, A. A., and Welch, J. 2005. Geoquorums: Implementing atomic memory in mobile ad hoc networks. Distrib. Comput.
16. Efrima,A. and Peleg, D. 2007. Distributed models and algorithms for mobile robot systems. In Proceedings of SOFSEM (1). Lecture Notes in Computer Science, vol.4362. Springer, 70-87.
17. Fax, J. and Murray, R. 2004. Information flow and cooperative control of vehicle formations. IEEE Trans. Autom. Control 49, 1465-1476.
18. Flocchini, P., Prencipe, G., Santoro, N., and Widmayer, P. 2001. Pattern formation by autonomous robots without chirality. In Proceedings of the Colloquium on Structural Information and Communication Complexity (SIROCCO). 147-162.
19. Gazi, V. and Passino, K. M. 2003. Stability analysis of swarms. IEEE Trans. Autom. Control 48, 4, 692-697.
20. Goldenberg, D. K., Lin, J., and Morse, A. S. 2004. Towards mobility as a network control primitive. In Proceedings of the 5th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc'04). ACM Press, 163-174.
21. Herman, T. 1996. Self-stabilization bibliography: Access guide. Theoretical Comput. Sci.
22. Jadbabaie, A., Lin,J., and Morse, A. S. 2003. Coordination of groups of mobile autonomous agents using nearest neighbor rules. IEEE Trans. Autom. Control 48, 6, 988-1001.
23. Kaynar, D. K., Lynch, N., Segala, R., and Vaandrager, F. 2005. The Theory of Timed I/O Automata. Synthesis Lectures on Computer Science. Morgan Claypool. Also available as Tech. rep. MIT-LCS-TR-917.
24. Lin, J., Morse, A., and Anderson., B. 2003. Multi-agent rendezvous problem. In Proceedings of the 42nd IEEE Conference on Decision and Control.
25. Lynch, N., Mitra,S., and Nolte, T. 2005. Motion coordination using virtual nodes. In Proceedings of the 44th IEEE Conference on Decision and Control (CDC'05).
26. Martinez, S., Cortes, J., and Bullo, F. 2005. On robust rendezvous for mobile autonomous agents. In Proceedings of the IFAC World Congress.
27. Nolte, T. and Lynch, N. A. 2007a. Self-stabilization and virtual node layer emulations. In Proceedings of the International Symposium on Self-Stablizing Systems (SSS). 394-408.
28. Nolte, T. and Lynch, N. A. 2007b. A virtual node-based tracking algorithm for mobile networks. In IEEE International Conference on Distributed Computing Systems (ICDCS).
29. Nolte, T. A. 2008. Virtual stationary timed automata for mobile networks. Ph.D. thesis, Massachusetts Institute of Technology, Cambridge.
30. Olfati-Saber, R., Fax, J., and Murray, R. 2007. Consensus and cooperation in networked multi-agent systems. Proc. IEEE 95, 1, 215-233.
31. Prencipe, G. 2000. Achievable patterns by an even number of autonomous mobile robots. Tech. rep. TR-00-11. 17.
32. Prencipe, G. 2001. Corda: Distributed coordination of a set of autonomous mobile robots. In Proceedings of the European Research Seminar on Advances in Distributed Systems (ERSADS). 185-190.
33. Suzuki, I. and Yamashita, M. 1999. Distributed autonomous mobile robots: Formation of geometric patterns. SIAM J. Comput. 28, 4, 1347-1363.