Self-Stabilizing Robots in Highly Dynamic Environments

Abstract : This paper deals with the classical problem of exploring a ring by a cohort of synchronous robots. We focus on the perpetual version of this problem in which it is required that each node of the ring is visited by a robot infinitely often. The challenge in this paper is twofold. First, we assume that the robots evolve in a highly dynamic ring, i.e., edges may appear and disappear unpredictably without any recurrence nor periodicity assumption. The only assumption we made is that each node is infinitely often reachable from any other node. Second, we aim at providing a self-stabilizing algorithm to the robots, i.e., the algorithm must guarantee an eventual correct behavior regardless of the initial state and positions of the robots. Our main contribution is to show that this problem is deterministically solvable in this harsh environment by providing a self-stabilizing algorithm for three robots.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01416308
Contributor : Marjorie Bournat <>
Submitted on : Thursday, December 15, 2016 - 6:29:17 PM
Last modification on : Monday, August 12, 2019 - 12:16:02 PM
Long-term archiving on : Tuesday, March 21, 2017 - 2:31:09 PM

File

SSS16.pdf
Files produced by the author(s)

Identifiers

Citation

Marjorie Bournat, Ajoy Datta, Swan Dubois. Self-Stabilizing Robots in Highly Dynamic Environments. SSS 2016 - 18th International Symposium Stabilization, Safety, and Security of Distributed Systems, Nov 2016, Lyon, France. pp.54-69, ⟨10.1007/978-3-319-49259-9_5⟩. ⟨hal-01416308⟩

Share

Metrics

Record views

286

Files downloads

145