Byzantine-Resilient Convergence in Oblivious Robot Networks

Zohir Bouzid 1 Maria Gradinariu Potop-Butucaru 2 Sébastien Tixeuil 1
1 NPA - Networks and Performance Analysis
LIP6 - Laboratoire d'Informatique de Paris 6
2 Regal - Large-Scale Distributed Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Abstract : Given a set of robots with arbitrary initial location and no agreement on a global coordinate system, convergence requires that all robots asymptotically approach the exact same, but unknown beforehand, location. Robots are oblivious— they do not recall the past computations — and are allowed to move in a one-dimensional space. Additionally, robots cannot communicate directly, instead they obtain system related information only via visual sensors. We prove ([4]) necessary and sufficient conditions for the convergence of mobile robots despite a subset of them being Byzantine (i.e. they can exhibit arbitrary behavior). Additionally, we propose a deterministic convergence algorithm for robot networks and analyze its correctness and complexity in various synchrony settings. The proposed algorithm tolerates f Byzantine robots for (2f + 1)-sized robot networks in fully synchronous networks, (3f + 1)-sized in semi-synchronous networks and (4f + 1)-sized in asynchronous networks. The bounds obtained for the ATOM model are optimal for the class of cautious algorithms, which guarantee that correct robots always move inside the range of positions of the correct robots.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01298808
Contributor : Lip6 Publications <>
Submitted on : Wednesday, April 6, 2016 - 4:22:12 PM
Last modification on : Wednesday, June 12, 2019 - 10:20:07 AM

Links full text

Identifiers

Citation

Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. Byzantine-Resilient Convergence in Oblivious Robot Networks. ICDCN, Jan 2009, Hyderabad, India. pp.275-280, ⟨10.1007/978-3-540-92295-7_33⟩. ⟨hal-01298808⟩

Share

Metrics

Record views

138