Leader-following Consensus over Jointly Connected Switching Networks is Achievable for Exponentially Unstable Linear Systems

논문 요약: 지수적으로 불안정한 선형 시스템에 대한 결합 연결 스위칭 네트워크에서의 리더-팔로워 합의

1. 문제 정의 (Problem)

이 논문은 리더-팔로워 합의 (Leader-following Consensus) 문제를 다룹니다. 구체적으로, 하나의 리더 시스템과 $N$개의 팔로워 에이전트로 구성된 일반 선형 다중 에이전트 시스템 (Multi-Agent Systems, MAS) 에서, 통신 네트워크가 시간에 따라 변하고 (Switching Networks) 특정 순간에는 연결이 끊어질 수 있으나 일정 시간 구간 내에서는 결합적으로 연결 (Jointly Connected) 되는 환경 하에서 합의가 가능한지 연구합니다.

• 기존 연구의 한계: 기존 연구들은 시스템 행렬 $A$가 경계 안정 (Marginally Stable) 이어야만 합의가 가능하다는 가정에 의존했습니다. 이는 가장 널리 사용되는 더블 적분기 (Double-integrator) 모델조차 포함하지 못하는 심각한 제약이었습니다.
• 본 논문의 도전 과제: 시스템 행렬 $A$가 지수적으로 불안정 (Exponentially Unstable) 하더라도 (즉, 고유값의 실수부가 양수인 경우에도), 결합 연결 스위칭 네트워크 하에서 지수적 합의 (Exponential Consensus) 를 달성할 수 있는지 증명하는 것입니다.

2. 방법론 (Methodology)

가. 시스템 모델링 및 가정

• 리더 시스템: $\dot{x}_0(t) = Ax_0(t)$ (불안정할 수 있음)
• 팔로워 시스템: $\dot{x}_i(t) = Ax_i(t) + Bu_i(t)$
• 제어 법칙: 분산 정적 상태 피드백 제어 $u_i(t) = K \sum a_{ij}(t)(x_j(t) - x_i(t))$ 사용.
• 가정:
  1. $(A, B)$는 제어 가능 (Controllable).
  2. 하위 그래프는 무방향 (Undirected).
  3. 결합 연결 조건 (Jointly Connected): 일정 시간 구간 $[t_{jk}, t_{jk+1})$ 내에서 리더 (노드 0) 에서 모든 팔로워 노드로의 경로가 존재하는 합집합 그래프가 연결됨.

나. 핵심 분석 도구

1. 리더 - 팔로워 행렬 (Leader-Follower Matrix) $H_\sigma(t)$:
   • 스위칭 그래프의 라플라시안과 리더 연결 행렬을 결합한 행렬.
   • 이 행렬의 영공간 (Kernel) 에 대한 직교 투영 행렬 $P_\sigma(t)$를 정의합니다.
2. 불안정성 한계 도출 (Key Quantities):
   • $\delta$ (감쇠 계수): 결합 연결 조건 하에서 직교 투영 행렬들의 곱 $\prod P_\sigma(t_r)$의 노름이 1 보다 작은 상수 $\delta$로 수렴함을 증명 (Lemma 1). 이는 네트워크가 얼마나 자주 연결되는지를 정량화합니다.
   • $T_c$ (시간 구간): 결합 연결이 보장되는 최대 시간 간격.
   • 불안정성 조건: 시스템의 최대 불안정성 ($\lambda_{\max}(A)$) 이 다음 부등식을 만족해야 함:
     $$\lambda_{\max}(A) < -\frac{\ln \delta}{T_c}$$
   • 이 부등식은 네트워크의 연결성 ($\delta, T_c$) 이 시스템의 불안정성을 상쇄할 수 있는 임계값을 결정함을 의미합니다.

다. 제어기 및 관측기 설계

