연결성 유지 다중 로봇 영역 커버리지 최적 제어

초록

본 논문은 비균일 커버리지를 위한 밀도 기반 최적 제어(D²OC) 프레임워크에 연결성 유지 제약을 도입한다. 워셔스테인 거리 기반 목표를 이차 계획법으로 변환하고, 부드러운 연결성 페널티를 통해 통신 그래프의 연결성을 보장한다. 시뮬레이션 결과, 제안 방법이 기존 비연결성 방식보다 수렴 속도와 커버리지 품질이 향상됨을 확인한다.

상세 분석

이 연구는 기존 D²OC가 워셔스테인 거리 최소화를 목표로 하면서도 에이전트 간 연결성을 보장하지 못한다는 한계를 극복하고자 한다. 먼저, 워셔스테인 거리의 2차 형태를 이용해 목표 함수를 ′Ω′ 행렬과 출력 벡터의 2‑노름 제곱 형태로 재구성하고, 이를 정확히 이차 계획(QP)으로 표현한다. 이때 비용 행렬 H는 양정(positive definite)이며, 입력 가중치 R을 포함해 엄격히 볼록함을 증명한다. 따라서 무제한 최적 입력은 H⁻¹·f 로 닫힌 형태로 얻어지며, 전역 최적해가 유일함을 보인다.

연결성 제약은 두 단계로 구현된다. 첫째, 이웃 에이전트 j의 미래 출력 가능 영역을 선형 시스템의 입력 제한을 고려한 존토프(zonotope) 형태로 정의한다. 이를 위해 출력 공간에 대한 도달 집합 Z_yj(k+h)= ŷ_j(k+h)⊕G_j(k+h)·diag(Δu_j)·B_∞ 로 근사한다. 여기서 G_j는 입력 변동이 출력에 미치는 영향을 나타내는 생성 행렬이며, B_∞는 무한 노름 제한을 적용한 단위 초입체이다. 둘째, 실제 거리 제약을 완화하기 위해 스칼라 상한 R_j(k+h)=max_ℓ‖G_{j,ℓ}(k+h)Δu_j‖ 를 도입하고, ‖y_i(k+h)−ŷ_j(k+h)‖ ≤ r_comm−R_j(k+h) 를 부드러운 페널티 형태로 비용에 추가한다. 이 페널티는 제곱형 가중치 λ·max(0,‖·‖−r_comm+R_j)² 로 구현돼 QP 구조를 유지하면서도 연결성 위반을 최소화한다.

또한, 에이전트의 출력 지연을 고려해 상대 차수 r을 정의하고, 예측 호라이즌 H에 걸쳐 출력 벡터 Y_i를 Θ_i·U_i+Φ_i·x_i(k) 로 선형화한다. 이렇게 얻은 선형 관계와 비용 행렬을 결합하면, 연결성 페널티를 포함한 전체 최적화 문제가 H̃≻0인 확대된 QP 형태가 된다. 이 문제는 각 에이전트가 자신의 로컬 샘플 집합 S_i(k+h)와 이웃의 도달 집합 정보를 교환하면서 분산적으로 해결할 수 있다. 시뮬레이션에서는 2차원 사각형 영역에 20개의 에이전트를 배치하고, 비균일 목표 밀도(중심부 집중)를 설정하였다. 연결성 페널티를 적용한 경우, 모든 에이전트가 통신 반경 r_comm=1.5 내에 머무르며, 워셔스테인 거리 수렴이 약 30% 빨라지고, 최종 커버리지 오차가 15% 감소하였다. 반면, 기존 D²OC는 일부 에이전트가 분리되어 커버리지 구멍이 발생하고, 수렴이 느렸다.

핵심 기여는 (1) 워셔스테인 기반 목표를 정확히 QP로 변환한 이론적 증명, (2) 도달 집합 기반 부드러운 연결성 페널티 설계, (3) 분산 구현 가능성을 유지하면서도 연결성을 보장하는 실험적 검증이다. 이 접근법은 동적 환경, 장애물 회피, 비선형 로봇 모델 등으로 확장 가능하며, 실시간 다중 로봇 시스템에서 통신 안정성을 확보하면서 효율적인 비균일 커버리지를 달성하는 데 유용하다.