[논문 리뷰] Wait-Free Gathering of Mobile Robots

Zohir Bouzid, Shantanu Das외 1명|arXiv (Cornell University)|2012. 07. 01.

Optimization and Search Problems참고 문헌 23인용 수 5

한 줄 요약

이 논문은 강한 다중성 탐지와 성향성을 갖춘 반동기 모델에서, 임의의 수의 로봇이 고장나도 작동하는 wait-free이고 self-stabilizing인 다수의 익명이고 무기억적인 이동 로봇을 한 지점으로 모으는 알고리즘을 제시한다. 알고리즘은 악성 스케줄링과 고장 장애에도 불구하고 항상 정상 로봇이 한 지점에 집합하도록 보장하며, 고장 내성 로봇 조정 분야의 열린 문제를 해결한다.

ABSTRACT

The problem of gathering multiple mobile robots to a single location, is one of the fundamental problems in distributed coordination between autonomous robots. The problem has been studied and solved even for robots that are anonymous, disoriented, memoryless and operate in the semi-synchronous (ATOM) model. However all known solutions require the robots to be faulty-free except for the results of [Agmon and Peleg 2006] who solve the gathering problem in presence of one crash fault. This leaves open the question of whether gathering of correct robots can be achieved in the presence of multiple crash failures. We resolve the question in this paper and show how to solve gathering, when any number of robots may crash at any time during the algorithm, assuming strong multiplicity detection and chirality. In contrast it is known that for the more stronger byzantine faults, it is impossible to gather even in a 3-robot system if one robot is faulty. Our algorithm solves the gathering of correct robots in the semi-synchronous model where an adversary may stop any robot before reaching its desired destination. Further the algorithm is self-stabilizing as it achieves gathering starting from any configuration (except the bivalent configuration where deterministic gathering is impossible).

연구 동기 및 목표

• 이동 로봇 시스템에서 다수의 고장 장애가 발생하는 상황에서도 결정론적 모임이 달성될 수 있는지 여부라는 열린 문제를 해결한다.
• 최대 n−1개의 로봇이 언제든지 고장나도 정상 로봇의 모임을 보장하는 내성 알고리즘을 설계한다.
• 알고리즘이 wait-free이자 self-stabilizing이 되도록 보장하여, 어떤 초기 구성(configuration)에서도 (이중성 구성 제외) 수렴하도록 한다.
• 강한 다중성 탐지와 성향성을 활용하여, 악성 스케줄링 하에서도 익명이고 기억이 없는 로봇 간의 협업을 가능하게 한다.
• 3-로봇 시스템에서도 Byzantine 장애 하에서는 모임이 불가능하다는 것을 증명하여, 로봇 네트워크에서의 고장 내성 한계를 규명한다.

제안 방법

• 로봇이 look, compute, move 단계를 원자적으로 반복하는 반동기 ATOM 모델을 사용한다.
• 로봇 배치를 분류하기 위해 구성 유형(L2W, B, M, QR, A 등)을 정의하고 수렴성을 분석한다.
• 강한 다중성 탐지를 통해 위치에 있는 정확한 로봇 수를 세어 공간 분포 기반의 의사결정을 가능하게 한다.
• 대칭성을 깨고 무한 반복을 방지하기 위해 극단 위치(좌우 가장자리)에 있는 로봇을 우선순위로 정한다.
• 기하학적 추론을 활용: 끝점에 있는 로봇은 좌우 가장자리 로봇을 연결하는 선분과 45도 각도로 이동하여 공선성에서 벗어나도록 한다.
• 끝점에 있는 로봇이 결코 활성화되지 않는다면, 이들은 모두 고장 났다는 것을 보장하여 정상 로봇이 중심 지점으로 수렴하도록 한다.

실험 결과

연구 질문

• RQ1 임의의 수의 고장 장애가 발생하는 상황에서도 이동 로봇의 결정론적 모임을 달성할 수 있는가?
• RQ2 익명, 무기억, 공통 좌표계 없이도, 고장 장애 하에서 wait-free이고 self-stabilizing인 모임 알고리즘을 설계할 수 있는가?
• RQ3 모임으로의 수렴을 보장하기 위해 피해야 할 또는 탈출해야 할 구성 유형은 무엇인가?
• RQ4 로봇 이동을 지연시키는 악성 스케줄링 하에서도 알고리즘이 진전을 보장할 수 있는가?
• RQ5 고장 장애 하에서 wait-free 모임을 달성하기 위해 필요한 최소한의 가정(예: 강한 다중성 탐지, 성향성)은 무엇인가?

주요 결과

• 모든 정상 로봇이 유한 시간 내에 한 지점으로 집합함을 보장한다. 이는 실행 중에 임의의 수의 로봇 고장이 발생하더라도 동일하게 적용된다.
• 알고리즘은 wait-free이다: 다른 로봇의 영향을 받지 않아도 모든 로봇의 진행이 보장된다.
• 알고리즘은 self-stabilizing이다: 이중성 구성 제외 모든 초기 구성에서 모임으로 수렴한다.
• L2W 유형(configuration)은 선형으로 배열되어 있으며 양 끝에 정확히 두 대의 로봇이 있고 중간에 두 대 이상의 로봇이 있는 경우로, 이는 일시적인 상태이며 이동 규칙에 의해 결국 탈출된다.
• 좌측 및 우측 가장자리에 있는 로봇이 결코 활성화되지 않는다면, 이들은 모두 고장 났다는 것을 의미하므로 정상 로봇은 중심 지점으로 수렴한다.
• 3-로봇 시스템에서도 Byzantine 장애 하에서는 모임이 불가능하며, 이는 고장 내성의 경계를 명확히 한다.