[논문 리뷰] Gathering Problems for Autonomous Mobile Robots with Lights

Satoshi Terai, Koichi Wada외 1명|arXiv (Cornell University)|2018. 11. 29.

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

한 줄 요약

이 논문은 반동기적 환경에서 자율 이동 로봇이 조명을 사용하는 최적의 집결 알고리즘을 제시하며, 내부, 외부 또는 전체 조명 시각화를 사용하는 새로운 모델을 도입하여 집결을 달성한다. 두 개의 조명과 설정된 시야를 사용할 경우, 강성, 라운드로빈, 비회전성 환경에서 집결 문제가 해결됨을 증명하며, 최소 색상 요구 조건을 설정하고 조명 유형 간의 계산 능력 계층을 명확히 한다.

ABSTRACT

We study the Gathering problem for n autonomous mobile robots in semi-synchronous settings with persistent memory called light. It is well known that Gathering is impossible in a basic model when robots have no lights, if the system is semi-synchronous or even centralized (only one robot is active in each time). On the other hand, Rendezvous (Gathering when n = 2) is possible if robots have lights of various types with a constant number of colors. In this paper, we extend the model of robots with lights so that Gathering algorithms can be discussed properly. Then we show Gathering algorithms with three types of lights in the semi-synchronous settings and reveal relationship between the power of lights and other additional assumptions. The most algorithms shown here are optimal in the number of colors they use.

연구 동기 및 목표

• 반동기적 로봇 시스템에서 집결 문제를 해결하기 위해 필요한 최소한의 추가 가정—특히 조명 시각화 유형과 이동 모델—을 규명하는 것.
• 로봇 집결 맥락에서 내부 조명, 외부 조명, 전체 조명 모델 간의 계산 능력 계층을 명확히 하는 것.
• 강성 및 회전성과 같은 다양한 시스템 제약 조건 하에서 최소한의 색상 수를 사용하여 최적의 집결 알고리즘을 설계하는 것.
• 이전의 만남 문제 결과를 일반 집결 문제로 확장하고 반동기적 및 중앙 집중식 스케줄러에서의 해결 가능성 조건을 설정하는 것.

제안 방법

• 로봇에 조명이 있는 개선된 모델을 도입하여 내부 조명(자기 자신만 시각화), 외부 조명(다른 로봇의 시각화만), 전체 조명(자기 자신과 다른 로봇의 시각화 모두)을 구분한다.
• 두 개의 조명과 설정된 시야를 사용하는 집결 알고리즘을 설계하며, 조명 색상과 활성화 순서에 기반한 로봇 순서를 활용해 단일 지점으로 수렴한다.
• 로봇이 최소 순서 값을 가진 경우 우선순위를 부여하는 라운드 기반 시뮬레이션을 수행하여 구성 구조를 점진적으로 수축시켜 집결으로 이끈다.
• 구성 구조가 강성 이동과 라운드로빈 활성화 하에서 $BB$ 또는 $BBB$ 패턴으로 수렴함을 보여주는 보조정리를 활용하여 최종 집결을 보장한다.
• 강성(비강성 대 강성 이동)과 최소 이동 거리 $\delta$의 존재가 색상 요구 조건에 미치는 영향을 분석한다.
• 내부 조명 모델에서 두 색상과 설정된 시야가 강성, 비회전성, 라운드로빈 시스템에서 집결을 해결하는 데 충분함을 입증한다.

실험 결과

연구 질문

• RQ1 내부 조명 시각화를 가진 반동기적 시스템에서 집결을 위해 필요한 최소한의 조명 색상 수는 얼마인가?
• RQ2 다른 스케줄러 조건 하에서 시각화 모델(내부, 외부, 전체 조명)이 집결 문제의 해결 가능성에 어떤 영향을 미치는가?
• RQ3 두 개의 조명과 설정된 시야만으로도 회전성 없이 전역 좌표 일치 없이 집결을 달성할 수 있는가?
• RQ4 로봇 집결 맥락에서 외부 조명 모델과 내부 조명 모델 간의 계산 능력 관계는 어떠한가?
• RQ5 만남 문제에 대한 결과를 최소한의 가정 하에 일반 집결 문제로 확장할 수 있는가?

주요 결과

• 강성, 비회전성, 라운드로빈 스케줄러에서 내부 조명 모델에서 두 개의 조명과 설정된 시야만으로도 집결이 해결 가능하다.
• 알고리즘은 $BB$ 또는 $BBB$ 구성으로 수렴하며, 이로부터 $\min$ 또는 $\min_2$ 추가 라운드 내에 집결이 달성된다.
• 두 색상의 내부 조명 모델은 색상 사용 측면에서 최적이며, 더 강력한 가정 하에 더 높은 색상 수를 요구하는 외부 조명 솔루션보다 우수하다.
• 비강성 모델에서 $\delta$(최소 이동 거리)를 사용할 경우 색상 수가 세 개로 감소하여 강성보다 더 강력한 가정임을 시사한다.
• 논문은 전체 조명 모델에서 10개의 색상이 반동기적 시스템에서 반동기 알고리즘의 시뮬레이션을 통해 집결을 가능하게 함을 입증한다.
• 외부 조명 모델과 내부 조명 모델 간의 계산 능력 관계는 여전히 미해결 문제이며, 두 모델 간의 엄밀한 지배 관계가 입증되지 않았다.