비볼록 고리 환경에서의 분산 원주형 커버리지 제어와 작업량 균등화

초록

본 논문은 비볼록 고리 형태의 영역을 다중 로봇이 분산적으로 커버리지하면서 각 로봇이 담당하는 서브영역의 작업량을 균등하게 맞추는 제어 방식을 제안한다. 내부 경계에 슬라이딩되는 가상 파티션 바와, 비볼록 서브영역 내 충돌을 방지하는 리만 계량을 이용해 로봇을 최적 위치로 유도한다. 작업량 파티션은 지수적으로 수렴하고, 각 로봇은 지역 최적점으로 수렴함을 이론적으로 증명한다.

상세 분석

이 연구는 기존의 Voronoi 기반 혹은 회전 포인터 기반 커버리지 방법이 공통 기준점에 의존하거나 비볼록 영역에서 적용이 어려운 문제점을 극복한다. 핵심 아이디어는 두 개의 폐곡선으로 정의되는 비볼록 고리 영역 내부에 ‘가상 파티션 바’를 배치하고, 각 바가 내부 경계에 접선 방향으로 슬라이딩하도록 설계한 것이다. 파티션 바의 움직임은 ˙s_i = −κ_s (m_i − m_{i−1}) ν_i 식으로 정의되며, 여기서 ν_i 는 파티션 바가 접하는 내부 경계의 단위 접선 벡터이다. 이 동역학은 작업량 차이를 감소시키는 라플라시안 형태의 Lyapunov 함수 V = ½∑(m_i−\bar m)^2 의 미분을 통해 \dot V ≤ 0 임을 보이며, 특히 \dot V ≤ −c V 형태의 부등식으로부터 지수 수렴을 얻는다. 따라서 모든 서브영역의 작업량 m_i 는 동일한 값으로 수렴한다.

다음으로 로봇의 이동 제어는 리만 계량 g_{ij}=δ_{ij}/h^2(q) 을 도입해 정의한다. 여기서 h(q) 는 영역 경계와의 거리 함수이며, 이 계량은 경계에 가까워질수록 ‘거리’를 크게 만들어 로봇이 경계에 접근하는 것을 자연스럽게 억제한다. 로봇의 위치 p_i 에 대한 에너지‑유사 함수 E(t)=½ d_g^2(p_i,q_i^) ( q_i^ 는 서브영역 Ω_i 내의 비용 f(p_i,q) 최소점) 의 미분은 \dot E=−κ_p‖∇_{p_i}E‖g^2 + ξ(t) 형태이며, ξ(t) 는 q_i^* 의 움직임에 기인한다. Barbalat 보조정리를 이용해 \dot E→0 을 보이면 ‖∇{p_i}E‖_g→0, 즉 p_i 가 q_i^* 에 수렴한다. 충돌 회피는 g 의 정의에 의해 보장되며, 경계에 무한히 큰 ‘가중치’를 부여함으로써 로봇이 경계에 닿는 상황이 수학적으로 불가능함을 증명한다.

논문은 또한 5개의 보조 정리를 제시해 \dot s_i→0, s_i→s_i^, \dot q_i^→0, E(t) 수렴, \dot E 의 균일 연속성을 차례로 증명한다. 이들 정리는 전체 시스템이 안정적으로 작동하고, 파티션 바와 로봇 위치가 동시에 수렴함을 보장한다. 실험 섹션에서는 비볼록 고리 형태(내부는 볼록, 외부는 별형)에서 다수 로봇이 초기 무작위 배치에서 시작해 파티션 바가 자동으로 균등 작업량을 달성하고, 각 로봇이 자신의 서브영역 중심(최적 위치)으로 이동하는 과정을 시각적으로 보여준다.

핵심 기여는 (1) 공통 기준점 없이 비볼록 고리 전체를 다루는 분산 원주형 커버리지 프레임워크, (2) 내부 경계에 따라 슬라이딩되는 가상 파티션 바를 통한 완전 분산 작업량 균등화, (3) 리만 계량을 이용한 경계 충돌 회피와 지역 최적점 수렴 보장이다. 이론적 증명과 시뮬레이션 결과는 제안된 방법이 실제 비정형 환경(예: 재난 현장, 복합 구조물 내부 탐색)에서 다중 로봇의 효율적인 커버리지를 가능하게 함을 시사한다.