이산시간 이종 다중에이전트 시스템의 강인 협동 출력 조절

초록

본 논문은 이산시간 불확실성을 가진 이종(차원 다름) 다중에이전트 시스템(MAS)의 강인 협동 출력 조절 문제(RCORP)를 다룬다. 내부 모델 기반 분산 동적 상태 피드백을 이용해, 구조화된 제어 이득 K가 존재하면 명시적 폐루프 행렬이 Schur(모든 고유값의 크기 <1)임을 보인다. 전역 설계와 에이전트별 로컬 설계 두 가지 충분조건을 LMI 형태로 제시하고, 전역 설계가 보수성이 낮고 로컬 설계가 확장성에 유리함을 분석한다.

상세 분석

이 논문은 먼저 RCORP(robust cooperative output regulation problem)의 핵심을 “구조화된 제어 이득 K가 존재하여 명목 폐루프 행렬 A_g = A + B K가 Schur가 된다”는 조건으로 환원한다. 여기서 A와 B는 각 에이전트의 명목 동역학과 내부 모델을 포함한 블록 구조이며, K는 그래프 구조에 의해 제로가 강제되는 특정 패턴을 가진다. 논문은 이 구조화된 K의 존재성을 검증하기 위해 두 단계의 충분조건을 제시한다.

첫 번째는 전역 설계 접근법이다. 구조화된 Lyapunov 부등식 P > 0, A_gᵀ P A_g – P < 0 를 K의 구조에 맞게 제한하고, 투영 정리를 이용해 이를 선형 행렬 부등식(LMI) 형태로 변환한다. 이 LMI의 실현 가능성은 전역적으로 모든 에이전트를 동시에 설계할 수 있음을 보장한다. 전역 설계는 전체 시스템 차원에 대한 다항식 복잡도를 갖지만, 구조적 제약을 직접 반영하므로 보수성이 낮다.

두 번째는 에이전트별 로컬 설계이다. 각 에이전트 i에 대해 개별적인 구조‑프리 제어 이득 (K₁ᵢ, K₂ᵢ)를 설계하고, 이를 통해 전체 K의 구조를 자동으로 만족하도록 한다. 각 로컬 설계는 별도의 LMI을 풀어야 하며, 이 LMI는 해당 에이전트의 명목 행렬 (A_i, B_i)와 내부 모델 (G₁ᵢ, G₂ᵢ)만을 사용한다. 로컬 설계는 다수의 에이전트가 존재할 때 병렬화가 가능해 확장성이 뛰어나지만, 전역 설계에 비해 보수적일 수 있다.

논문은 Lemma 5를 통해 (A, B) 쌍이 안정가능(stabilizable)임을 보이며, 이는 그래프가 스패닝 트리를 포함하고 각 에이전트가 (A_i, B_i) 쌍이 안정가능하고 내부 모델이 존재한다는 전제 하에 성립한다. 그러나 안정가능성만으로는 구조화된 K가 존재한다는 것을 보장하지 못한다는 점을 Example 1을 통해 강조한다.

또한, 전역 설계와 로컬 설계가 만들어내는 제어 이득 집합 사이의 포함 관계를 분석한다. Corollary 3에 따르면 전역 설계가 만든 K 집합이 로컬 설계가 만든 집합을 포함한다는 것이 증명되며, 이는 전역 설계가 보수성이 낮다는 결론과 일치한다. 반면, 로컬 설계는 각 에이전트가 독립적으로 설계 가능하므로 구현 복잡도와 통신 요구사항 측면에서 실용적이다.

마지막으로, 기존 연구와의 차별점을 명확히 한다. 기존의 연속시간 이종 MAS에 대한 RCORP는 내부 모델 기반 설계가 가능했지만, 이산시간에서는 행렬 구조가 블록 삼각형 형태를 갖지 않아 직접적인 확장이 어려웠다. 본 논문은 이러한 구조적 차이를 극복하고, 불확실성(δA_i, δB_i 등)을 포함한 일반적인 모델에 대해 강인성을 보장한다. 또한, 제어 법칙이 이웃 에이전트의 상태를 교환하지 않고 상대 출력(e_i−e_j)만을 이용하므로, 통신 인프라가 제한된 상황에서도 적용 가능하다.

요약하면, 이 논문은 이산시간 이종 MAS에 대한 RCORP를 해결하기 위한 두 가지 실용적인 설계 프레임워크를 제시하고, LMI 기반의 다항식 시간 알고리즘을 통해 전역 및 로컬 설계 모두를 구현 가능하게 만든다. 전역 설계는 보수성이 낮아 성능 면에서 우수하고, 로컬 설계는 확장성과 구현 용이성에서 강점을 가진다.