분산 강인 제어를 위한 약이질 다중에이전트 시스템 설계

초록

본 논문은 동일한 명목 동역학을 갖지만 서로 다른 노름 제한 파라미터 불확실성을 가진 에이전트들로 구성된 약이질 선형 다중에이전트 시스템에 대해, 연속·이산 시간 모두에서 상대 상태와 일부 절대 상태만을 이용하는 분산 제어기를 설계한다. 제안된 제어기는 시스템의 2차 안정성을 보장하며, 이를 각각의 에이전트 차원과 동일한 차원의 분리된 선형 시스템에 대한 H∞ 제어 문제와 동등하게 변환한다. 연속시간 경우 보수성이 없고 토폴로지와 피드백 설계를 분리하는 2단계 알고리즘을 제시하고, 이산시간 경우 LMI 기반 존재 조건을 제시한다. 또한 외란에 대한 H∞ 성능을 포함한 확장도 다룬다.

상세 분석

이 논문은 기존 연구가 전제로 삼아온 완전 동질(동일한 동역학과 파라미터) 혹은 완전 이질(전혀 다른 동역학) 시스템과는 달리, “약이질”이라는 새로운 개념을 도입한다. 즉, 모든 에이전트가 동일한 명목 행렬 A와 B를 공유하지만, 각각 다른 구조적 파라미터 불확실성 ΔA_i = D F_i E 를 갖는다. 여기서 F_i는 노름 제한 ‖F_i‖₂ ≤ δ 로 정의된 구간에 제한되며, D와 E는 불확실성 구조를 정의하는 알려진 행렬이다. 이러한 설정은 실제 물리 시스템(예: 스프링 상수 차이, 로렌즈 계열 파라미터 변동, 이산형 이중 적분기)에서 흔히 나타나는 상황을 잘 모델링한다.

제어 설계는 두 가지 핵심 가정을 기반으로 한다. 첫째, 통신 그래프 G가 무방향 연결 그래프이며, 최소 하나의 에이전트가 자신의 절대 상태를 직접 측정한다(부분 절대 상태 가용성). 둘째, 각 에이전트는 이웃과의 상대 상태 차이와 자신이 절대 상태를 측정할 경우 이를 이용해 입력 u_i = c K (∑_j a_ij (x_i−x_j) + d_i x_i) 를 생성한다. 여기서 c는 양의 결합 강도, K는 설계해야 할 피드백 행렬, d_i는 절대 상태 가용성을 나타내는 스칼라(절대 상태를 측정하지 못하는 에이전트는 d_i=0)이다.

연속시간 시스템에 대해, 저자는 전체 네트워크 동역학을 Kronecker 구조로 표현하고, bL = L + D_b (여기서 D_b는 대각선 d_i 행렬) 를 이용해 시스템 행렬을 I_N⊗A + c bL⊗B K + (I_N⊗D)Δ(I_N⊗E) 로 정리한다. 핵심 정리(Theorem 1)는 이 시스템이 모든 허용 가능한 불확실성에 대해 2차 안정성을 갖기 위한 필요충분조건을 제시한다. 구체적으로, bL의 고유값 λ_i (i=1,…,N)에 대해 A + c λ_i B K 가 Hurwitz이고, 전송함수 T_i(s)=E(sI−A−c λ_i B K)^{-1}D 의 H∞ 노름이 1/δ 보다 작아야 한다. 이는 전체 네트워크 안정성 문제를 N개의 독립적인 2차 안정성·H∞ 문제로 분해한다는 의미이며, 토폴로지와 피드백 설계가 완전히 분리되는 강력한 결과이다.

연속시간 제어기의 실제 설계는 두 단계 알고리즘으로 구성된다. 첫 단계에서는 LMI (10)을 풀어 양정 행렬 P와 스칼라 τ>0을 얻고, K = −½ Bᵀ P^{-1} 로 정의한다. 두 번째 단계에서는 결합 강도 c를 τ/λ_min 형태의 임계값 c_th 이상으로 선택한다. LMI (10)은 Riccati 부등식과 동등하며, 이는 A + B K 가 Hurwitz이고, δ에 대한 H∞ 제한을 만족함을 보장한다. 따라서 이 알고리즘은 보수성이 전혀 없으며, 최대로 허용 가능한 불확실성 δ_max 를 LMI 최적화(14)를 통해 직접 구할 수 있다.

이산시간 시스템에 대해서는 비슷한 구조를 유지하되, 불확실성을 포함한 시스템이 Schur 안정성을 만족하도록 하는 LMI 기반 존재 조건을 제시한다. 여기서는 고유값이 복소 단위 원 안에 있어야 하는 추가 제약이 존재하므로, 연속시간 경우보다 약간 보수적인 결과가 도출된다.

마지막으로 외란 ω_i 를 포함한 H∞ 성능 문제를 확장한다. 각 에이전트의 출력 z_i = C x_i 를 정의하고, 전체 시스템에 대한 전송함수 z/ω 의 H∞ 노름을 최소화한다. 앞서 도출된 분해 결과에 따라, 전체 네트워크의 H∞ 제어 문제 역시 N개의 독립적인 스케일된 H∞ 문제로 변환된다. 따라서 설계 절차는 연속·이산 시간 모두에서 동일하게 적용 가능하며, 외란 억제와 파라미터 불확실성에 대한 이중 강인성을 동시에 달성한다.

전반적으로 이 논문은 약이질 다중에이전트 시스템에 대한 분산 강인 제어 이론을 체계화하고, 토폴로지와 제어 설계의 분리를 통해 실용적인 설계 절차와 명확한 존재 조건을 제공한다. 특히 LMI 기반 설계와 H∞ 해석을 결합함으로써, 실제 네트워크에서 발생할 수 있는 파라미터 변동과 외란에 대해 정량적인 강인성을 보장한다는 점이 큰 장점이다.