• 피드백 게인 $K$ 설계: 가중 제어 가능성 그라미안 (Weighted Controllability Gramian) $W_c(\alpha, t^*)$을 이용하여 $K = \mu B^T W_c^{-1}$ 형태로 설계합니다.
• 이중성 (Duality) 활용: 합의 문제의 해법과 동일한 수학적 구조를 이용하여, 출력 기반 분산 관측기 (Output-based Distributed Observer) 설계 문제 (Dual Problem) 도 해결합니다. 이는 리더의 상태를 팔로워들이 추정하는 문제입니다.

3. 주요 기여 (Key Contributions)

1. 불안정 시스템에 대한 합의 달성: 기존 연구의 '경계 안정'이라는 엄격한 제약을 제거하고, 지수적으로 불안정한 선형 시스템에 대해서도 리더 - 팔로워 합의가 가능함을 최초로 증명했습니다.
2. 불안정성 허용 범위 정량화: 시스템이 얼마나 불안정할 수 있는지를 네트워크의 결합 연결 특성 ($\delta$와 $T_c$) 으로 명시적으로 표현하는 조건을 제시했습니다.
3. 이중성 기반 관측기 설계: 합의 문제의 해법을 활용하여, 리더 시스템이 불안정하더라도 결합 연결 네트워크 하에서 지수적으로 수렴하는 출력 기반 분산 관측기를 설계할 수 있음을 보였습니다. 이는 기존 관측기 설계가 리더 시스템의 안정성을 가정했던 점과 대조적입니다.
4. 수학적 증명: 선형 스위칭 시스템의 해를 직교 투영 행렬의 곱과 지수 함수의 곱으로 분해하고, 이를 통해 지수적 수렴을 엄밀하게 증명했습니다.

4. 결과 (Results)

• 이론적 결과:
  • Theorem 1: 주어진 조건 (가정 1~3) 하에서, 시스템 행렬 $A$의 최대 실수부 고유값이 $\lambda_{\max}(A) < -\ln \delta / T_c$를 만족하면, 적절한 피드백 게인 $K$를 통해 모든 팔로워가 리더의 궤적으로 지수적으로 수렴함을 증명.
  • Theorem 2: 이중성 원리를 적용하여, 관측기 게인 $L$을 설계하면 리더의 상태를 지수적으로 추정할 수 있음을 증명.
• 수치 시뮬레이션:
  • 3 차원 상태 공간에서 불안정한 시스템 행렬 (고유값: $0.195, 0.319 \pm j2.40$) 을 가진 리더 - 팔로워 시스템 (8 개 에이전트) 을 구성.
  • 결합 연결 스위칭 그래프 (두 가지 토폴로지 교차) 하에서 시뮬레이션 수행.
  • 결과: 리더의 상태가 지수적으로 발산함에도 불구하고, 설계된 제어기를 적용한 팔로워 에이전트들의 상태가 리더의 궤적을 정확히 추종하며 오차가 0 으로 수렴함을 확인 (Fig. 2~4).
  • 관측기 결과: 출력 정보만 사용하여 설계된 관측기 또한 리더의 상태를 지수적으로 정확히 추정함 (Fig. 5~7).

5. 의의 및 중요성 (Significance)

• 실용성 증대: 무인 항공기 (UAV), 모바일 로봇 등 실제 응용 분야에서 널리 사용되는 더블 적분기 모델 및 불안정 동역학을 가진 시스템에 대해, 통신 링크의 불안정성 (끊김) 이 있더라도 안정적인 제어가 가능함을 입증했습니다.
• 이론적 돌파구: 2019 년까지의 연구가 가진 '경계 안정성'이라는 장벽을 깨뜨리고, 네트워크 연결성과 시스템 불안정성 사이의 정량적 관계를 규명했습니다.
• 확장성: 합의 문제뿐만 아니라 분산 관측기 설계 문제에도 동일한 접근법을 적용하여, 분산 제어 및 추정 분야의 이론적 기반을 크게 확장했습니다.

이 논문은 결합 연결 스위칭 네트워크 하에서의 다중 에이전트 시스템 제어에 있어 중요한 이론적 진전을 이루었으며, 실제 불안정 시스템을 가진 복잡한 네트워크 환경에서의 합의 문제 해결에 새로운 방향을 제시합니다.