Location Functions for Self-stabilizing Byzantine Tolerant Swarms

Yotam Ashkenazi, Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, Koichi Wada

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

This paper proposes a novel framework to realize self-stabilizing Byzantine tolerant swarms. In this framework, non-Byzantine robots execute tasks while satisfying location functions, that is, the robots use a policy for their location choice, which restricts their location to satisfy the functions. We give a general Byzantine-resilient self-stabilizing algorithm based on the location function, and then provide an efficient implementation of the self-stabilizing algorithms for special classes of tasks, called polynomial-based tasks and shape-based tasks. We also demonstrate the usefulness of the proposed framework by implementing typical tasks of robots.

Original languageAmerican English
Title of host publicationStabilization, Safety, and Security of Distributed Systems - 23rd International Symposium, SSS 2021, Proceedings
EditorsColette Johnen, Elad Michael Schiller, Stefan Schmid
PublisherSpringer Science and Business Media Deutschland GmbH
Pages229-242
Number of pages14
ISBN (Print)9783030910808
DOIs
StatePublished - 1 Jan 2021
Event23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2021 - Virtual, Online
Duration: 17 Nov 202120 Nov 2021

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13046 LNCS

Conference

Conference23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2021
CityVirtual, Online
Period17/11/2120/11/21

Keywords

  • Byzantine faults
  • Mobile robots
  • Self-stabilization

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Location Functions for Self-stabilizing Byzantine Tolerant Swarms'. Together they form a unique fingerprint.

Cite this