Forming sequences of geometric patterns with oblivious mobile robots

被引:49
作者
Das, Shantanu [1 ,2 ]
Flocchini, Paola [3 ]
Santoro, Nicola [4 ]
Yamashita, Masafumi [5 ]
机构
[1] Aix Marseille Univ, LIF, F-13009 Marseille, France
[2] CNRS, F-13009 Marseille, France
[3] Univ Ottawa, Sch Elect Engn & Comp Sci, Ottawa, ON, Canada
[4] Carleton Univ, Sch Comp Sci, Ottawa, ON K1S 5B6, Canada
[5] Kyushu Univ, Dept Comp Sci & Commun Engn, Fukuoka 812, Japan
基金
加拿大自然科学与工程研究理事会;
关键词
Distributed coordination; Autonomous mobile robots; Pattern formation; Oblivious; Semi-synchronous; Sequence of patterns; CIRCLE FORMATION; ASYNCHRONOUS ROBOTS; LIMITED VISIBILITY; ALGORITHMS; CONVERGENCE; SYSTEMS;
D O I
10.1007/s00446-014-0220-9
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
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.
引用
收藏
页码:131 / 145
页数:15
相关论文
共 28 条
[1]   Fault-tolerant gathering algorithms for autonomous mobile robots [J].
Agmon, Noa ;
Peleg, David .
SIAM JOURNAL ON COMPUTING, 2006, 36 (01) :56-82
[2]   Distributed memoryless point convergence algorithm for mobile robots with limited visibility [J].
Ando, H ;
Oasa, Y ;
Suzuki, I ;
Yamashita, M .
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1999, 15 (05) :818-828
[3]  
ANDO H, 1995, PROCEEDINGS OF THE 1995 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL, P453, DOI 10.1109/ISIC.1995.525098
[4]  
Asahiro Y, 2008, LECT NOTES COMPUT SC, V5401, P125, DOI 10.1007/978-3-540-92221-6_10
[5]  
Bouzid Z., 2011, 11055817 ARXIV
[6]  
Bullo F., 2009, DISTRIB CONTROL ROBO
[7]  
Chatzigiannakis I, 2004, LECT NOTES COMPUT SC, V3059, P159
[8]   DISTRIBUTED COMPUTING BY MOBILE ROBOTS: GATHERING [J].
Cieliebak, Mark ;
Flocchini, Paola ;
Prencipe, Giuseppe ;
Santoro, Nicola .
SIAM JOURNAL ON COMPUTING, 2012, 41 (04) :829-879
[9]   Local spreading algorithms for autonomous robot systems [J].
Cohen, Reuven ;
Peleg, David .
THEORETICAL COMPUTER SCIENCE, 2008, 399 (1-2) :71-82
[10]   Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity [J].
Defago, Xavier ;
Souissi, Samia .
THEORETICAL COMPUTER SCIENCE, 2008, 396 (1-3) :97-112