[논문 리뷰] Multi-agent Robust Consensus: Convergence Analysis and Application

Guodong Shi, Karl Henrik Johansson|arXiv (Cornell University)|2011. 08. 16.

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

한 줄 요약

이 논문은 프로세스 노이즈 하에서 시간에 따라 변하는 방향성 있는 통신 그래프를 가진 연속시간 다중 에이전트 시스템에 대해 강건한 공감 프레임워크를 제안한다. 입력-상태 안정성(ISS) 및 적분 ISS(iISS) 개념을 활용하여, 강건한 공감을 위한 충분하고 필수적인 연결 조건—일반적인 연속성 연결 조건은 강건한 공감을, 무한한 연속성 연결 조건은 적분 강건한 공감을 위한 조건—을 규명하며, 노이즈와 스위칭 토폴로지에 대한 일반적인 가정 하에 명시적인 수렴 경계와 $\varepsilon$-수렴 시간 추정치를 제공한다.

ABSTRACT

The paper investigates consensus problem for continuous-time multi-agent systems with time-varying communication graphs subject to process noises. Borrowing the ideas from input-to-state stability (ISS) and integral input-to-state stability (iISS), robust consensus and integral robust consensus are defined with respect to $L_\infty$ and $L_1$ norms of the disturbance functions, respectively. Sufficient and/or necessary connectivity conditions are obtained for the system to reach robust consensus or integral robust consensus, which answer the question: how much communication capacity is required for a multi-agent network to converge despite certain amount of disturbance. The $ε$-convergence time is then obtained for the network as a special case of the robustness analysis. The results are based on quite general assumptions on switching graph, weights rule and noise regularity. In addition, as an illustration of the applicability of the results, distributed event-triggered coordination is studied.

연구 동기 및 목표

• 프로세스 노이즈 하에서 다중 에이전트 네트워크가 공감을 달성하기 위해 필요한 통신 용량의 정도에 대한 정량적 이해가 부족한 문제를 해결하기 위해.
• 이산 시간 다중 에이전트 시스템에서의 강건성 분석을 일반적인 방향성 및 시간에 따라 변하는 통신 그래프를 가진 연속 시간 다중 에이전트 시스템으로 확장하기 위해.
• 분포 함수의 $L_{\infty}$ 및 $L_{1}$ 노름을 각각 활용하여 강건한 공감과 적분 강건한 공감을 정의하고 분석하기 위해.
• 강건성 분석의 직접 결과로서 $\varepsilon$-수렴 시간에 대한 명시적인 상한을 유도하기 위해.
• 유도된 강건성 부등식을 활용하여 분산 이벤트 트리거 기반 협업을 통해 적용 가능성을 입증하기 위해.

제안 방법

• ISS 및 iISS 이론에 영감을 얻어, 외란 함수의 $L_{\infty}$ 및 $L_{1}$ 노름을 통해 강건한 공감과 적분 강건한 공감을 도입하기 위해.
• 상대 위치 기반 연속 시간 협업 프로토콜을 정의하고 노이즈 있는 통신 하에서의 안정성 분석을 수행하기 위해.
• 리아푸노프 유사 함수와 그래프 이론적 도구를 사용하여 시스템 행동을 분석하고, 특히 불일치 함수 $\mathcal{H}(x(t))$ 의 진화를 다루기 위해.
• 노이즈 수준 $\delta(t)$, 최소 통신 가중치 $M(t)$ 및 시스템 파라미터를 활용하여 상태 이탈 $|\hat{w}_i(t)|$ 의 경계를 설정하기 위해.
• 모든 국소적 점근적 공감을 달성하기 위해 $\tau_0 > 0$ (양의 체류 시간) 이 필수적임을 모순과 지수 감쇠 분석을 통해 증명하기 위해.
• 강건성 경계의 결과로서 $\varepsilon$-수렴 시간을 유도하고, 일반적인 연속성 연결 조건 하에서 지수 수렴을 보여주기 위해.

실험 결과

연구 질문

• RQ1 프로세스 노이즈 하에서 다중 에이전트 시스템이 강건한 공감을 달성하기 위해 필요한 통신 연결 수준은 무엇인가?
• RQ2 외란의 $L_{\infty}$ 및 $L_{1}$ 노름 선택이 시간에 따라 변하는 방향성 그래프에서 공감의 강건성에 미치는 영향은 무엇인가?
• RQ3 일반적인 스위칭 토폴로지 하에서 연속 시간 다중 에이전트 시스템의 $\varepsilon$-수렴 시간에 대한 정량적 경계는 무엇인가?
• RQ4 강건성 프레임워크는 분산 이벤트 트리거 기반 협업 프로토콜에 적용될 수 있는가?
• RQ5 스위칭 그래프, 가중치 규칙 및 노이즈 정규성에 대한 가정은 시스템의 수렴성과 안정성에 어떻게 영향을 미치는가?

주요 결과

• 일반적인 연속성 연결 조건은 $L_{\infty}$-유계 외란 하에서 강건한 공감을 위한 필수적이고 충분한 조건이다.
• 적분 강건한 공감을 위해서는 $L_{1}$-유계 외란 하에서 무한한 연속성 연결 조건이 필요하다.
• $\varepsilon$-수렴 시간은 시스템 파라미터에 명시적인 의존성을 가지며, 형태 $A_0 e^{-\theta_0 t} \mathcal{H}(x^0)$ 의 지수 함수로 경계된다.
• 모든 국소적 점근적 공감을 달성하기 위해 체류 시간에 대한 균일한 하한 $\tau_0 > 0$ 가 필수적임이 모순과 지수 감쇠 분석을 통해 증명되었다.
• 상태 이탈 $|\hat{w}_i(t)|$ 는 $2(N-1)\left[1 + \frac{L_0 e^{2\theta L_0}}{\tau_0}\right]\delta(t)$ 로 경계되며, 이는 전역 점근적 공감(GAC)을 보장한다.
• 이 프레임워크는 분산 이벤트 트리거 기반 협업에 적용되어, 온건한 가정 하에서도 실용성과 일반 적용 가능성을 입증하였다.