Distributed Computing

, Volume 28, Issue 5, pp 333–349 | Cite as

Getting close without touching: near-gathering for autonomous mobile robots

  • Linda Pagli
  • Giuseppe Prencipe
  • Giovanni Viglietta
Article

Abstract

In this paper we study the Near-Gathering problem for a finite set of dimensionless, deterministic, asynchronous, anonymous, oblivious and autonomous mobile robots with limited visibility moving in the Euclidean plane in Look–Compute–Move cycles. In this problem, the robots have to get close enough to each other, so that every robot can see all the others, without touching (i.e., colliding with) any other robot. The importance of solving the Near-Gathering problem is that it makes it possible to overcome the restriction of having robots with limited visibility. Hence it allows to exploit all the studies (the majority, actually) done on this topic in the unlimited visibility setting. Indeed, after the robots get close enough to each other, they are able to see all the robots in the system, a scenario that is similar to the one where the robots have unlimited visibility. We present the first (deterministic) algorithm for the Near-Gathering problem, to the best of our knowledge, which allows a set of autonomous mobile robots to nearly gather within finite time without ever colliding. Our algorithm assumes some reasonable conditions on the input configuration (the Near-Gathering problem is easily seen to be unsolvable in general). Further, all the robots are assumed to have a compass (hence they agree on the “North” direction), but they do not necessarily have the same handedness (hence they may disagree on the clockwise direction). We also show how the robots can detect termination, i.e., detect when the Near-Gathering problem has been solved. This is crucial when the robots have to perform a generic task after having nearly gathered. We show that termination detection can be obtained even if the total number of robots is unknown to the robots themselves (i.e., it is not a parameter of the algorithm), and robots have no way to explicitly communicate.

