Decentralized design of leader-following consensus protocols for asymmetric matrix-weighted heterogeneous multiagent systems

1. 연구 문제 (Problem Statement)

이 논문은 이종 다중 에이전트 시스템 (Heterogeneous Multi-Agent Systems, MASs) 에서 리더 - 추종 합의 (Leader-following consensus) 를 달성하기 위한 분산 설계 방법론을 제안합니다. 기존 연구의 한계를 극복하기 위해 다음과 같은 세 가지 주요 도전 과제를 해결합니다.

• 이종 시스템의 분산 설계: 기존 연구들은 종종 전역 정보 (Global Information) 를 필요로 하거나 모든 에이전트에 동일한 피드백 이득을 부여하는 제약이 있었습니다. 본 연구는 각 에이전트가 고유한 피드백 이득 행렬을 가지면서도 전역 정보 없이 분산적으로 설계할 수 있는 방법을 모색합니다.
• 비대칭 행렬 가중치 (Asymmetric Matrix-weighted): 기존 행렬 가중치 네트워크 연구에서는 주로 대칭적이고 양의 정부호 (Positive Definite) 또는 음의 정부호인 가중치 행렬을 가정했습니다. 그러나 실제 응용에서는 에이전트 간 상호작용이 다양한 성분에 대해 다른 값을 가질 수 있어 비대칭 행렬 가중치를 고려해야 합니다. 이는 안정성 분석을 어렵게 만드는 핵심 요소입니다.
• 통신 부하 최소화: 모든 이웃 에이전트의 정보를 사용하는 대신, 최소한의 통신 링크 (Directed Spanning Tree, DST) 만을 활용하여 통신 트래픽을 줄이는 효율적인 프로토콜 설계가 필요합니다.

2. 방법론 (Methodology)

논문은 다음과 같은 수학적 기법과 설계 절차를 통해 문제를 해결합니다.

2.1. 시스템 모델링

• $N+1$ 개의 에이전트 (리더 1 개, 추종자 $N$ 개) 로 구성된 선형 파라미터 이종 시스템을 가정합니다.
• 통신 토폴로지는 방향성 그래프로 표현되며, 가중치 행렬 $W$는 블록 행렬 형태로, 비대칭적이고 임의의 값을 가질 수 있습니다.
• 시스템은 방향성 신장 트리 (Directed Spanning Tree, DST) 를 포함한다고 가정합니다.

2.2. DST 기반 선형 변환 (DST-based Linear Transformation)

• 합의 문제를 부분 변수 안정성 (Partial Variable Stability) 문제로 변환하기 위해 DST 의 결합 행렬 (Incidence Matrix) 을 이용한 선형 변환을 적용합니다.
• 이를 통해 원래의 합의 문제 (모든 에이전트가 리더의 상태를 따르는 것) 를 변환된 시스템의 $y$-축 안정성 문제로 재정의합니다.

2.3. 분산 설계 전략

논문은 두 가지 시나리오에 대한 분산 설계 방법을 제시합니다.

1. 최소 통신 링크를 사용하는 프로토콜 (Minimal Communication Links):

   • 각 에이전트는 자신의 상태와 DST 상의 부모 노드 (Parent Node) 의 상대 상태 정보만 사용합니다.
   • 이득 행렬 설계:
     • $G_i$ (자기 상태 피드백): 시스템의 이종 특성을 반영하며, $L_1 \bar{D} L_3$ 행렬이 Hurwitz 안정이 되도록 분산적으로 설계합니다. 이는 수렴 속도에 영향을 줍니다.
     • $K_i$ (상대 상태 피드백): $A_i^* - B_i^*$ 가 Hurwitz 안정이 되도록 각 에이전트의 파라미터와 부모 노드와의 가중치 정보만을 사용하여 설계합니다.
   • 핵심: $K_i$ 설계 시 전역 그래프 정보 (라플라시안 행렬 등) 가 필요하지 않아 완전히 분산적입니다.

