JAIST Repository >
School of Information Science >
Articles >
Journal Articles >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/12364

Title: The Gathering Problem for Two Oblivious Robots with Unreliable Compasses
Authors: Izumi, Taisuke
Souissi, Samia
Katayama, Yoshiaki
Inuzuka, Nobuhiro
Defago, Xavier
Wada, Koichi
Yamashita, Masafumi
Keywords: mobile robots
distributed algorithms
gathering problem
Issue Date: 2012-01-03
Publisher: Society for Industrial and Applied Mathematics (SIAM)
Magazine name: SIAM Journal on Computing
Volume: 41
Number: 1
Start page: 26
End page: 46
DOI: 10.1137/100797916
Abstract: Anonymous mobile robots are often classified into synchronous, semi-synchronous, and asynchronous robots when discussing the pattern formation problem. For semi-synchronous robots, all patterns formable with memory are also formable without memory, with the single exception of forming a point (i.e., the gathering) by two robots. (All patterns formable with memory are formable without memory for synchronous robots, and little is known for asynchronous robots.) However, the gathering problem for two semi-synchronous robots without memory (called oblivious robots in this paper) is trivially solvable when their local coordinate systems are consistent, and the impossibility proof essentially uses the inconsistencies in their coordinate systems. Motivated by this, this paper investigates the magnitude of consistency between the local coordinate systems necessary and sufficient to solve the gathering problem for two oblivious robots under semi-synchronous and asynchronous models. To discuss the magnitude of consistency, we assume that each robot is equipped with an unreliable compass, the bearings of which may deviate from an absolute reference direction, and that the local coordinate system of each robot is determined by its compass. We consider two families of unreliable compasses, namely, static compasses with (possibly incorrect) constant bearings and dynamic compasses the bearings of which can change arbitrarily (immedi ately before a new look-compute-move cycle starts and after the last cycle ends). For each of the combinations of robot and compass models, we establish the condition on deviation φ that allows an algorithm to solve the gathering problem, where the deviation is measured by the largest angle formed between the x-axis of a compass and the reference direction of the global coordinate system: φ < π/2 for semi-synchronous and asynchronous robots with static compasses, φ < π/4 for semi- synchronous robots with dynamic compasses, and φ < π/6 for asynchronous robots with dynamic compasses. Except for asynchronous robots with dynamic compasses, these sufficient conditions are also necessary.
Rights: Copyright (C) 2012 Society for Industrial and Applied Mathematics (SIAM). Taisuke Izumi, Samia Souissi, Yoshiaki Katayama, Nobuhiro Inuzuka, Xavier Defago, Koichi Wada, and Masafumi Yamashita, SIAM Journal on Computing, 41(1), 2012, 26-46. http://dx.doi.org/10.1137/100797916
URI: http://hdl.handle.net/10119/12364
Material Type: publisher
Appears in Collections:b10-1. 雑誌掲載論文 (Journal Articles)

Files in This Item:

File Description SizeFormat
17868.pdf653KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology