Advertisement

Asynchronous Embedded Pattern Formation Without Orientation

  • Serafino Cicerone
  • Gabriele Di Stefano
  • Alfredo NavarraEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9888)

Abstract

We consider the Embedded Pattern Formation (epf) problem introduced in [Fujinaga et al., SIAM J. on Comput., 44(3), 2015]. Given a set F of distinct points in the Euclidean plane (called here fixed-points) and a set R of robots such that \(|R|=|F|\), the problem asks for a distributed algorithm that moves robots so as to occupy all points in F. Initially, each robot occupies a distinct position.

Robots operate in standard Look-Compute-Move cycles. In one cycle, a robot perceives the current configuration in terms of the robots’ positions and the fixed-points (Look) according to its own coordinate system, decides whether to move (Compute), and in the positive case it moves (Move). Cycles are performed asynchronously for each robot. Robots are oblivious, anonymous and execute the same algorithm.

In the mentioned paper, the problem has been investigated by assuming chirality, that is robots share a common left-right orientation. The obtained solution has been used as a sub-procedure to solve the Pattern Formation problem, without fixed-points but still with chirality.

Here we investigate the other branch, that is, we are interested in solving epf without chirality. We fully characterize when the epf problem can be accomplished and we design a deterministic distributed algorithm that solves the problem for all configurations but those identified as unsolvable. Our approach is also characterized by the use of logical predicates in order to formally describe our algorithm as well as its correctness.

Keywords

Initial Configuration Stationary Configuration Current Configuration Informal Description Symmetric Configuration 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Bramas, Q., Tixeuil, S., Announcement, B.: Probabilistic asynchronous arbitrary pattern formation. In: Proceedings of the 35th ACM Symposium on Principles of Distributed Computing (PODC) (2016)Google Scholar
  2. 2.
    Chaudhuri, S.G., Ghike, S., Jain, S., Mukhopadhyaya, K.: Pattern formation for asynchronous robots without agreement in chirality. CoRR, abs/1403.2625 (2014)Google Scholar
  3. 3.
    Cicerone, S., Di Stefano, G., Navarra, A.: Minimum-traveled-distance gathering of oblivious robots over given meeting points. In: Gao, J., Efrat, A., Fekete, S.P., Zhang, Y. (eds.) ALGOSENSORS 2014. LNCS, vol. 8847, pp. 57–72. Springer, Heidelberg (2015)Google Scholar
  4. 4.
    Cieliebak, M., Flocchini, P., Prencipe, G., Santoro, N.: Distributed computing by mobile robots: gathering. SIAM J. Comput. 41(4), 829–879 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Courtieu, P., Rieg, L., Tixeuil, S., Urbain, X.: Impossibility of gathering, a certification. Inf. Process. Lett. 115(3), 447–452 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Courtieu, P., Rieg, L., Tixeuil, S., Urbain, X., Announcement, B.: Certified universal gathering in \(R^2\) for oblivious mobile robots. In: Proceedings of the 35th ACM Symposium on Principles of Distributed Computing (PODC) (2016)Google Scholar
  7. 7.
    Das, S., Flocchini, P., Santoro, N., Yamashita, M.: Forming sequences of geometric patterns with oblivious mobile robots. Dist. Comp. 28(2), 131–145 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Flocchini, P., Prencipe, G., Santoro, N., Viglietta, G.: Distributed computing by mobile robots: solving the uniform circle formation problem. In: Aguilera, M.K., Querzoni, L., Shapiro, M. (eds.) OPODIS 2014. LNCS, vol. 8878, pp. 217–232. Springer, Heidelberg (2014)Google Scholar
  9. 9.
    Flocchini, P., Prencipe, G., Santoro, N., Widmayer, P.: Arbitrary pattern formation by asynchronous, anonymous, oblivious robots. Theoret. Comput. Sci. 407(1–3), 412–447 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Fujinaga, N., Ono, H., Kijima, S., Yamashita, M.: Pattern formation through optimum matching by oblivious CORDA robots. In: Lu, C., Masuzawa, T., Mosbah, M. (eds.) OPODIS 2010. LNCS, vol. 6490, pp. 1–15. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  11. 11.
    Fujinaga, N., Yamauchi, Y., Kijima, S., Yamashita, M.: Asynchronous pattern formation by anonymous oblivious mobile robots. In: Aguilera, M.K. (ed.) DISC 2012. LNCS, vol. 7611, pp. 312–325. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  12. 12.
    Fujinaga, N., Yamauchi, Y., Ono, H., Kijima, S., Yamashita, M.: Pattern formation by oblivious asynchronous mobile robots. SIAM J. Comput. 44(3), 740–785 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Ghike, S., Mukhopadhyaya, K.: A distributed algorithm for pattern formation by autonomous robots, with no agreement on coordinate compass. In: Janowski, T., Mohanty, H. (eds.) ICDCIT 2010. LNCS, vol. 5966, pp. 157–169. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  14. 14.
    Millet, L., Potop-Butucaru, M., Sznajder, N., Tixeuil, S.: On the synthesis of mobile robots algorithms: the case of ring gathering. In: Felber, P., Garg, V. (eds.) SSS 2014. LNCS, vol. 8756, pp. 237–251. Springer, Heidelberg (2014)Google Scholar
  15. 15.
    Yamauchi, Y., Uehara, T., Kijima, S., Yamashita, M.: Plane formation by synchronous mobile robots in the three dimensional euclidean space. In: Moses, Y., et al. (eds.) DISC 2015. LNCS, vol. 9363, pp. 92–106. Springer, Heidelberg (2015). doi: 10.1007/978-3-662-48653-5_7 CrossRefGoogle Scholar
  16. 16.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  • Serafino Cicerone
    • 1
  • Gabriele Di Stefano
    • 1
  • Alfredo Navarra
    • 2
    Email author
  1. 1.Dipartimento di Ingegneria e Scienze dell’Informazione e MatematicaUniversità degli Studi dell’AquilaL’aquilaItaly
  2. 2.Dipartimento di Matematica e InformaticaUniversità degli Studi di PerugiaPerugiaItaly

Personalised recommendations