[논문 리뷰] Robust Consensus for Multi-Agent Systems Communicating over Stochastic Uncertain Networks

Zhongkui Li, Jie Chen|arXiv (Cornell University)|2017. 03. 29.

Distributed Control Multi-Agent Systems참고 문헌 25인용 수 7

한 줄 요약

이 논문은 다중 에이전트 시스템의 이산 시간 선형 시스템에 대해 스 tochastic한 불확실성 네트워크에서 강건한 공감 도달 방법을 제안한다. 통신 링크를 다중성 노이즈로 모델링하여 패킷 손실, 지연, 페이딩을 반영한다. 수정된 대수 Riccati 방정식을 풀어 채널 불확실성 하에서 평균 제곱 공감 도달을 보장하며, 충분 조건은 네트워크 동기화 가능성, 에이전트 동역학, 노이즈 분산과의 내재적 한계를 드러낸다.

ABSTRACT

In this paper, we study the robust consensus problem for a set of discrete-time linear agents to coordinate over an uncertain communication network, which is to achieve consensus against the transmission errors and noises resulted from the information exchange between the agents. We model the network by means of communication links subject to multiplicative stochastic uncertainties, which are susceptible to describing packet dropout, random delay, and fading phenomena. Different communication topologies, such as undirected graphs and leader-follower graphs, are considered. We derive sufficient conditions for robust consensus in the mean square sense. This results unveil intrinsic constraints on consensus attainment imposed by the network synchronizability, the unstable agent dynamics, and the channel uncertainty variances. Consensus protocols are designed based on the state information transmitted over the uncertain channels, by solving a modified algebraic Riccati equation.

연구 동기 및 목표

• 패킷 손실, 지연, 페이딩과 같은 스 tochastic한 불확실성에 노출된 통신 채널에서 공감 도달을 달성하는 데 도전하는 문제를 다루기.
• 실제 네트워크의 비결함을 반영하기 위해 다중성 스 tochastic한 불확실성을 사용한 현실적인 통신 모델을 제시하기.
• 네트워크 구조, 에이전트 동역학, 채널 노이즈 분산을 명시적으로 고려한 평균 제곱 공감 도달을 위한 충분 조건 유도하기.
• 불확실한 채널을 통해 전송되는 상대 상태 정보를 기반으로 강건한 공감 도달 프로토콜 설계하기.
• 공감 도달이 유지 가능한 채널 불확실성의 기본 한계를 조사하여 네트워크 동기화 가능성, 에이전트의 불안정성, 노이즈 수준 간의 상충 관계 밝히기.

제안 방법

• 각 통신 링크를 패킷 드롭, 랜덤 지연, 페이딩을 나타내는 다중성 불확실성을 가진 스 tochastic 채널로 모델링하기.
• 불확실한 채널을 통해 상태 피드백 제어를 적용한 이산 시간 선형 에이전트 모델을 사용해 시스템 동역학 수립하기.
• 불확실성 하에서도 안정성을 확보하기 위해 공감 도달 프로토콜의 이득 행렬 K를 설계하기 위해 수정된 대수 Riccati 방정식(MARE) 도입하기.
• 라플라시안 행렬의 고유분해를 이용한 유니터리 변환을 통해 공감 오차 동역학을 안정한 부분계로 분리하기.
• 채널 불확실성 분산과 네트워크 구조 특성의 정보를 활용해 오차 에너지의 기대값을 경계함으로써 평균 제곱 수렴 분석하기.
• 라플라시안 행렬의 고유값과 에이전트의 구조 엔트로피를 사용해 시스템의 내재된 강건성 한계 기술하기.

실험 결과

연구 질문

• RQ1 스 tochastic한 불확실한 통신 채널을 가진 다중 에이전트 시스템에서 평균 제곱 공감 도달이 달성될 수 있는 충분 조건는 무엇인가?
• RQ2 네트워크 구조(예: 무방향 또는 리더-팔로워), 에이전트 동역학, 채널 불확실성이 함께 공감의 강건성에 어떤 제약을 가하는가?
• RQ3 공감 도달이 가능할 수 있는 채널 불확실성 분산의 기본 한계는 무엇이며, 이는 시스템의 동기화 가능성과 에이전트의 불안정성과 어떻게 관련되어 있는가?
• RQ4 통신 채널이 다중성 노이즈에 의해 손상될 경우, 상대 상태 정보만을 사용해 공감 도달 프로토콜를 어떻게 설계할 수 있는가?
• RQ5 제안된 조건들이 불확실성 분산 $\varrho^2 = 0$ 인 이상적인 채널에서 고전적인 공감 결과를 어떻게 복원하는가?

주요 결과

• 평균 제곱 공감 도달을 위한 충분 조건가 라플라시안 행렬의 고유값, 에이전트 동역학의 구조 엔트로피, 채널 불확실성 분산을 포함한다.
• 강건한 공감 도래 프로토콜는 불확실성 분산을 포함하는 수정된 대수 Riccati 방정식(MARE)을 풀어 설계되며, 기대값 기반 안정성을 보장한다.
• 조건 $(\alpha\lambda_i - 1)^2 + \alpha^2\varrho^2\lambda_i < \frac{1}{M(A)^2}$ 는 평균 제곱 공감 도달을 보장하며, 여기서 $\varrho^2$ 는 채널 불확실성의 최대 분산이다.
• 불확실성 분산 $\varrho^2 = 0$ 인 경우, 제안된 방법은 고전적인 공감 결과를 복원하여 이전 연구와의 일관성을 확인한다.
• 무방향 사이클 네트워크에 있는 여섯 개의 더블 인테그레이터 에이전트를 대상으로 한 수치 시뮬레이션은 $\alpha = 0.25$ 와 $K = [-0.1038 \; 1.1038]$ 일 때 설계된 프로토콜 하에서 평균 제곱 공감 도달이 달성됨을 확인한다.
• 1000개의 샘플된 궤적 $x_i(k) - x_1(k)$ 의 평균이 0으로 수렴함으로써, 스 tochastic한 불확실성 하에서 이론적 평균 제곱 공감 도달이 검증된다.