Stationary and Deterministic Leader Election in Self-organizing Particle Systems

Rida A. Bazzi, Joseph L. Briones

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We propose the first stationary and deterministic protocol for the leader election problem for non-simply connected particle systems in the geometric Amoebot model in which particles have no unique identifiers but have common chirality. The solution does not require particle movement to break symmetry (stationary) and does not allow particles to make probabilistic choices (deterministic). We show that leader election is possible if and only if the proposed protocol succeeds in electing a unique leader. We show that if the protocol fails to elect a leader, it will always succeed in finding a finite set of (Formula presented) leader candidates and the system must have k-symmetry that prevents the selection of less than k candidates. The protocols runs in (Formula presented) steps, where n is the number of particles in the system. Other solutions to the leader election problem in the Amoebot model are either probabilistic, assume that the system is simply connected, and/or require stronger primitives to break symmetry.

Original languageEnglish (US)
Title of host publicationStabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2019,Proceedings
EditorsMohsen Ghaffari, Mikhail Nesterenko, Sébastien Tixeuil, Sara Tucci, Yukiko Yamauchi
PublisherSpringer
Pages22-37
Number of pages16
ISBN (Print)9783030349912
DOIs
StatePublished - Jan 1 2019
Externally publishedYes
Event21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019 - Pisa, Italy
Duration: Oct 22 2019Oct 25 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11914 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019
CountryItaly
CityPisa
Period10/22/1910/25/19

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Stationary and Deterministic Leader Election in Self-organizing Particle Systems'. Together they form a unique fingerprint.

  • Cite this

    Bazzi, R. A., & Briones, J. L. (2019). Stationary and Deterministic Leader Election in Self-organizing Particle Systems. In M. Ghaffari, M. Nesterenko, S. Tixeuil, S. Tucci, & Y. Yamauchi (Eds.), Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2019,Proceedings (pp. 22-37). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11914 LNCS). Springer. https://doi.org/10.1007/978-3-030-34992-9_3