Advertisement

Positional Encoding by Robots with Non-rigid Movements

  • Kaustav Bose
  • Ranendu AdhikaryEmail author
  • Manash Kumar Kundu
  • Buddhadeb Sau
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11639)

Abstract

Consider a set of autonomous computational entities, called robots, operating inside a polygonal enclosure (possibly with holes), that have to perform some collaborative tasks. The boundary of the polygon obstructs both visibility and mobility of a robot. Since the polygon is initially unknown to the robots, the natural approach is to first explore and construct a map of the polygon. For this, the robots need an unlimited amount of persistent memory to store the snapshots taken from different points inside the polygon. However, it has been shown by Di Luna et al. [DISC 2017] that map construction can be done even by oblivious robots by employing a positional encoding strategy where a robot carefully positions itself inside the polygon to encode information in the binary representation of its distance from the closest polygon vertex. Of course, to execute this strategy, it is crucial for the robots to make accurate movements. In this paper, we address the question whether this technique can be implemented even when the movements of the robots are unpredictable in the sense that the robot can be stopped by the adversary during its movement before reaching its destination. However, there exists a constant \(\delta > 0\), unknown to the robot, such that the robot can always reach its destination if it has to move by no more than \(\delta \) amount. This model is known in literature as non-rigid movement. We give a partial answer to the question in the affirmative by presenting a map construction algorithm for robots with non-rigid movement, but having O(1) bits of persistent memory and the ability to make circular moves.

Keywords

Autonomous robots Map construction Non-rigid movement Polygon with holes Look Compute-Move cycle Distributed algorithm 

Notes

Acknowledgements

The first three authors are supported by NBHM, DAE, Govt. of India, CSIR, Govt. of India and UGC, Govt. of India, respectively. We would like to thank the anonymous reviewers for their valuable comments which helped us improve the quality and presentation of the paper.

References

  1. 1.
    Agathangelou, C., Georgiou, C., Mavronicolas, M.: A distributed algorithm for gathering many fat mobile robots in the plane. In: ACM Symposium on Principles of Distributed Computing, PODC 2013, Montreal, QC, Canada, 22–24 July 2013, pp. 250–259 (2013).  https://doi.org/10.1145/2484239.2484266
  2. 2.
    Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and Real Computation. Springer, Berlin (1998).  https://doi.org/10.1007/978-1-4612-0701-6CrossRefzbMATHGoogle Scholar
  3. 3.
    Bose, K., Adhikary, R., Kundu, M.K., Sau, B.: Arbitrary pattern formation on infinite grid by asynchronous oblivious robots. In: Das, G.K., Mandal, P.S., Mukhopadhyaya, K., Nakano, S. (eds.) WALCOM 2019. LNCS, vol. 11355, pp. 354–366. Springer, Cham (2019).  https://doi.org/10.1007/978-3-030-10564-8_28CrossRefGoogle Scholar
  4. 4.
    Bose, K., Adhikary, R., Kundu, M.K., Sau, B.: Positional encoding by robots with non-rigid movements. CoRR abs/1905.09786 (2019). http://arxiv.org/abs/1905.09786
  5. 5.
    Cicerone, S., Di Stefano, G., Navarra, A.: Asynchronous arbitrary pattern formation: the effects of a rigorous approach. Distrib. Comput. 1–42 (2018).  https://doi.org/10.1007/s00446-018-0325-7MathSciNetCrossRefGoogle Scholar
  6. 6.
    Cieliebak, M., Flocchini, P., Prencipe, G., Santoro, N.: Distributed computing by mobile robots: gathering. SIAM J. Comput. 41(4), 829–879 (2012).  https://doi.org/10.1137/100796534MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Cohen, H.: A Course in Computational Algebraic Number Theory, vol. 138. Springer, Heidelberg (2013).  https://doi.org/10.1007/978-3-662-02945-9CrossRefGoogle Scholar
  8. 8.
    Flocchini, P., Prencipe, G., Santoro, N., Widmayer, P.: Arbitrary patternformation by asynchronous, anonymous, oblivious robots. Theor. Comput. Sci. 407(1–3), 412–447 (2008).  https://doi.org/10.1016/j.tcs.2008.07.026CrossRefzbMATHGoogle Scholar
  9. 9.
    Flocchini, P., Santoro, N., Viglietta, G., Yamashita, M.: Rendezvous withconstant memory. Theor. Comput. Sci. 621, 57–72 (2016).  https://doi.org/10.1016/j.tcs.2016.01.025CrossRefzbMATHGoogle Scholar
  10. 10.
    Luna, G.A.D., Flocchini, P., Santoro, N., Viglietta, G., Yamashita, M.: Meeting in a polygon by anonymous oblivious robots. In: 31st International Symposium on Distributed Computing, DISC 2017, pp. 14:1–14:15, Vienna, 16-20 October 2017.  https://doi.org/10.4230/LIPIcs.DISC.2017.14
  11. 11.
    Pagli, L., Prencipe, G., Viglietta, G.: Getting close without touching :near-gathering for autonomous mobile robots. Distrib. Comput. 28(5), 333–349 (2015).  https://doi.org/10.1007/s00446-015-0248-5MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Suzuki, I., Yamashita, M.: Distributed anonymous mobile robots:formation of geometric patterns. SIAM J. Comput. 28(4), 1347–1363 (1999).  https://doi.org/10.1137/S009753979628292XMathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Yamauchi, Y., Yamashita, M.: Randomized pattern formation algorithm for asynchronous oblivious mobile robots. In: Kuhn, F. (ed.) DISC 2014. LNCS, vol. 8784, pp. 137–151. Springer, Heidelberg (2014).  https://doi.org/10.1007/978-3-662-45174-8_10CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Department of MathematicsJadavpur UniversityKolkataIndia

Personalised recommendations