분산 설계 최소 통신 링크 기반 합의 프로토콜

** 본 논문은 다중 에이전트 시스템(MAS)의 합의 문제를 최소 통신 링크를 사용하면서도 완전 분산적으로 설계할 수 있는 새로운 프레임워크를 제시한다. 연구는 크게 네 부분으로 구성된다. 첫 번째 단계에서는 유향 스패닝 트리(DST)가 존재한다는 전제 하에, 각 에이전트 간의 상태 차이 z_{ji}=w_{ij}(x_j−x_i) 를 이용해 기존의 전체 그래프 기반 합의 모델을 정의한다. 그러나 모든 이웃 정보를 사용하면 통신량이 급증하고 설계 복잡도가 높아진다. 이를 해결하기 위해 저자는 트리의 기본 엣지(부모‑자식 관계)만을 이용해 ‘기본 엣지 상태’ y_i = x_{k_i}−x_i (i=1,…,N−1) 를 도입한다. Lemma 1에 의해 모든 엣지 상태는 y_i들의 선형 결합으로 표현될 수 있음을 증명하고, 이를 기반으로 전체 시스템을 N−1 차원의 ‘엣지 상태 시스템’ \dot y = (I⊗A) y + Σ_i (p_i⊗B) u_i (식 10) 로 변환한다. 여기서 p_i는 DST의 인시던스 행렬을 이용한 정보 흐름 행렬이며, w_iΓ_i는 각 에이전트가 실제로 관측할 수 있는 출력 행렬을 나타낸다. 두 번째 단계에서는 변환된 시스템을 ‘분산 출력 피드백 안정화’ 문제로 재구성한다. 제어 입력은 u_i = K_i z_i 이며, z_i = (w_i Γ_i ⊗ I) y 로 정의된다. 이렇게 하면 전체 폐루프 시스템은 \dot y = (I⊗A + Σ_i B_i K_i C_i) y (식 13) 형태가 되며, 이는 블록 대각 구조와 출력‑입력 행렬을 명시한다. 여기서 핵심 개념은 ‘분산 고정 모드(DFM)’이다. 정의에 따르면, 블록 대각 피드백 K_D에 대해 A*+B*KC*의 고유값이 변하지 않는 모드가 DFM이며, DFM이 A*의 비안정 고유값을 포함하면 합의가 불가능하다. Lemma 2와 Theorem 1은 DFM이 A*의 비안정 고유값을 포함하지 않을 경우에만 합의가 달성된다는 필요·충분 조건을 제시한다. 구체적으로는 모든 λ₀∈σ(A)와 모든 이분 분할(α,β)에 대해 행렬식 조건 rank