Skip to main content
Erschienen in: Distributed Computing 2/2015

01.04.2015

Forming sequences of geometric patterns with oblivious mobile robots

verfasst von: Shantanu Das, Paola Flocchini, Nicola Santoro, Masafumi Yamashita

Erschienen in: Distributed Computing | Ausgabe 2/2015

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We study the computational power of distributed systems consisting of simple autonomous robots moving on the plane. The robots are endowed with visual perception, allowing them to see each other, but they do not have any means of explicit communication with each other. Further the robots are oblivious, meaning that they always act based on their current perception of the environment, and they have no memory of the past. Such system of simple robots have been studied extensively with the objective of achieving coordinated tasks e.g. arranging the robots in a line or a circle. In fact it has been shown that obliviousness is not a limiting factor to form a single geometric pattern, however arbitrary. This paper aims to understand the computational limits imposed by the obliviousness of the robots by studying the formation of a series of geometric patterns instead of a single pattern. If such a series of patterns could be formed this would create some form of memory in an otherwise memory-less system. We show that, under particular conditions, oblivious robot systems can indeed form a given series of geometric patterns starting from any arbitrary configuration. More precisely, we characterize the series of patterns that can be formed by oblivious robot systems under various additional restrictions such as anonymity, asynchrony and lack of common orientation. These results provide strong indications that oblivious solutions may be obtained also for tasks that intuitively seem to require memory.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
This models any deviations in sensory apparatus used by a robot in between two steps, specially when the robot physically moves across the plane.
 
2
The robots themselves are not aware of this global coordinate system.
 
3
unlike the definition of views in [26].
 
