비동기 로봇의 비대칭 패턴 형성 알고리즘

초록

본 논문은 CORDA 모델 하에서 센스 오브 디렉션과 차릴리티가 일치하지 않는 비동기·무기억 로봇들이, 초기 비대칭 배치를 유지하면서 주어진 비대칭 목표 패턴을 유한 시간 내에 형성하도록 하는 결정론적 분산 알고리즘을 제시한다. 로봇들은 서로 통신하지 않고 전역 시야를 이용해 위치를 관측하며, 충돌 없이 이동 경로를 계산한다.

상세 분석

이 연구는 기존 비동기 로봇 패턴 형성 연구에서 남아 있던 두 가지 주요 제약을 동시에 해소한다. 첫째, 로봇들이 공통의 방향감(Sense of Direction, SoD)이나 차릴리티를 공유하지 않을 때도 임의의 비대칭 패턴을 만들 수 있음을 보인다. 둘째, 이전 알고리즘이 요구하던 “리더 로봇이 SEC(최소외접원) 상에 존재한다” 혹은 “SEC 내부 로봇 수가 외부 로봇 수보다 작다”와 같은 제한을 없앤다.

알고리즘은 크게 네 단계로 구성된다. 1) AgreementPattern 단계에서는 목표 패턴 P의 최소외접원을 구하고, 그 중심을 원점으로 삼아 첫 번째 SEC 상의 점을 X축 양의 방향, 그 다음 SEC 상의 점을 Y축 양의 방향으로 정한다. 이를 통해 모든 로봇이 동일한 좌표계(원점, 축, 단위거리)를 공유하도록 만든다. 2) AgreementCoordinateSystem 단계에서는 실제 로봇 집합 ¯r 의 SEC를 구하고, 그 SEC 상의 첫 번째 로봇을 리더 r_l 로 선정한다. 리더와 패턴의 첫 번째 점 p_l 을 일치시켜 로봇 집합과 패턴 사이의 좌표계 정합성을 확보한다. 3) MoveRadiallyOut 단계에서는 리더와 가장 가까운 목표점 p₁을 기준으로, 원점 O와 거리 d = max(|Or₁|,|Op₁|) 를 정의하고, O를 중심으로 반경 d+ε (ε은 충분히 작은 양수) 의 원을 그린 뒤, 그 원 내부에 있는 로봇들을 차례로 원 바깥쪽으로 이동시켜 충돌을 방지한다. 4) MoveToDestination 단계에서는 남은 자유 로봇과 자유 목표점 사이의 거리·각도 쌍을 사전순으로 정렬하고, 최소 각도를 갖는 쌍을 선택해 직선 이동을 수행한다. 이동 경로가 원(SEC)과 교차하면 접선과 안전 영역을 이용해 우회하도록 설계되어 있다.

각 단계마다 Lemma 1~7을 통해 리더·축·단위거리의 유일성, 좌표계 일관성, 충돌 회피, 유한 시간 수렴을 엄격히 증명한다. 특히 MoveRadiallyOut와 MoveToDestination는 “한 번에 하나의 로봇만 움직인다”는 원칙을 유지함으로써 비동기 스케줄링 하에서도 교착이나 충돌이 발생하지 않음을 보장한다. 알고리즘은 로봇이 관측·계산·이동을 비동기적으로 수행하더라도, 모든 로봇이 동일한 좌표계에 고정된 상태를 유지하므로, 부분적인 진행이 전체 진행을 방해하지 않는다.

이 논문의 주요 기여는 (1) SoD와 차릴리티가 전혀 공유되지 않은 상황에서도 임의의 비대칭 패턴을 형성할 수 있음을 보인 점, (2) 기존 알고리즘이 필요로 했던 여러 구조적 가정을 제거하고 보다 일반적인 초기 배치를 허용한 점, (3) 충돌 없는 경로 설계와 유한 시간 수렴을 정형화한 증명 구조를 제공한 점이다. 제한점으로는 로봇이 무한 시야를 가진다는 가정과, 로봇이 점 형태로 모델링되어 실제 물리적 크기를 고려하지 않았다는 점을 들 수 있다. 향후 연구에서는 제한된 시야, 로봇의 실제 크기, 장애물 회피 등을 포함한 보다 현실적인 환경으로 확장할 여지가 있다.