[논문 리뷰] Plane Formation by Synchronous Mobile Robots in the Three Dimensional Euclidean Space

Yukiko Yamauchi, Taichi Uehara외 2명|arXiv (Cornell University)|2015. 05. 18.

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

한 줄 요약

이 논문은 3차원 유클리드 공간에서 완전히 동기적이고 익명이며 무 기억성인 이동 로봇이 평면 형성 문제를 해결할 수 있는 필수 및 필요 조건을 제시한다—즉, 다중성 없이 동일한 평면에 집합하는 것이다. 이 해결책은 로봇 구성의 회전군을 통한 대칭성 붕괴를 활용하며, 놀라운 결과를 드러낸다: 정다면체(이코사체를 제외한 모든 정다면체)에서는 평면을 형성할 수 있지만, 대부분의 반정칙 다면체에서는 형성할 수 없다. 이는 그들의 대칭성 수준이 낮기 때문이 아니라 오히려 더 높은 대칭성을 지닌 정다면체보다도 더 낮은 대칭성에 기인한다.

ABSTRACT

Creating a swarm of mobile computing entities frequently called robots, agents or sensor nodes, with self-organization ability is a contemporary challenge in distributed computing. Motivated by this, we investigate the plane formation problem that requires a swarm of robots moving in the three dimensional Euclidean space to land on a common plane. The robots are fully synchronous and endowed with visual perception. But they do not have identifiers, nor access to the global coordinate system, nor any means of explicit communication with each other. Though there are plenty of results on the agreement problem for robots in the two dimensional plane, for example, the point formation problem, the pattern formation problem, and so on, this is the first result for robots in the three dimensional space. This paper presents a necessary and sufficient condition for fully-synchronous robots to solve the plane formation problem that does not depend on obliviousness i.e., the availability of local memory at robots. An implication of the result is somewhat counter-intuitive: The robots cannot form a plane from most of the semi-regular polyhedra, while they can form a plane from every regular polyhedron (except a regular icosahedron), whose symmetry is usually considered to be higher than any semi-regular polyhedrdon.

연구 동기 및 목표

• 3차원 공간에서 완전히 동기적이고 익명이며 무 기억성인 로봇이 평면 형성에 도달하기 위한 필수 및 필요 조건을 규명하는 것.
• 특히, 평면 형성 가능성을 결정짓는 대칭성—구체적으로는 회전군의 구조—의 역할을 분석하는 것.
• 로봇이 자율적으로 동일한 평면으로 조직화될 수 있도록 2차원 로봇 알고리즘의 3차원 확장을 위한 기반을 마련하는 것.
• 3차원 로봇 군집에서 분산 조율에 영향을 미치는 비대칭성과 시야의 영향을 조사하는 것.
• 2차원 알고리즘과의 구성이 가능하도록 2차원 알고리즘 공간과 분리된 구성 공간을 제공하는 것.

제안 방법

• 저자들은 3차원 공간에서 로봇 구성 P의 회전군 γ(P)를 정의하며, 이는 구성의 회전 대칭성을 유지하는 모든 회전을 포함한다.
• γ(P)에 기반해 구성은 C1, C2, 또는 D2로 분류되며, 이는 순환 및 이면체 회전군에 해당한다.
• 지역 관측을 기반으로 회전군의 구조를 활용해 공통 평면으로 향하는 이동을 계산하는 결정론적 평면 형성 알고리즘을 설계한다.
• 알고리즘은 최종 구성 이외에는 로봇이 공통 평면에 있지 않음을 보장하여 2차원 알고리즘 공간과의 분리성을 유지한다.
• γ(P)에 대한 케이스 분석을 통한 정당성 증명을 수행하며, 대칭성이 붕괴되어 평면을 형성할 수 있는 경우는 γ(P)가 자명한 경우(C1) 또는 특정한 구조를 가진 경우(C2, D2)에 한해 성립함을 보여준다.
• 지역 메모리(무 기억성 로봇)에 의존하지 않으며, 전역 좌표계나 통신을 가정하지 않는다.

실험 결과

연구 질문

• RQ1 3차원 공간에서 완전히 동기적이고 익명이며 무 기억성인 로봇이 공통 평면을 형성할 수 있는 필수 및 필요 조건은 무엇인가?
• RQ2 다양한 반정칙 다면체는 높은 대칭성을 지니고 있음에도 불구하고 로봇이 왜 평면을 형성하지 못하는가?
• RQ3 로봇 구성의 회전군 구조가 평면 형성 문제의 해법 가능성에 어떻게 영향을 미치는가?
• RQ4 비대칭성(오른손 좌표계 기반 지역 좌표계)은 3차원 로봇 구성에서 대칭성 붕괴에 어떤 영향을 미치는가?
• RQ5 기존의 2차원 로봇 알고리즘과 3차원 평면 형성 알고리즘을 구성할 때 구성 공간의 충돌 없이 안전하게 조합할 수 있는가?

주요 결과

• 평면 형성 문제의 해법 가능성은 초기 구성의 회전군 γ(P)가 자명한 경우(C1) 또는 특정한 구조를 가진 경우(C2 또는 D2)에 한해 성립하며, 이는 구성의 대칭성에 따라 달라진다.
• 정다면체 중 이코사체를 제외한 모든 정다면체에서 로봇은 평면을 형성할 수 있으나, 이코사체는 대칭성 붕괴를 방해하는 회전군을 지녀서는 안 된다.
• 대부분의 반정칙 다면체에서는 비록 일부 정다면체보다도 더 높은 회전 대칭성을 지니고 있음에도 불구하고 평면 형성에 실패한다.
• 제안된 알고리즘은 실행 중에 로봇이 공통 평면에 있을 수 없으며, 최종 구성 이외에는 항상 평면에 있지 않음을 보장하여 2차원 알고리즘과의 안전한 조합을 가능하게 한다.
• 알고리즘은 무 기억성 로봇을 대상으로 하며, 지역 메모리나 지속 상태를 요구하지 않아도 정확하게 작동한다.
• 결과적으로 놀라운 현상이 드러나는데, 높은 대칭성이 항상 해법 가능성으로 이어지는 것은 아니며, 오히려 반정칙 다면체는 비자명한 회전군으로 인해 대칭성 붕괴를 방해함으로써 해법이 불가능한 경우가 많다.