[논문 리뷰] Particle Computation: Designing Worlds to Control Robot Swarms with only Global Signals

Aaron T. Becker, Erik D. Demaine외 2명|arXiv (Cornell University)|2014. 02. 16.

Modular Robots and Swarm Intelligence참고 문헌 17인용 수 4

한 줄 요약

이 논문은 장애물 구성을 설계하여 복잡한 계산과 재구성 기능을 가능하게 함으로써, 전역 힘장 신호만을 사용하여 단순한 로봇 군집을 제어하는 프레임워크를 제안한다. 운동 계획 문제의 계산 복잡도가 PSPACE-완전임을 증명하고, 중력에 의해 움직이는 재구성 가능한 하드웨어 플랫폼을 사용하여 행렬 순열, 절대 인코더, 이중레일 논리 게이트 등의 실용적 적용 사례를 제시한다.

ABSTRACT

Micro- and nanorobots are often controlled by global input signals, such as an electromagnetic or gravitational field. These fields move each robot maximally until it hits a stationary obstacle or another stationary robot. This paper investigates 2D motion-planning complexity for large swarms of simple mobile robots (such as bacteria, sensors, or smart building material). In previous work we proved it is NP-hard to decide whether a given initial configuration can be transformed into a desired target configuration; in this paper we prove a stronger result: the problem of finding an optimal control sequence is PSPACE-complete. On the positive side, we show we can build useful systems by designing obstacles. We present a reconfigurable hardware platform and demonstrate how to form arbitrary permutations and build a compact absolute encoder. We then take the same platform and use dual-rail logic to build a universal logic gate that concurrently evaluates AND, NAND, NOR and OR operations. Using many of these gates and appropriate interconnects we can evaluate any logical expression.

연구 동기 및 목표

• 자기장 또는 중력장과 같은 전역 입력 신호만을 사용하여 마이크로 또는 나노로봇의 대규모 군집을 제어하는 문제에 대응하기 위해.
• 균일한 제어 입력 하에서 이러한 군집의 운동 계획 문제의 계산 복잡도를 조사하기 위해.
• 행렬 순열 및 부울 논리 계산과 같은 복잡한 작업을 가능하게 하는 인공 환경(장애물)을 설계하기 위해.
• 중력에 의해 움직이는 재구성 가능한 하드웨어 플랫폼을 사용하여 이러한 시스템의 실용적 적용 사례를 제시하기 위해.

제안 방법

• 모든 로봇이 동일한 전역 명령(예: 위, 오른쪽, 아래, 왼쪽으로 이동)을 받고, 장애물이나 다른 로봇에 막힐 때까지 이동하는 2차원 격자 모델을 사용한다.
• 로봇의 흐름을 제어하고 계산 기능을 가능하게 하기 위해, 한방향 밸브, 래치, 논리 게이트 기능을 갖춘 장애물 구성 방식을 설계한다.
• 이중레일 논리 방식을 활용하여 각 논리적 값이 두 개의 입자로 표현되며, AND, NAND, OR, NOR 연산을 동시에 평가할 수 있도록 한다.
• 네 개의 전역 명령어를 사용하여 임의의 수의 로봇을 원하는 목표 구성으로 재배열할 수 있는 행렬 순열 시스템을 구성한다.
• 입자 생성 또는 소멸이 없도록 보장하는 보존 논리 원칙을 활용하여 가역적 논리 회로를 설계한다.
• 강철 및 나일론 베어링을 사용한 기울일 수 있는 MDF 격자에서 구성된 물리적 하드웨어 프로토타입을 통해 접근 방식을 검증한다.

실험 결과

연구 질문

• RQ1 전역 신호로 제어되는 로봇 군집의 운동 계획 문제의 계산 복잡도는 무엇인가?
• RQ2 인공 장애물 구성이 전역 명령어만으로도 로봇 군집의 임의의 재구성 기능을 가능하게 할 수 있는가?
• RQ3 이러한 장애물 설계가 부울 논리 연산과 같은 보편적 계산을 지원할 수 있는가?
• RQ4 개별 제어 기능이 제한되고 입자 정렬 오류가 발생할 수 있는 환경에서 신뢰성 있고 오류 없는 계산을 어떻게 달성할 수 있는가?
• RQ5 실세계 마이크로로봇 환경에서 이러한 시스템을 구현할 때의 실용적 제약 조건과 설계 제약 사항은 무엇인가?

주요 결과

• 주어진 초기 로봇 구성이 전역 명령어를 사용하여 목표 구성으로 변환될 수 있는지 여부를 판단하는 문제는 PSPACE-완전임을 증명하였다.
• 임의의 크기의 행렬 순열은 단지 네 개의 전역 명령어로도 달성 가능하여 로봇 군집의 효율적 재구성 기능을 제공한다.
• 중력에 의해 움직이는 강철 및 나일론 베어링을 사용한 물리적 하드웨어 플랫폼이 행렬 순열 및 이중레일 논리 게이트를 성공적으로 시연하였다.
• 동일한 명령어 시퀀스를 사용하여 이중레일 논리 게이트를 통해 AND, NAND, OR, NOR 연산을 동시에 계산할 수 있었다.
• 프로토타입은 봉쇄된 미로형 논리 회로에서 신뢰성 있는 작동을 보였지만, 순열 시스템에서 긴 개방 경로는 입자가 경로에서 벗어나 오류 발생에 취약하였다.
• 이 시스템은 절대 인코더와 보편 논리 게이트를 구축할 수 있으며, 제어 입력을 최소화하면서도 인공 환경이 복잡한 계산을 수행할 수 있음을 보여주었다.