관측기 기반 다중에이전트 시스템의 STL 사양 만족 제어

초록

본 논문은 통신이 제한된 대규모 이종 다중에이전트 시스템에서, k‑hop 지정 성능 상태 관측기(k‑hop PPSO)를 이용해 비통신 에이전트의 상태를 추정하고, 추정 오차에 대한 보장을 반영한 STL 강건성 수정값을 기반으로 분산 연속시간 피드백 제어기를 설계한다. 이를 통해 최악의 추정 오차 상황에서도 모든 에이전트가 전역 STL 사양을 만족하도록 보장한다.

상세 분석

이 연구는 세 가지 핵심 기술을 결합한다. 첫째, k‑hop PPSO는 각 에이전트가 직접 통신할 수 없는 k‑hop 이내의 이웃 에이전트 상태를 실시간으로 추정한다. 관측기는 지정 성능 함수(δ, ρ)를 사전에 설계해 추정 오차 |˜xᵢʳ(t)| < δᵢʳ(t) 를 전역적으로 보장한다는 점이 특징이며, 이는 기존의 중앙집중형 관측기나 단일‑hop 관측기와 달리 네트워크 토폴로지에 따라 확장성을 제공한다. 둘째, STL의 공간 강건성(ρψ) 정의를 추정 오차 범위에 맞게 보정한다. 구체적으로, 최악의 오차를 고려한 보정 상수 εᵢ를 도입해 ρψᵢ(ˆxᵢ) ≥ ρψᵢ(xᵢ) − εᵢ 형태의 부등식을 얻고, 이를 기존의 강건성 기반 제어 설계에 그대로 적용한다. 셋째, 보정된 강건성을 만족시키는 지정 성능 제어기(PPC)를 각 에이전트에 독립적으로 적용한다. PPC는 로그‑시그모이드 형태의 변환을 통해 제어 입력을 설계하고, 설계 파라미터(l, γ₀, γ∞ 등)를 조정함으로써 강건성 한계와 외란에 대한 내성을 동시에 달성한다. 논문은 다음과 같은 가정을 전제로 한다. (1) 각 에이전트의 동역학은 로컬 리프시츠 연속이며, 입력 매트릭스 gᵢ(xᵢ)gᵢᵀ(xᵢ)는 양정이다. (2) 통신 그래프는 연결된 무방향 그래프이며, 모든 에이전트는 1‑hop와 k‑hop 이웃 정보를 사전에 알 수 있다. (3) 작업 의존 그래프는 DAG 형태이며, 같은 클러스터 내의 작업 의존은 반드시 통신 링크와 일치한다. 이러한 가정 하에, 제안된 프레임워크는 (i) 추정 오차에 대한 명시적 상한을 제공, (ii) STL 강건성을 보정해 최악 상황에서도 만족을 보장, (iii) 완전 분산 형태로 구현 가능하다는 장점을 갖는다. 한계점으로는 (a) k‑hop 범위가 시스템 규모에 따라 크게 증가하면 관측기 계산량과 통신 부하가 급증할 수 있다, (b) 외란 wᵢ가 비선형·시간변화형일 경우, 관측기 수렴 보장은 추가적인 바운드 조건에 의존한다. 향후 연구에서는 적응형 k‑hop 선택, 비선형 외란에 대한 강건 관측기 설계, 그리고 실험적 로봇 플랫폼 적용을 통해 실용성을 검증할 필요가 있다.