[논문 리뷰] Byzantine Convergence in Robots Networks: The Price of Asynchrony

Zohir Bouzid, Maria Potop-Butucaru외 1명|ArXiv.org|2009. 08. 04.

Optimization and Search Problems참고 문헌 9인용 수 16

한 줄 요약

이 논문은 완전히 비동기적이고 일차원적인 로봇 네트워크에서 f개 이하의 바르비시안 장애가 발생하더라도 공통의 알려지지 않은 위치로 수렴하는 결정론적 알고리즘을 제안한다. 알고리즘은 중앙값 기반 위치 자르기 및 극단 위치에서만 이동하는 경계 있는 수축 전략을 사용하여 $5f+1$개의 로봇으로 수렴을 보장하며, 이는 완전히 비동기적 CORDA 모델에서 필수적이고도 충분한 조건임을 증명한다.

ABSTRACT

We study the convergence problem in fully asynchronous, uni-dimensional robot networks that are prone to Byzantine (i.e. malicious) failures. In these settings, oblivious anonymous robots with arbitrary initial positions are required to eventually converge to an a apriori unknown position despite a subset of them exhibiting Byzantine behavior. Our contribution is twofold. We propose a deterministic algorithm that solves the problem in the most generic settings: fully asynchronous robots that operate in the non-atomic CORDA model. Our algorithm provides convergence in 5f+1-sized networks where f is the upper bound on the number of Byzantine robots. Additionally, we prove that 5f+1 is a lower bound whenever robot scheduling is fully asynchronous. This constrasts with previous results in partially synchronous robots networks, where 3f+1 robots are necessary and sufficient.

연구 동기 및 목표

• 완전히 비동기적이고 일차원적인 로봇 네트워크에서 바르비시안 결함이 발생하는 상황에서 수렴 문제를 해결하기 위해.
• 가장 일반적인 비동기 설정에서 결정론적 바르비시안 내성에 필요한 최소 로봇 수에 대한 이해 격차를 메우기 위해.
• 완전히 비동기적 CORDA 모델에서 수렴을 위해 $5f+1$가 필수적이고 충분하다는 것을 증명하기 위해.
• 결함이 없는 로봇의 행동이 임의일지라도 수렴을 보장하는 결정론적, 경계 있는, 수축 전략을 설계하기 위해.

제안 방법

• 알고리즘은 호출하는 로봇 중심의 범위로 시야를 제한하기 위해 $\text{trim}_{2f}^{i}(P(t))$ 함수를 사용하여 각 측면에서 최대 $2f$개의 극단적 위치를 제거한다.
• 수정된 범위의 중앙값을 계산하기 위해 $\text{center}()$ 함수를 사용하여 목표 위치를 결정한다.
• 오직 극단에 위치한 로봇들—즉, 위치가 $P_{f+1}(t)$ 이하 또는 $P_{n-f}(t)$ 이상인 로봇들—만이 이동할 수 있도록 하여 경계 있는 행동을 보장한다.
• 알고리즘이 경계 있는(항상 올바른 로봇의 범위 내에서 목표 위치를 선택함) 및 수축하는(직경이 시간이 지남에 따라 곱으로 감소함) 성질을 갖는 것으로 증명된다.
• 정리 4.1을 통해 수렴이 공식적으로 확립되며, 이는 알고리즘이 경계 있고 수축하는 성질을 갖는 한 수렴을 보장한다.
• 알고리즘의 정확성은 비동기 스케줄러를 고려한 CORDA 모델에서 증명되며, Look-Compute-Move 사이클의 비동기성도 반영된다.

실험 결과

연구 질문

• RQ1 완전히 비동기적이고 일차원적인 로봇 네트워크에서 바르비시안 결함이 발생할 경우 결정론적 수렴을 달성하기 위해 필요한 최소 로봇 수는 얼마인가?
• RQ2 바르비시안 로봇이 임의로 행동할 경우, 완전히 비동기적 CORDA 모델에서 결정론적 알고리즘이 수렴을 달성할 수 있는가?
• RQ3 $5f+1$이 이 설정에서 바르비시안 내성에 필요한 최소 로봇 수에 대한 날카로운 하한선인가?
• RQ4 비동기성은 부분적으로 동기적인 모델과 비교할 때 수렴 알고리즘의 내성과 설계에 어떤 영향을 미치는가?

주요 결과

• 논문은 완전히 비동기적이고 일차원적인 로봇 네트워크에서 최대 $f$개의 바르비시안 결함이 발생할 경우 결정론적 수렴을 위해 $5f+1$개의 로봇이 필수적임을 증명한다.
• 완전히 비동기적 CORDA 모델에서 $5f+1$개의 로봇으로 수렴을 달성하는 결정론적 알고리즘을 제안한다.
• 알고리즘은 경계 있고 수축하는 성질을 지녀, 올바른 로봇들이 항상 올바른 위치의 볼록 hull 내에서 이동하고, 올바른 로봇 위치의 직경이 시간이 지남에 따라 감소함을 보장한다.
• $5f+1$의 하한은 부분적으로 동기적인 모델에서 알려진 $3f+1$의 하한을 명백히 초월하며, 비동기성의 비용을 드러낸다.
• 알고리즘의 정확성은 비동기적 스케줄링과 실행의 무한한 지연을 고려한 CORDA 모델에서 공식적으로 증명된다.