두 무기억 로봇의 수집 문제와 불안정 나침반의 한계

초록

본 논문은 반동기·동기 모델에서 두 무기억 로봇이 불안정한 나침반을 사용할 때, 나침반 편차 φ가 어느 정도까지 허용되는지 정확히 규명한다. 정적 나침반은 φ < π/2, 동적 나침반은 반동기에서는 φ < π/4, 완전 비동기에서는 φ < π/6이 필요·충분조건이며, 비동기·동적 경우의 필요조건은 아직 미해결이다.

상세 분석

이 연구는 두 로봇이 서로의 좌표계를 공유하지 못하는 상황에서, 로봇마다 장착된 나침반이 전역 기준 방향과 어느 정도 각도 차이를 가질 수 있는지를 파라미터 φ로 정의한다. 나침반은 정적(한 번 설정 후 변하지 않음)과 동적(각 사이클 직전에 임의로 바뀔 수 있음) 두 종류로 나뉜다. 로봇 모델은 반동기(SS, SD)와 완전 비동기(AS, AD)로 구분되며, 각각의 조합에 대해 φ의 상한을 찾는다.

핵심 기법은 “중점 이동” 알고리즘을 변형해, 로봇이 자신의 로컬 좌표계에서 상대 로봇의 위치를 관측하고, 그 중점을 향해 이동하도록 설계한다. 정적 나침반의 경우, 두 로봇의 좌표축이 최대 π/2까지 틀어져도 중점이 동일한 전역 위치에 존재하므로, 로봇이 서로를 향해 수렴한다. 동적 나침반에서는 매 사이클마다 좌표축이 바뀔 수 있기 때문에, 각 로봇이 관측한 중점이 실제 중점과 어느 정도 차이가 난다. 이를 보정하기 위해 로봇은 현재 관측값을 기준으로 “회전 보정”을 수행하고, 이동 거리를 제한한다.

반동기 모델에서는 한 사이클 내에 이동이 완전히 끝난다고 가정하므로, 동적 나침반의 편차가 π/4 이하이면 두 로봇이 서로를 향해 수렴함을 증명한다. 반면 완전 비동기에서는 한 로봇이 움직이는 동안 다른 로봇이 관측을 수행할 수 있어, 상대 위치의 불확실성이 더 커진다. 따라서 안전하게 수렴하려면 편차를 π/6 이하로 제한해야 한다. 논문은 이러한 상한이 충분조건임을 보이고, 정적·반동기 경우에는 필요조건도 동일함을 역증명한다. 비동기·동적 경우의 필요조건은 아직 증명되지 않아 열린 문제로 남는다.

또한, 스케일링 비율(sc_i)와 속도 제한을 고려해 로봇이 무한히 작은 거리라도 이동할 수 있도록 가정함으로써, 실제 물리적 제한이 알고리즘에 미치는 영향을 최소화한다. 전체 증명은 공정성(fairness) 가정 하에, 두 로봇이 무한히 많이 활성화되는 실행을 대상으로 한다.

이 연구는 로봇 협동에서 좌표계 일관성의 최소 요구 수준을 정량화함으로써, 실세계 센서 오차나 캘리브레이션 오류가 존재하는 상황에서도 알고리즘 설계에 실용적인 가이드를 제공한다.