2. 모든 이웃 정보를 사용하는 프로토콜 확장:

   • 모든 이웃 정보를 활용하는 프로토콜로 확장하기 위해 행렬 대각 우세 (Matrix Diagonally Dominant) 개념과 Gerschgorin 원 판정법 (Gerschgorin Circle Theorem) 을 적용합니다.
   • 각 에이전트의 Gerschgorin 원이 복소 평면의 왼쪽 반평면 (Open Left Half Plane) 에 위치하도록 $K_i$ 를 설계합니다.
   • 이 방법 또한 각 에이전트가 직접 연결된 이웃의 정보만을 사용하여 분산적으로 이득을 결정할 수 있게 합니다.

3. 주요 기여 (Key Contributions)

1. 비대칭 행렬 가중치 하의 이종 MAS 합의 조건 도출:

   • 기존 연구의 대칭성 가정을 완화하여, 비대칭 행렬 가중치를 가진 이종 MAS 에 대한 리더 - 추종 합의의 필요충분 조건을 제시했습니다.
   • DST 기반 선형 변환과 부분 변수 안정성 이론을 결합하여 합의 기준을 도출했습니다.

2. 최소 통신 링크를 위한 분산 설계 프로토콜 제안:

   • 각 에이전트가 DST 상의 부모 노드 정보만 사용하여 합의에 도달할 수 있는 프로토콜을 제안했습니다.
   • 이 방식은 통신 부하를 크게 줄일 뿐만 아니라, 각 에이전트가 독립적으로 고유한 피드백 이득 행렬을 설계할 수 있게 하여 설계의 자유도를 높였습니다.

3. 전체 이웃 정보 활용을 위한 확장 및 계산적 편의성:

   • 행렬 대각 우세 아이디어를 활용하여 모든 이웃 정보를 사용하는 경우에도 분산 설계가 가능함을 보였습니다.
   • 기존 연구 (전역 정보 필요 또는 행렬 부등식 해결) 와 달리, 제안된 방법은 계산적으로 용이하며 전역 네트워크 정보를 사용하지 않는 분산 알고리즘을 제공합니다.

4. 결과 및 검증 (Results and Verification)

• 수치 시뮬레이션:
  • 예제 1: 최소 통신 링크 (DST 기반) 프로토콜을 적용한 시뮬레이션으로, 제안된 분산 설계 방법 ($G_i, K_i$ 선정) 이 시스템 상태를 리더의 상태로 수렴시킴을 확인했습니다.
  • 예제 2: $G_i$ 행렬이 수렴 속도에 미치는 영향을 분석했습니다. $G_i$ 를 0 으로 설정했을 때와 비교하여, $G_i$ 를 적절히 설계함으로써 수렴 속도가 개선됨을 보였습니다.
  • 예제 3: 모든 이웃 정보를 사용하는 프로토콜에 Gerschgorin 원 판정법을 적용하여 $K_i$ 를 설계하고, 이 경우에도 상태 오차가 0 으로 수렴함을 확인했습니다.
• 검증: 모든 시뮬레이션에서 초기 상태가 달랐음에도 불구하고, 제안된 분산 제어기 하에서 모든 추종 에이전트가 리더의 상태를 성공적으로 추종함을 입증했습니다.

5. 의의 및 중요성 (Significance)

• 이론적 확장: 행렬 가중치 네트워크 연구에서 흔히 가정되던 '대칭성'과 '정부호성' 제약을 제거함으로써, 더 일반적이고 실제적인 네트워크 모델 (비대칭 상호작용) 을 다룰 수 있는 이론적 기반을 마련했습니다.
• 실용적 가치:
  • 통신 효율성: 불필요한 통신 링크를 제거하여 대역폭을 절약하고 네트워크 부하를 줄입니다.
  • 확장성: 전역 정보를 요구하지 않는 분산 설계 방식은 대규모 이종 다중 에이전트 시스템에 적용하기 용이합니다.
  • 유연성: 각 에이전트가 고유한 동역학을 가지더라도 개별적으로 최적화된 이득을 설계할 수 있어 시스템의 이종성을 효과적으로 처리합니다.

결론적으로, 본 논문은 비대칭 행렬 가중치를 가진 이종 다중 에이전트 시스템에 대해, 통신 효율성과 분산 설계의 실현 가능성을 동시에 확보한 혁신적인 합의 프로토콜 설계 프레임워크를 제시했습니다.