Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Reports

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, \ie edges may appear and disappear unpredictably without any recurrence, periodicity, nor stability assumption. The only assumption we made (known as temporal connectivity assumption) 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. In this harsh environment, our contribution is to fully characterize, for each size of the ring, the necessary and sufficient number of robots to solve deterministically the problem.
Complete list of metadata

https://hal.inria.fr/hal-01368920
Contributor : Marjorie BOURNAT Connect in order to contact the contributor
Submitted on : Tuesday, July 25, 2017 - 4:00:20 PM
Last modification on : Wednesday, June 8, 2022 - 12:50:04 PM

Files

main_TR.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01368920, version 3
  • ARXIV : 1609.06161

Citation

Marjorie Bournat, Ajoy K. Datta, Swan Dubois. Self-Stabilizing Robots in Highly Dynamic Environments . [Research Report] LIP6 UMR 7606, INRIA, UPMC Sorbonne Universités, France; University of Nevada, Las Vegas, United States. 2016. ⟨hal-01368920v3⟩

Share

Metrics

Record views

220

Files downloads

141