Literatur
1.
Zurück zum Zitat Agmon, N., Peleg, D.: Fault-tolerant gathering algorithms for autonomous mobile robots. SIAM J. Comput. 36(1), 56–82 (2006)CrossRefMATHMathSciNet Agmon, N., Peleg, D.: Fault-tolerant gathering algorithms for autonomous mobile robots. SIAM J. Comput. 36(1), 56–82 (2006)CrossRefMATHMathSciNet
2.
Zurück zum Zitat Ando, H., Oasa, Y., Suzuki, I., Yamashita, M.: A distributed memoryless point convergence algorithm for mobile robots with limited visibility. IEEE Trans. Robotics Autom. 15(5), 818–828 (1999)CrossRef Ando, H., Oasa, Y., Suzuki, I., Yamashita, M.: A distributed memoryless point convergence algorithm for mobile robots with limited visibility. IEEE Trans. Robotics Autom. 15(5), 818–828 (1999)CrossRef
3.
Zurück zum Zitat Ando, H., Suzuki, I., Yamashita, M.: Formation and agreement problems for synchronous mobile robots with limited visibility. In: IEEE Symposium on Intelligent Control, pp. 453–460 (1995) Ando, H., Suzuki, I., Yamashita, M.: Formation and agreement problems for synchronous mobile robots with limited visibility. In: IEEE Symposium on Intelligent Control, pp. 453–460 (1995)
4.
Zurück zum Zitat Asahiro, Y., Fujita, S., Suzuki, I., Yamashita, M.: A self-stabilizing marching algorithm for a group of oblivious robots. In: 12th International Conference on Principles of Distributed Systems (OPODIS), pp. 125–144 (2008) Asahiro, Y., Fujita, S., Suzuki, I., Yamashita, M.: A self-stabilizing marching algorithm for a group of oblivious robots. In: 12th International Conference on Principles of Distributed Systems (OPODIS), pp. 125–144 (2008)
5.
Zurück zum Zitat Bouzid, Z., Lamani, A.: Robot networks with homonyms: the case of patterns formation. arXiv, Report, 1105.5817 (2011) Bouzid, Z., Lamani, A.: Robot networks with homonyms: the case of patterns formation. arXiv, Report, 1105.5817 (2011)
6.
Zurück zum Zitat Bullo, F., Cortés, J., Martínez, S.: Distrib. Control Robotic Netw. Princeton University Press, Princeton (2009) Bullo, F., Cortés, J., Martínez, S.: Distrib. Control Robotic Netw. Princeton University Press, Princeton (2009)
7.
Zurück zum Zitat Chatzigiannakis, I., Markou, M., Nikoletseas, S. E.: Distributed circle formation for anonymous oblivious robots. In: 3rd Workshop on Efficient and Experimental Algorithms (WEA), pp. 159–174 (2004) Chatzigiannakis, I., Markou, M., Nikoletseas, S. E.: Distributed circle formation for anonymous oblivious robots. In: 3rd Workshop on Efficient and Experimental Algorithms (WEA), pp. 159–174 (2004)
8.
Zurück zum Zitat Cieliebak, M., Flocchini, P., Prencipe, G., Santoro, N.: Distributed computing by mobile robots: gathering. SIAM J. Comput. 41(4), 829–879 (2012)CrossRefMATHMathSciNet Cieliebak, M., Flocchini, P., Prencipe, G., Santoro, N.: Distributed computing by mobile robots: gathering. SIAM J. Comput. 41(4), 829–879 (2012)CrossRefMATHMathSciNet
9.
Zurück zum Zitat Cohen, R., Peleg, D.: Local spreading algorithms for autonomous robot systems. Theor. Comput. Sci. 399(1–2), 71–82 (2008)CrossRefMATHMathSciNet Cohen, R., Peleg, D.: Local spreading algorithms for autonomous robot systems. Theor. Comput. Sci. 399(1–2), 71–82 (2008)CrossRefMATHMathSciNet
10.
Zurück zum Zitat 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)CrossRefMATH 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)CrossRefMATH
11.
Zurück zum Zitat Dieudonné, Y., Dolev, S., Petit, F., Segal, M.: Deaf, dumb, and chatting asynchronous robots. In 13th International Conference on Principles of Distributed Systems (OPODIS), pp. 71–85 (2009) Dieudonné, Y., Dolev, S., Petit, F., Segal, M.: Deaf, dumb, and chatting asynchronous robots. In 13th International Conference on Principles of Distributed Systems (OPODIS), pp. 71–85 (2009)
12.
Zurück zum Zitat Dieudonné, Y., Labbani-Igbida, O., Petit, F.: Circle formation of weak mobile robots. ACM Trans. Auton. Adapt. Syst. 3(4), 16:1–16:20 (2008) Dieudonné, Y., Labbani-Igbida, O., Petit, F.: Circle formation of weak mobile robots. ACM Trans. Auton. Adapt. Syst. 3(4), 16:1–16:20 (2008)
13.
Zurück zum Zitat Efrima, A., Peleg, D.: Distributed models and algorithms for mobile robot systems. In: 33rd Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), pp. 70–87 (2007) Efrima, A., Peleg, D.: Distributed models and algorithms for mobile robot systems. In: 33rd Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), pp. 70–87 (2007)
14.
Zurück zum Zitat Flocchini, P., Prencipe, G., Santoro, N.: Distributed Computing by Oblivious Mobile Robots. Morgan & Claypool, San Rafael (2012) Flocchini, P., Prencipe, G., Santoro, N.: Distributed Computing by Oblivious Mobile Robots. Morgan & Claypool, San Rafael (2012)
15.
Zurück zum Zitat Flocchini, P., Prencipe, G., Santoro, N., Widmayer, P.: Gathering of asynchronous robots with limited visibility. Theor. Comput. Sci. 337(1–3), 147–168 (2005)CrossRefMATHMathSciNet Flocchini, P., Prencipe, G., Santoro, N., Widmayer, P.: Gathering of asynchronous robots with limited visibility. Theor. Comput. Sci. 337(1–3), 147–168 (2005)CrossRefMATHMathSciNet
16.
Zurück zum Zitat Flocchini, P., Prencipe, G., Santoro, N., Widmayer, P.: Arbitrary pattern formation by asynchronous, anonymous, oblivious robots. Theor. Comput. Sci. 407(1–3), 412–447 (2008)CrossRefMATHMathSciNet Flocchini, P., Prencipe, G., Santoro, N., Widmayer, P.: Arbitrary pattern formation by asynchronous, anonymous, oblivious robots. Theor. Comput. Sci. 407(1–3), 412–447 (2008)CrossRefMATHMathSciNet
17.
Zurück zum Zitat Fujinaga, N., Ono, H., Kijima, S., Yamashita, M.: Pattern formation through optimum matching by oblivious corda robots. In: 14th International Conference on Principles of Distributed Systems (OPODIS), pp. 1–15 (2010) Fujinaga, N., Ono, H., Kijima, S., Yamashita, M.: Pattern formation through optimum matching by oblivious corda robots. In: 14th International Conference on Principles of Distributed Systems (OPODIS), pp. 1–15 (2010)
18.
Zurück zum Zitat Fujinaga, N., Yamauchi, Y., Kijima, S., Yamashita, M.: Asynchronous pattern formation by anonymous oblivious mobile robots. In: Proceedings of the 26th International Symposium on Distributed Computing (DISC), pp. 312–325 (2012) Fujinaga, N., Yamauchi, Y., Kijima, S., Yamashita, M.: Asynchronous pattern formation by anonymous oblivious mobile robots. In: Proceedings of the 26th International Symposium on Distributed Computing (DISC), pp. 312–325 (2012)
19.
Zurück zum Zitat Gervasi, V., Prencipe, G.: Coordination without communication: the case of the flocking problem. Discret. Appl. Math. 144(3), 324–344 (2004) Gervasi, V., Prencipe, G.: Coordination without communication: the case of the flocking problem. Discret. Appl. Math. 144(3), 324–344 (2004)
20.
Zurück zum Zitat Gordon, N., Wagner, I. A., Bruckstein, A. M.: Discrete bee dance algorithms for pattern formation on a grid. In: IEEE/WIC International Conference on Intelligent Agent Technology (IAT), pp. 545–549 (2003) Gordon, N., Wagner, I. A., Bruckstein, A. M.: Discrete bee dance algorithms for pattern formation on a grid. In: IEEE/WIC International Conference on Intelligent Agent Technology (IAT), pp. 545–549 (2003)
21.
Zurück zum Zitat 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)CrossRef 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)CrossRef
22.
Zurück zum Zitat Izumi, T., Katayama, Y., Inuzuka, N., Wada, K.: Gathering autonomous mobile robots with dynamic compasses: an optimal result. In: 21st International Symposium on Distributed Computing (DISC), pp. 298–312 (2007) Izumi, T., Katayama, Y., Inuzuka, N., Wada, K.: Gathering autonomous mobile robots with dynamic compasses: an optimal result. In: 21st International Symposium on Distributed Computing (DISC), pp. 298–312 (2007)
23.
Zurück zum Zitat Lin, J., Morse, A.S., Anderson, B.D.O.: The multi-agent rendezvous problem. Parts 1 and 2. SIAM J. Control Optim. 46(6), 2120–2147 (2007)CrossRefMATHMathSciNet Lin, J., Morse, A.S., Anderson, B.D.O.: The multi-agent rendezvous problem. Parts 1 and 2. SIAM J. Control Optim. 46(6), 2120–2147 (2007)CrossRefMATHMathSciNet
24.
Zurück zum Zitat Souissi, S., Izumi, T., Wada, K.: Oracle-based flocking of mobile robots in crash-recovery model. Theor. Comput. Sci. 412(33), 4350–4360 (2011)CrossRefMATHMathSciNet Souissi, S., Izumi, T., Wada, K.: Oracle-based flocking of mobile robots in crash-recovery model. Theor. Comput. Sci. 412(33), 4350–4360 (2011)CrossRefMATHMathSciNet
25.
Zurück zum Zitat Sugihara, K., Suzuki, I.: Distributed algorithms for formation of geometric patterns with many mobile robots. J. Robotics Syst. 13, 127–139 (1996)CrossRefMATH Sugihara, K., Suzuki, I.: Distributed algorithms for formation of geometric patterns with many mobile robots. J. Robotics Syst. 13, 127–139 (1996)CrossRefMATH
26.
Zurück zum Zitat Suzuki, I., Yamashita, M.: Distributed anonymous mobile robots: formation of geometric patterns. SIAM J. Comput. 28(4), 1347–1363 (1999)CrossRefMATHMathSciNet Suzuki, I., Yamashita, M.: Distributed anonymous mobile robots: formation of geometric patterns. SIAM J. Comput. 28(4), 1347–1363 (1999)CrossRefMATHMathSciNet
27.
Zurück zum Zitat Yamashita, M., Suzuki, I.: Characterizing geometric patterns formable by oblivious anonymous mobile robots. Theor. Comput. Sci. 411(26–28), 2433–2453 (2010)CrossRefMATHMathSciNet Yamashita, M., Suzuki, I.: Characterizing geometric patterns formable by oblivious anonymous mobile robots. Theor. Comput. Sci. 411(26–28), 2433–2453 (2010)CrossRefMATHMathSciNet
28.
Zurück zum Zitat Yamauchi, Y., Yamashita, M.: Pattern formation by mobile robots with limited visibility. In: 20th International Colloquium on Structural Information and Communication Complexity (SIROCCO), pp. 201–212 (2013) Yamauchi, Y., Yamashita, M.: Pattern formation by mobile robots with limited visibility. In: 20th International Colloquium on Structural Information and Communication Complexity (SIROCCO), pp. 201–212 (2013)
Metadaten
Titel
Forming sequences of geometric patterns with oblivious mobile robots
verfasst von
Shantanu Das
Paola Flocchini
Nicola Santoro
Masafumi Yamashita
Publikationsdatum
01.04.2015
Verlag
Springer Berlin Heidelberg
Erschienen in
Distributed Computing / Ausgabe 2/2015
Print ISSN: 0178-2770
Elektronische ISSN: 1432-0452
DOI
https://doi.org/10.1007/s00446-014-0220-9

Weitere Artikel der Ausgabe 2/2015

Distributed Computing 2/2015 Zur Ausgabe

Premium Partner