[논문 리뷰] Pattern Formation for Asynchronous Robots without Agreement in Chirality

Sruti Gan Chaudhuri, Swapnil Ghike외 2명|arXiv (Cornell University)|2014. 03. 11.

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

한 줄 요약

이 논문은 편향성 또는 방향성에 대한 합의가 필요 없이 유한 시간 내에 주어진 비대칭 패턴을 형성할 수 있는 결정론적 알고리즘을 제시한다. 국소적 조율과 충돌 방지 이동 전략을 사용하는 CORDA 모델을 통해 로봇들은 가장 작은 외접원 상에서 순차적 이동과 번갈아가며 구성 유지 방식을 통해 전역 조율이나 명시적 통신 없이 수렴을 보장한다.

ABSTRACT

This paper presents a deterministic algorithm for forming a given asymmetric pattern in finite time by a set of autonomous, homogeneous, oblivious mobile robots under the CORDA model. The robots are represented as points on the 2D plane. There is no explicit communication between the robots. The robots coordinate among themselves by observing the positions of the other robots on the plane. Initially all the robots are assumed to be stationary. The robots have local coordinate systems defined by Sense of Direction (SoD), orientation or chirality and scale. Initially the robots are in asymmetric configuration. We show that these robots can form any given asymmetric pattern in finite time.

연구 동기 및 목표

• 편향성 또는 방향성에 대한 합의가 필요 없이 이방향, 익명, 무명 이동 로봇을 위한 임의의 패턴 형성 문제를 해결하는 것.
• 이전 연구에서 요구된 전제 조건들을 제거하는 것, 예를 들어, 비동일 조건 및 가장 작은 외접원(Small Enclosing Circle, SEC)에 대한 로봇 분포에 대한 제약 조건.
• 국소적 관측과 전략적 로봇 선택을 통해 조율을 유지하면서 충돌 방지 이동을 보장하는 것.
• 명시적 통신 없이 국소 좌표계만을 사용하여 어떤 비대칭 패턴으로도 유한 시간 내에 수렴하는 것.
• 형성 과정 全 과정에서 원점, 축, 척도를 유지하여 구성 안정성을 확보하는 것.

제안 방법

• 로봇들이 Wait-Look-Compute-Move 사이클을 통해 비동기적으로 작동하는 CORDA 모델을 사용하며, 이동이 즉각적이지 않아 중간 관측이 가능하다.
• 로봇이 목표 지점으로 향하는 데 도움을 주기 위해 MoveToDestination() 절차를 사용하며, 이는 중간 경로점을 통해 목표 로봇보다 더 가까이 오지 않도록 보장한다.
• 가장 작은 외접원(Small Enclosing Circle, SEC) 상의 로봇을 관리하기 위해 MoveOnBoundary()를 도입하며, 이는 세 가지 서브루틴인 MoveOnCircle, MoveEnsuringAlternate, 및 GenerateAlternate를 포함한다.
• 교착 상태를 방지하고 진행 가능성을 보장하기 위해 '교대로 구성'을 유지하며, 이는 SEC 상의 적어도 하나의 비어 있는 패턴 지점에 접근 가능한 상태를 보장한다.
• 로봇 선택에서 발생하는 동일 조건은 사전 순서를 사용하여 결정론적이고 무한 루프를 방지한다.
• SEC와 그 상의 로봇 위치가 이동 중에도 안정적으로 유지되도록 하여 원점(O), 좌표축, 척도를 전반적으로 유지한다.

실험 결과

연구 질문

• RQ1 편향성 또는 방향성에 대한 합의 없이도 이방향, 무명 로봇이 비대칭 패턴을 형성할 수 있는가?
• RQ2 전역 조율 없이도 로봇들이 최종 패턴 위치로 이동할 때 충돌을 피할 수 있는가?
• RQ3 로봇들이 비동기적으로 작동하고 명시적 통신이 불가능한 상황에서 어떻게 무한 시간 내에 수렴 보장이 가능한가?
• RQ4 로봇 이동 중에도 원점, 척도, 축 등의 구성 안정성이 유지되는가?
• RQ5 대칭 또는 근접 대칭 구성에서 여러 로봇이 동시에 이동을 시도할 경우 교착 상태나 무한 루프를 방지하는 전략은 무엇인가?

주요 결과

• 제안된 알고리즘은 편향성 또는 방향성에 대한 합의 없이도 주어진 비대칭 패턴으로 유한 시간 내에 수렴을 보장한다.
• 이전 연구에서 요구된 전제 조건인 비동일 조건 및 SEC 상의 로봇 수 제약 조건을 제거하여 이전 접근 방식보다 더 일반적인 적용이 가능하다.
• MoveOnBoundary() 절차를 통해 SEC 상에서의 전략적 로봇 선택과 이동을 통해 충돌 방지 경로를 보장하며, 교대로 구성 유지 전략을 통해 진행 가능성을 확보한다.
• 원점, 좌표축, 척도가 실행 전반에 걸쳐 유지되어 로봇 간 국소 좌표계의 일관성이 보장된다.
• SEC 상의 로봇들은 MoveOnCircle, MoveEnsuringAlternate, 및 GenerateAlternate 절차를 통해 최종 패턴 위치로의 진행을 유지한다.
• 알고리즘은 결정론적이며 CORDA 모델에서 작동하며, 이동이 즉각적이지 않고 로봇들이 중간 이동 상태에서도 관측 가능하므로 비동기성에 대한 강건성을 확보한다.