References

  1. 1.
    Agathangelou, C., Georgiou, C., Mavronicolas, M.: A distributed algorithm for gathering many fat mobile robots in the plane. In: Proceedings of the 32nd annual ACM symposium on principles of distributed computing (PODC), pp. 250–259 (2013)Google Scholar
  2. 2.
    Ando, H., Oasa, Y., Suzuki, I., Yamashita, M.: A distributed memoryless point convergence algorithm for mobile robots with limited visibility. IEEE Trans. Robot. Autom. 15(5), 818–828 (1999)CrossRefGoogle Scholar
  3. 3.
    Cieliebak, M.: Gathering non-oblivious mobile robots. In: 6th Latin American conference on theoretical informatics (LATIN), LNCS 2976, pp. 577–588 (2004)Google Scholar
  4. 4.
    Cohen, R., Peleg, D.: Convergence properties of the gravitational algorithms in asynchronous robots systems. SIAM J. Comput. 34(6), 1516–1528 (2005)MATHMathSciNetCrossRefGoogle Scholar
  5. 5.
    Cord-Landwehr, A., Degener, B., Fischer, M., Hüllmann, M., Kempkes, B., Klaas, A., Kling, P., Kurras, S., Märtens, M., auf der Heide, F.M., Raupach, C., Swierkot, K., Warner, D., Weddemann, C., Wonisch, D.: Collision-less gathering of robots with an extent. In: Proceedings of the 37th international conference on current trends in theory and practice of computer science (SOFSEM), pp. 178–189 (2011)Google Scholar
  6. 6.
    Czyzowicz, J., Gasieniec, L., Pelc, A.: Gathering few fat mobile robots in the plane. Theor. Comput. Sci. 410(6–7), 481–499 (2009)MATHMathSciNetCrossRefGoogle Scholar
  7. 7.
    Das, S., Flocchini, P., Prencipe, G., Santoro, N., Yamashita, M.: The power of lights: synchronizing asynchronoys robots using visibile bits. In: Proceedings of the 32nd international conference on distributed computing systems (ICDCS), pp. 506–515 (2012)Google Scholar
  8. 8.
    Défago, X., Souissi, S.: Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity. Theor. Comput. Sci. 396(1–3), 97–112 (2008)MATHCrossRefGoogle Scholar
  9. 9.
    Dieudonné, Y., Labbani-Igbida, O., Petit, F.: Circle formation of weak mobile robots. ACM Trans. Auton. Adapt. Syst. 3(4), 1–20 (2008)Google Scholar
  10. 10.
    Dieudonné, Y., Petit, F., Villain, V.: Leader election problem versus pattern formation problem. In: Proceedings of the 24th international symposium on distributed computing (DISC), LNCS 6343, pp. 267–281 (2010)Google Scholar
  11. 11.
    Efrima, A., Peleg, D.: Distributed models and algorithms for mobile robot systems. In: Proceedings of the 33rd international conference on current trends in theory and practice of computer science (SOFSEM), LNCS 4362, pp. 70–87 (2007)Google Scholar
  12. 12.
    Flocchini, P., Prencipe, G., Santoro, N., Widmayer, P.: Gathering of robots with limited visibility. Theor. Comput. Sci. 337(1–3), 147–168 (2005)MATHMathSciNetCrossRefGoogle Scholar
  13. 13.
    Flocchini, P., Prencipe, G., Santoro, N., Widmayer, P.: Arbitrary pattern formation by asynchronous oblivious robots. Theor. Comput. Sci. 407(1–3), 412–447 (2008)MATHMathSciNetCrossRefGoogle Scholar
  14. 14.
    Ganguli, A., Cortés, J., Bullo, F.: Multirobot rendezvous with visibility sensors in nonconvex environments. IEEE Trans. Robot. 25(2), 340–352 (2009)CrossRefGoogle Scholar
  15. 15.
    Izumi, T., Izumi, T., Kamei, S., Ooshita, F.: Feasibility of polynomial-time randomized gathering for oblivious mobile robots. IEEE Trans. Parallel Distrib. Syst. 24(4), 716–723 (2013)CrossRefGoogle Scholar
  16. 16.
    Katreniak, B.: Convergence with limited visibility by asynchronous mobile robots. In: Proceedings of the 18th international colloquium on structural information and communication complexity (SIROCCO), pp. 125–137 (2011)Google Scholar
  17. 17.
    Lin, J., Morse, A., Anderson, B.: The multi-agent rendezvous problem—part 2: the asynchronous case. SIAM J. Control Optim. 46(6), 2120–2147 (2007)MATHMathSciNetCrossRefGoogle Scholar
  18. 18.
    Pagli, L., Prencipe, G., Viglietta, G.: Getting close without touching. In: Proceedings of the 19th colloquium on structural information and communication complexity (SIROCCO), LNCS 7355, pp. 315–326 (2012)Google Scholar
  19. 19.
    Peleg, D.: Distributed coordination algorithms for mobile robot swarms: new directions and challenges. In: Proceedings of the 7th international workshop on distributed computing (IWDC), LNCS 3741, pp. 1–12 (2005)Google Scholar
  20. 20.
    Souissi, S., Défago, X., Yamashita, M.: Using eventually consistent compasses to gather memory-less mobile robots with limited visibility. ACM Trans. Auton. Adapt. Syst. 4(1), 1–27 (2009)CrossRefGoogle Scholar
  21. 21.
    Suzuki, I., Yamashita, M.: Distributed anonymous mobile robots: formation of geometric patterns. SIAM J. Comput. 28(4), 1347–1363 (1999)MATHMathSciNetCrossRefGoogle Scholar
  22. 22.
    Yamashita, M., Suzuki, I.: Characterizing geometric patterns formable by oblivious anonymous mobile robots. Theor. Comput. Sci. 411(26–28), 2433–2453 (2010)MATHMathSciNetCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  • Linda Pagli
    • 1
  • Giuseppe Prencipe
    • 1
  • Giovanni Viglietta
    • 2
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.School of Electrical Engineering and Computer ScienceUniversity of OttawaOttawaCanada

Personalised recommendations