skip to main content
10.1145/1835698.1835761acmconferencesArticle/Chapter ViewAbstractPublication PagespodcConference Proceedingsconference-collections
research-article

On the computational power of oblivious robots: forming a series of geometric patterns

Published:25 July 2010Publication History

ABSTRACT

We study the computational power of a distributed system consisting of simple autonomous robots moving on the plane. The robots are endowed with visual perception but do not have any means of explicit communication with each other, and have no memory of the past. In the extensive literature it has been shown how such simple robots can form a single geometric pattern (e.g., a line, a circle, etc), however arbitrary, in spite of their obliviousness. This brings to the front the natural research question: what are the real computational limits imposed by the robots being oblivious? In particular, since obliviousness limits what can be remembered, under what conditions can oblivious robots form a series of geometric patterns? Notice that a series of patterns would create some form of memory in an otherwise memory-less system. In this paper we examine and answer this question showing that, under particular conditions, oblivious robot systems can indeed form series of geometric patterns starting from any arbitrary configuration. More precisely, we study the series of patterns that can be formed by robot systems under various restrictions such as anonymity, asynchrony and lack of common orientation. These results are the first strong indication that oblivious solutions may be obtained also for tasks that intuitively seem to require memory.

References

  1. N. Agmon and D. Peleg. Fault-tolerant gathering algorithms for autonomous mobile robots. SIAM J. on Computing, 36(1):56--82, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. H. Ando, S. Fujita, I. Suzuki, and M. Yamashita. Formation and agreement problems for synchronous mobile robots with limited visibility. In IEEE Symposium of Intelligent Control, pages 453--460, 1995.Google ScholarGoogle ScholarCross RefCross Ref
  3. H. Ando, Y. Oasa, I. Suzuki, and M. Yamashita. A distributed memoryless point convergence algorithm for mobile robots with limited visibility. IEEE Transaction on Robotics and Automation, 15(5):818--828, 1999.Google ScholarGoogle ScholarCross RefCross Ref
  4. Y. Asahiro, S. Fujita, I. Suzuki, and M. Yamashita. A self-stabilizing marching algorithm for a group of oblivious robots. In 12th Int. Conf. on Principles of Distributed Systems (OPODIS), pages 125--144, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. F. Bullo, J. Cortés, and S. Martínez. Distributed Control of Robotic Networks. Applied Mathematics Series. Princeton University Press, 2009. Electronically available at http://coordinationbook.info. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. I. Chatzigiannakis, M. Markou, and S. E. Nikoletseas. Distributed circle formation for anonymous oblivious robots. In 3rd Workshop on Efficient and Experimental Algorithms (WEA), pages 159--174, 2004.Google ScholarGoogle ScholarCross RefCross Ref
  7. M. Cieliebak, P. Flocchini, G. Prencipe, and N. Santoro. Solving the robots gathering problem. In Automata, Languages and Programming, 30th International Colloquium, (ICALP'03), pages 1181--1196, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. R. Cohen and D. Peleg. Convergence properties of the gravitational algorithm in asynchronous robot systems. SIAM J. on Computing, 34(6):1516--1528, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. R. Cohen and D. Peleg. Local spreading algorithms for autonomous robot systems. Theoretical Computer Science, 399(1--2):71--82, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. J. Czyzowicz, L. Gasieniec, and A. Pelc. Gathering few fat mobile robots in the plane. Theoretical Computer Science, 410(6-7):481--499, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. X. Défago, M. Gradinariu, S. Messika, and P. R. Parvédy. Fault-tolerant and self-stabilizing mobile robots gathering. In 20th Int. Symposium on Distributed Computing (DISC), pages 46--60, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. X. Défago and S. Souissi. Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity. Theoretical Computer Science, 396(1-3):97--112, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Y. Dieudonné, S. Dolev, F. Petit, and M. Segal. Deaf, dumb, and chatting asynchronous robots. In 13th Int. Conf. on Principles of Distributed Systems (OPODIS), pages 71--85, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Y. Dieudonné, O. Labbani-Igbida, and F. Petit. Circle formation of weak mobile robots. ACM Transactions on Autonomous and Adaptive Systems, 3(4), 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. A. Efrima and D. Peleg. Distributed models and algorithms for mobile robot systems. In 33rd Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), pages 70--87, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. P. Flocchini, G. Prencipe, and N. Santoro. Self-deployment of mobile sensors on a ring. Theoretical Computer Science, 402(1):67--80, 2008. Algorithmic Aspects of Wireless Sensor Networks. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. P. Flocchini, G. Prencipe, N. Santoro, and P. Widmayer. Gathering of asynchronous robots with limited visibility. Theoretical Computer Science, 337(1-3):147--168, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. P. Flocchini, G. Prencipe, N. Santoro, and P. Widmayer. Arbitrary pattern formation by asynchronous, anonymous, oblivious robots. Theoretical Computer Science, 407(1-3):412--447, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. J. Lin, A. S. Morse, and B. D. O. Anderson. The multi-agent rendezvous problem. parts 1 and 2. SIAM J. on Control and Optimization, 46(6):2120--2147, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. S. Souissi, X. Défago, and M. Yamashita. Using eventually consistent compasses to gather memory-less mobile robots with limited visibility. ACM Transactions on Autonomous and Adaptive Systems, 4(1), 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. K. Sugihara and I. Suzuki. Distributed algorithms for formation of geometric patterns with many mobile robots. Journal of Robotics Systems, 13:127--139, 1996.Google ScholarGoogle ScholarCross RefCross Ref
  22. I. Suzuki and M. Yamashita. Distributed anonymous mobile robots: Formation of geometric patterns. SIAM J. on Computing, 28(4):1347--1363, 1999. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. M. Yamashita and I. Suzuki. Characterizing geometric patterns formable by oblivious anonymous mobile robots. Theoretical Computer Science, 411(26-28):2433--2453, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. On the computational power of oblivious robots: forming a series of geometric patterns

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in
          • Published in

            cover image ACM Conferences
            PODC '10: Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
            July 2010
            494 pages
            ISBN:9781605588889
            DOI:10.1145/1835698

            Copyright © 2010 ACM

            Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 25 July 2010

            Permissions

            Request permissions about this article.

            Request Permissions

            Check for updates

            Qualifiers

            • research-article

            Acceptance Rates

            Overall Acceptance Rate740of2,477submissions,30%

            Upcoming Conference

            PODC '24

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader