대규모 스웜 안전 제어를 위한 Banach 제어 장벽 함수

초록

본 논문은 스웜을 확률밀도 함수로 모델링하고, 무한 차원 Banach 공간에 정의된 Banach Control Barrier Functions(B‑CBF)를 도입하여 밀도 기반 안전 제어와 최적 수송을 통합한다. B‑CBF를 이용한 안전 필터링, 밀도 스티어링, 그리고 제한된 통신 범위 내에서의 분산 구현 방법을 제시하며, 이론적 결과를 시뮬레이션으로 검증한다.

상세 분석

이 논문은 기존의 제어 장벽 함수(CBF)를 무한 차원 Banach 공간으로 확장한 Banach‑CBF(B‑CBF) 개념을 제시한다. B‑CBF는 실수값이 아닌 부분 순서가 정의된 Banach 공간을 공역으로 하여, 확률밀도 ρ∈L¹(ℝⁿ)와 같은 함수형 상태에 직접 적용할 수 있다. 이를 통해 장애물 회피, 충돌 방지, 밀도 상한·하한 등 다양한 매크로 제약을 하나의 함수 H:Ξ→Y로 표현하고, Ḣ(ξ)⪰−α(H(ξ)) 형태의 불평등을 속도장 u에 대한 제약식으로 변환한다. 논문은 이 제약이 비교 원리를 이용해 안전 집합 C={ξ|H(ξ)⪰0}의 전진 불변성을 보장함을 정리 4.2로 증명한다.

또한, B‑CBF를 이용해 확률밀도 흐름에 대한 ‘안전 필터링’ 문제를 Quadratic Programming 형태로 정형화한다. 여기서 목표는 명시된 명목 속도 u_nom을 가능한 한 유지하면서 B‑CBF 제약을 만족하는 실제 속도 u를 찾는 것이다. 이 과정은 기존의 스칼라 CBF와 동일한 구조를 가지지만, 함수형 제약이 포함되므로 최적 수송(OT) 문제와 자연스럽게 결합된다. 논문은 특히 KL 발산, Wasserstein 거리, 그리고 적분형 충돌 회피 함수 등을 Y=ℝ인 경우와 Y=L^∞(ℝⁿ)인 경우로 구분해 구체적인 미분식을 제시한다.

밀도 스티어링 측면에서는, 안전 필터링된 속도장을 이용해 Liouville 방정식 ∂ₜρ+∇·(ρu)=0를 풀어 초기 밀도 ρ₀를 목표 밀도 ρ*로 이동시키는 최적 제어 문제를 구성한다. 여기서 ‘필터링된’ 속도는 B‑CBF에 의해 제한된 최적 수송 흐름이며, 이는 기존 OT 기반 스티어링에 안전성을 부여한다는 점에서 의미가 크다.

마지막으로, 논문은 미시적 에이전트 수준에서의 구현을 다룬다. 연속 모델의 해를 입자 기반 시뮬레이션으로 근사하고, 각 에이전트가 자신의 위치와 근접 이웃(통신 반경 내)만을 이용해 로컬 최적화 문제를 풀도록 설계한다. 이때 B‑CBF 제약은 로컬 밀도 추정치를 통해 근사되며, 에이전트 수가 무한대로 갈 때 마크로스코픽 해와 일치함을 보인다. 분산 구현 조건으로는 (i) 로컬 밀도 추정의 정확도, (ii) 통신 그래프의 연결성, (iii) 시간 스케일의 분리 등을 제시한다.

핵심 기여는 (1) 무한 차원 CBF 개념 도입, (2) 안전 제약을 포함한 최적 수송 흐름 설계, (3) 마크로와 마이크로 수준의 일관성 증명, (4) 제한된 통신을 전제로 한 분산 알고리즘 제시이다. 이론적 엄밀성과 실용적 구현 사이의 간극을 메우려는 시도가 돋보이며, 특히 대규모 로봇 스웜이나 무인 항공기 집단에 적용 가능성이 높다. 다만, B‑CBF의 구체적 선택과 α 함수 설계가 문제마다 달라야 함에도 불구하고, 일반적인 설계 가이드라인이 부족하고, 수치적 안정성에 대한 논의가 제한적이다. 또한, 시뮬레이션 결과가 제한된 사례에 국한돼 있어 실제 물리적 로봇에 대한 검증이 필요하다.