Asynchronous Pattern Formation without Chirality - Archive ouverte HAL
Rapport (Rapport De Recherche) Année : 2015

Asynchronous Pattern Formation without Chirality

Résumé

We propose a new probabilistic pattern formation algorithm for oblivious mobile robots that operate in the ASYNC model. Unlike previous work, our algorithm makes no assumptions about the local coordinate systems of robots (the robots do not share a common " North " nor a common " Right "), yet it preserves the ability to form any general pattern (and not just patterns that satisfy symmetricity predicates). Our proposal also gets rid of the previous assumption (in the same model) that robots do not pause while moving (so, our robots really are fully asynchronous), and the amount of randomness is kept low – a single random bit per robot per Look-Compute-Move cycle is used. Our protocol consists in the combination of two phases, a probabilistic leader election phase, and a deterministic pattern formation one. As the deterministic phase does not use chirality, it may be of independent interest in the determin-istic context. A straightforward extension of our algorithm permits to form patterns with multiplicity points (provided robots are endowed with multiplicity detection), a new feature in the context of pattern formation that we believe is an important feature of our approach.
Fichier principal
Vignette du fichier
async_pattern_formation.pdf (255.16 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01184532 , version 1 (15-08-2015)
hal-01184532 , version 2 (11-03-2016)
hal-01184532 , version 3 (18-09-2017)
hal-01184532 , version 4 (20-09-2017)

Identifiants

Citer

Quentin Bramas, Sébastien Tixeuil. Asynchronous Pattern Formation without Chirality. [Research Report] Université Pierre et Marie Curie. 2015. ⟨hal-01184532v1⟩
301 Consultations
128 Téléchargements

Altmetric

Partager

More