TY - GEN
T1 - Location Functions for Self-stabilizing Byzantine Tolerant Swarms
AU - Ashkenazi, Yotam
AU - Dolev, Shlomi
AU - Kamei, Sayaka
AU - Katayama, Yoshiaki
AU - Ooshita, Fukuhito
AU - Wada, Koichi
N1 - Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
PY - 2021/1/1
Y1 - 2021/1/1
N2 - 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.
AB - 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.
KW - Byzantine faults
KW - Mobile robots
KW - Self-stabilization
UR - http://www.scopus.com/inward/record.url?scp=85119862864&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-91081-5_15
DO - 10.1007/978-3-030-91081-5_15
M3 - Conference contribution
AN - SCOPUS:85119862864
SN - 9783030910808
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 229
EP - 242
BT - Stabilization, Safety, and Security of Distributed Systems - 23rd International Symposium, SSS 2021, Proceedings
A2 - Johnen, Colette
A2 - Schiller, Elad Michael
A2 - Schmid, Stefan
PB - Springer Science and Business Media Deutschland GmbH
T2 - 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2021
Y2 - 17 November 2021 through 20 November 2021
ER -