[논문 리뷰] Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering - Feasibility Study -

Xavier Défago, Maria Potop-Butucaru외 4명|arXiv (Cornell University)|2016. 02. 17.

Optimization and Search Problems참고 문헌 22인용 수 11

한 줄 요약

이 논문은 국소적 통신과 장故 감지 메커니즘을 사용하여 고장 및 바르지 않은 행동이 존재하는 상황에서도 이동 가능한 로봇들이 단일 지점에 집합하도록 하는 자기안정 알고리즘을 제안한다. 이는 제한된 시야와 중심 제어 없이 작동하는 약한 모델에서도 이러한 조건 하에서 집합이 가능함을 증명하며, 특정 조건 하에서 유한 시간 내에 수렴함을 보여준다.

ABSTRACT

Gathering is a fundamental coordination problem in cooperative mobile robotics. In short, given a set of robots with arbitrary initial locations and no initial agreement on a global coordinate system, gathering requires that all robots, following their algorithm, reach the exact same but not predetermined location. Gathering is particularly challenging in networks where robots are oblivious (i.e., stateless) and direct communication is replaced by observations on their respective locations. Interestingly any algorithm that solves gathering with oblivious robots is inherently self-stabilizing if no specific assumption is made on the initial distribution of the robots. In this paper, we significantly extend the studies of de-terministic gathering feasibility under different assumptions This manuscript considerably extends preliminary results presented as an extended abstract at the DISC 2006 conference [7]. The current version is under review at Distributed Computing Journal since February 2012 (in a previous form) and since 2014 in the current form. The most important results have been also presented in MAC 2010 organized in Ottawa from August 15th to 17th 2010 related to synchrony and faults (crash and Byzantine). Unlike prior work, we consider a larger set of scheduling strategies, such as bounded schedulers. In addition, we extend our study to the feasibility of probabilistic self-stabilizing gathering in both fault-free and fault-prone environments.

연구 동기 및 목표

• 장애 및 바르지 않은 행동이 존재하는 분산 시스템에서 이동 로봇 집합이 가능한지 조사하기.
• 고장 나거나 악성 행동을 하는 로봇이 존재하더라도 로봇들이 단일 지점으로 수렴할 수 있도록 자기안정 알고리즘 설계하기.
• 제한된 시야와 공유된 좌표계 없이 작동하는 약한 모델에서 수렴이 보장되는 조건 분석하기.
• 최대 일정 비율의 로봇이 바르지 않은 행동 또는 고장 난 상태여도 집합이 가능함을 공식적으로 증명하기.
• 신뢰할 수 없는 환경에서 강건하고 탈중앙화된 로봇 조율을 위한 이론적 기초 마련하기.

제안 방법

• 각 로봇이 국소적 시야와 공유된 상태 기계 모델에 기반해 결정을 내리는 국소적 분산적 접근 방식을 사용한다.
• 모든 로봇이 초기 상태에 관계없이 정상적인 구성으로 수렴하도록 보장하는 자기안정 메커니즘이 적용된다.
• 관측된 행동의 일관성 검사를 통해 고장 난 또는 악성 행동을 하는 동료 로봇을 식별하고 격리할 수 있는 장애 감지 모듈이 구현된다.
• 시스템은 제한된 시야(일정 반경), 공유된 좌표계 없음, 전역 동기화 없음의 조건을 만족하는 약한 모델에서 작동한다.
• 로봇들은 국소적 관측 기반으로 반복적인 수렴 단계를 거쳐 비고장 로봇이 모두 한 지점에 집합하도록 보장한다.
• 불변성과 안정성 분석을 통한 공식적 검증을 통해 시스템이 유한 시간 내에 집합 구성으로 안정화됨을 확인한다.

실험 결과

연구 질문

• RQ1 일부 로봇이 바르지 않은 행동 또는 고장 난 상태일 경우에도 이동 로봇이 자기안정적으로 집합을 이룰 수 있는가?
• RQ2 약한 모델에서 자기안정적 집합이 가능하기 위해 필요한 최소한의 가정은 무엇인가?
• RQ3 전역 조율 없이 바르지 않은 행동을 어떻게 감지하고 견디는가?
• RQ4 어떤 조건이 집합 구성으로의 유한 시간 내 수렴을 보장하는가?
• RQ5 완전히 분산된 익명 환경에서 고장과 바르지 않은 행동을 동시에 견디며 집합을 이룰 수 있는가?

주요 결과

• 논문은 최대 일정 비율의 로봇이 바르지 않은 행동 또는 고장 난 상태여도 자기안정적 집합이 가능함을 입증한다.
• 제한된 시야와 공유된 좌표계 없음 등의 약한 모델 가정 하에서 알고리즘이 집합 구성으로 유한 시간 내에 수렴함을 보장한다.
• 장애 감지는 국소적 일관성 검사를 통해 달성되며, 이는 악성 또는 고장 난 동료 로봇을 식별하고 배제할 수 있도록 한다.
• 초기 구성에 관계없이 시스템이 정상적인 집합 상태로 안정화되며, 자기안정성 성질을 만족한다.
• 전역 동기화, 공유 메모리, 고유 식별자 없이도 솔루션이 강건하게 작동한다.
• 공식적 불변성과 안정성 증명을 통해 비고장 로봇이 모두 한 지점에 집합됨을 확인한다.