[논문 리뷰] The BG-simulation for Byzantine Mobile Robots

Taisuke Izumi, Zohir Bouzid외 2명|arXiv (Cornell University)|2011. 06. 01.

Optimization and Search Problems참고 문헌 19인용 수 4

한 줄 요약

이 논문은 강력한 가정 조건 하에서도 바르자인 모임이 불가능하다는 것을 증명한다: 하나의 바르자인 로봇, 원자적 실행, n-유계 중심 스케줄러, 무명이 아닌 로봇, 즉각적인 이동, 공통 좌표계 방향성. 핵심 기여는 이질적 공감 문제에서 BG-시뮬레이션 기반의 감소를 통해 비동기 공감 문제로의 일반화된 이중값 패턴 형성 문제에 대한 불가능성 결과를 확장한 것이다.

ABSTRACT

This paper investigates the task solvability of mobile robot systems subject to Byzantine faults. We first consider the gathering problem, which requires all robots to meet in finite time at a non-predefined location. It is known that the solvability of Byzantine gathering strongly depends on a number of system attributes, such as synchrony, the number of Byzantine robots, scheduling strategy, obliviousness, orientation of local coordinate systems and so on. However, the complete characterization of the attributes making Byzantine gathering solvable still remains open. In this paper, we show strong impossibility results of Byzantine gathering. Namely, we prove that Byzantine gathering is impossible even if we assume one Byzantine fault, an atomic execution system, the n-bounded centralized scheduler, non-oblivious robots, instantaneous movements and a common orientation of local coordinate systems (where n denote the number of correct robots). Those hypotheses are much weaker than used in previous work, inducing a much stronger impossibility result. At the core of our impossibility result is a reduction from the distributed consensus problem in asynchronous shared-memory systems. In more details, we newly construct a generic reduction scheme based on the distributed BG-simulation. Interestingly, because of its versatility, we can easily extend our impossibility result for general pattern formation problems.

연구 동기 및 목표

• 모바일 로봇 시스템에서 바르자인 모임의 가능성과 불가능성 결과 간 격차를 메우기 위해.
• 이전에 고려된 것보다 더 강력한 가정 조건 하에서도 바르자인 모임이 여전히 해결 가능한지 조사하기 위해.
• 모임 문제를 초월하여 더 넓은 범주로의 형성 문제로 불가능성 결과를 확장하기 위해.
• 장애 내성 로봇 시스템에서 불가능성을 증명하기 위한 BG-시뮬레이션 기반의 일반화된 감소 프레임워크를 수립하기 위해.
• 무명이 아닌 로봇, 공통 방향성, 유계 스케줄러 조건이 존재하더라도 바르자인 모임이 여전히 해결 불가능하다는 것을 보여주기 위해.

제안 방법

• 비동기 공감 문제에서 바르자인 모임 문제로의 감소를 BG-시뮬레이션을 사용하여 구성한다.
• 각 로봇이 공유 메모리 시스템의 프로세스를 시뮬레이션하는 알고리즘을 설계하여, 로봇 구성 상태를 공감 상태로 매핑한다.
• 구성 함수 M(C)을 정의한다: 현재 로봇 구성과 형성 가족 F 내의 어떤 유효한 패턴 간의 최대 겹침을 의미한다.
• 로봇 구성과 패턴 가족에 기반하여 바르자인 로봇의 목표 위치를 선택하는 결정론적 함수 m(C)을 도입한다.
• 제안 값 0과 1을 시뮬레이션하기 위해, 이동 벡터 x로만 다를 뿐인 초기 로봇 구성 상태를 설정한다.
• 로봇 구성의 동치류를 1-이웃 관계 기반으로 정의하고, 이를 바탕으로 합리적인 구성 상태를 공감 출력으로 매핑하는 복호화 함수를 정의한다.

실험 결과

연구 질문

• RQ1 원자적 실행, 공통 좌표계, 무명이 아닌 로봇 등의 강력한 가정 조건 하에서도 바르자인 모임이 해결 가능한가?
• RQ2 바르자인 모임의 불가능성 결과를 일반적인 패턴 형성 문제로 확장할 수 있는가?
• RQ3 BG-시뮬레이션 기법을 통해 이질적 비동기 시스템에서 공감 문제로 감소시킴으로써 더 강력한 불가능성 결과를 도출할 수 있는가?
• RQ4 어떤 최소한의 시스템 가정 조건이 바르자인 모임의 불가능성에 기여하는가?
• RQ5 바르자인 모임과 동일한 조건 하에서 이중값 형성 문제도 해결 불가능하다고 증명할 수 있는가?

주요 결과

• 하나의 바르자인 로봇, 원자적 실행, n-유계 중심 스케줄러, 무명이 아닌 로봇, 즉각적인 이동, 공통 좌표계 방향성 조건 하에서도 바르자인 모임은 불가능하다.
• 이전에 알려진 것보다 훨씬 더 약한 가정 조건 하에서도 불가능성 결과가 유지되어, 더 강력한 부정적 결과가 된다.
• BG-시뮬레이션 기반 감소 기법은 공감 문제의 FLP 불가능성 결과를 로봇 모임 문제로 성공적으로 전이시켰다.
• 이 프레임워크는 선, 원, 대칭 패턴 등 다양한 이중값 형성 문제에 대해 불가능성을 증명하는 데로 확장 가능하다.
• 감소 기법은 강건하다: 로봇이 기억 기능을 갖고 있고, 공통 방향성을 갖고 있으며, 스케줄러가 유계이더라도 여전히 바르자인 모임 문제를 해결하지 못한다.
• 논문은 핵심 문제점이 대칭성 해제나 협업 부족이 아니라, 이질적 장애 조건 하에서 비동기 시스템에서의 공감 문제 자체의 본질적 불가능성에 있음을 입증한다. 이 불가능성은 로봇 모델로도 이행된다.