Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper)

Abstract : We propose a new probabilistic pattern formation algorithm for oblivious mobile robots that operates 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 from any initial configuration that contains at least 5 robots 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 deterministic context. A noteworthy feature of our algorithm is the ability to form patterns with multiplicity points (except the gathering case due to impossibility results), a new feature in the context of pattern formation that we believe is an important asset of our approach.
Type de document :
Communication dans un congrès
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. Springer, International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), 10083, pp.88-93, 2016, Lecture Notes in Computer Science. 〈10.1007/978-3-319-49259-9_7〉
Liste complète des métadonnées

https://hal.sorbonne-universite.fr/hal-01491832
Contributeur : Sébastien Tixeuil <>
Soumis le : vendredi 17 mars 2017 - 14:21:39
Dernière modification le : mardi 24 avril 2018 - 13:30:28

Identifiants

Collections

Citation

Quentin Bramas, Sébastien Tixeuil. Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper). International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. Springer, International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), 10083, pp.88-93, 2016, Lecture Notes in Computer Science. 〈10.1007/978-3-319-49259-9_7〉. 〈hal-01491832〉

Partager

Métriques

Consultations de la notice

268