[논문 리뷰] Robots with Lights: Overcoming Obstructed Visibility Without Colliding

Giuseppe Antonio Di Luna, Paola Flocchini외 3명|arXiv (Cornell University)|2014. 05. 10.

Optimization and Search Problems참고 문헌 15인용 수 25

한 줄 요약

이 논문은 가시 조명을 갖춘 무관심 이동 로봇을 위한 충돌 방지 비동기 프로토콜을 제안하며, 가시성이 차단되는 환경(로봇 간에 서로의 시야를 차단하는 환경)에서도 오직 여덟 가지 색상만을 사용하여 완전한 시야를 달성한다. 이 해결책은 기하학적 추론과 색상 기반 조율을 활용하여 로봇을 가장 작은 외접원으로 유도함으로써, 충돌 없이 모든 로봇이 서로를 볼 수 있도록 보장한다.

ABSTRACT

Robots with lights is a model of autonomous mobile computational entities operating in the plane in Look-Compute-Move cycles: each agent has an externally visible light which can assume colors from a fixed set; the lights are persistent (i.e., the color is not erased at the end of a cycle), but otherwise the agents are oblivious. The investigation of computability in this model, initially suggested by Peleg, is under way, and several results have been recently established. In these investigations, however, an agent is assumed to be capable to see through another agent. In this paper we start the study of computing when visibility is obstructable, and investigate the most basic problem for this setting, Complete Visibility: The agents must reach within finite time a configuration where they can all see each other and terminate. We do not make any assumption on a-priori knowledge of the number of agents, on rigidity of movements nor on chirality. The local coordinate system of an agent may change at each activation. Also, by definition of lights, an agent can communicate and remember only a constant number of bits in each cycle. In spite of these weak conditions, we prove that Complete Visibility is always solvable, even in the asynchronous setting, without collisions and using a small constant number of colors. The proof is constructive. We also show how to extend our protocol for Complete Visibility so that, with the same number of colors, the agents solve the (non-uniform) Circle Formation problem with obstructed visibility.

연구 동기 및 목표

• 로봇 간의 시야가 상호 차단되는 이동 로봇 시스템에서 완전한 시야를 달성하는 기본적인 과제를 해결하기 위해.
• 최소한의 가정 하에 작동하는 분산 알고리즘을 설계하기 위해: 총 로봇 수에 대한 지식이 없고, 강성 또는 치랄성도 없으며, 가시 조명 외에는 명시적 통신이 없음.
• 프로토콜이 충돌 없이 완전히 비동기 환경에서 작동하도록 보장하기 위해(시간 및 활성화 순서가 적대적임).
• 동일한 조건 하에서 원형 형성 문제를 해결하기 위해 동일한 수의 색상으로 확장하기 위해.

제안 방법

• 로봇들은 지속적인 가시 조명을 사용하여 상태를 저장하고 통신하는 데 고정된 여덟 가지 색상을 사용하는 Look-Compute-Move 순환을 수행한다.
• 선형 구성에서 두 극단 로봇은 특수 색상 'line-extreme'를 사용하여 그 사이의 거리가 가장 작은 외접원(Small Enclosing Circle, SEC)의 지름이 되도록 정의한다.
• 비극단 로봇은 기하학적 정렬 또는 특수 색상을 통해 선형을 감지하고, 가시성을 차단하지 않도록 SEC에 수직으로 이동한다.
• SEC 상의 로봇은 오직 빨간색 또는 line-extreme 로봇만을 보게 되면 색상 'red'로 전환하여 시야 단계의 완료를 알린다.
• 원형 형성 문제를 위해, 로봇들은 볼록껍데기 상의 이웃 로봇을 연결하는 선을 따라 SEC로 향해 이동하며, 시야와 볼록껍데기의 구조를 유지한다.
• 알고리즘은 비동기 환경에서 항상 최소한 한 명의 로봇이 이동할 수 있도록 보장하여 유한 수렴을 확보한다.

실험 결과

연구 질문

• RQ1 가시성이 차단되는 상황에서 명시적 통신 없이 일정한 수의 색상만을 사용하여 완전한 시야를 달성할 수 있는가?
• RQ2 무관심이며 익명인 로봇이 직접 통신을 하지 못하는 비동기 환경에서 완전한 시야 문제를 해결할 수 있는가?
• RQ3 동일한 프로토콜을 동일한 제약 조건 하에서 원형 형성 문제로 확장할 수 있는가?
• RQ4 가시성이 차단되고 전역 좌표계가 존재하지 않는 상황에서, 로봇들이 공통의 기하학적 구조(예: SEC)로 향해 이동하는 데 어떻게 조율할 수 있는가?
• RQ5 총 로봇 수에 대한 지식이 없음에도 불구하고 충돌 방지와 유한 수렴을 보장하는 메커니즘은 무엇인가?

주요 결과

• 완전히 비동기 환경에서 가시성이 차단되더라도 총 로봇 수를 사전에 알지 못하는 상황에서도 오직 여덟 가지 색상만을 사용하여 완전한 시야 문제를 해결할 수 있다.
• 프로토콜은 이동 중에 충돌이 발생하지 않도록 보장하여 실행 전반에 걸쳐 안전성을 유지한다.
• 모든 로봇이 상호로 서로를 볼 수 있는 구성으로 이동하며, 모든 로봇이 가장 작은 외접원(Small Enclosing Circle, SEC)의 경계상에 위치하고, 완료 시 모두 색상 'red'로 전환된다.
• 알고리즘은 구성적이고, 로봇이 임의의 순서로 활성화되며 예측 불가능한 시간에 동작하더라도 유한 수렴을 보장한다.
• 동일한 여덟 가지 색상 프로토콜을 사용하여 비균일 원형 형성 문제를 해결할 수 있으며, 로봇들은 충돌 없이 SEC 상에 배열된다.
• 해결책은 최소한의 가정 하에서 작동한다: 로봇들은 무관심이며, 공통의 좌표계가 없으며, 총 로봇 수를 알지 못한다.