[논문 리뷰] Distributed Algorithms for Consensus and Coordination in the Presence of Packet-Dropping Communication Links - Part II: Coefficients of Ergodicity Analysis Approach

Nitin H. Vaidya, Christoforos N. Hadjicostis외 1명|arXiv (Cornell University)|2011. 09. 29.

Distributed Control Multi-Agent Systems참고 문헌 8인용 수 10

한 줄 요약

이 논문은 계수의 에르고딕성(ergodicity)을 사용하여 비정상적이고 패킷을 유실하는 통신 링크를 가진 네트워크에 대해 강건한 분산 공감 알고리즘을 제안한다. 유한한 비균일 마르코프 체인으로 시스템을 모델링함으로써, 일반적인 조건 하에서 메시지 지연이나 링크 장애가 있을 경우에도 비율 기반 공감 알고리즘이 거의 확실히 수렴함을 증명한다. 이는 확률적 링크 행동에도 불구하고 상태 비율이 초기 값의 평균으로 수렴하기 때문이다.

ABSTRACT

In this two-part paper, we consider multicomponent systems in which each component can iteratively exchange information with other components in its neighborhood in order to compute, in a distributed fashion, the average of the components' initial values or some other quantity of interest (i.e., some function of these initial values). In particular, we study an iterative algorithm for computing the average of the initial values of the nodes. In this algorithm, each component maintains two sets of variables that are updated via two identical linear iterations. The average of the initial values of the nodes can be asymptotically computed by each node as the ratio of two of the variables it maintains. In the first part of this paper, we show how the update rules for the two sets of variables can be enhanced so that the algorithm becomes tolerant to communication links that may drop packets, independently among them and independently between different transmission times. In this second part, by rewriting the collective dynamics of both iterations, we show that the resulting system is mathematically equivalent to a finite inhomogenous Markov chain whose transition matrix takes one of finitely many values at each step. Then, by using e a coefficients of ergodicity approach, a method commonly used for convergence analysis of Markov chains, we prove convergence of the robustified consensus scheme. The analysis suggests that similar convergence should hold under more general conditions as well.

연구 동기 및 목표

• 다중 에이전트 시스템에서 패킷을 유실하는 통신 링크에 강건한 분산 공감 알고리즘을 개발하기 위해.
• 링크 장故의 확률 모델에 의존하지 않고 이중 반복 비율 공감 알고리즘의 수렴성을 분석하기 위해.
• 임의의 메시지 지연과 비FIFO 전달 조건을 포함한 일반 조건 하에서도 수렴성을 확립하기 위해.
• 시스템 역학을 시간에 따라 변하는 전이 행렬을 가진 유한한 비균일 마르코프 체인으로 모델링할 수 있음을 보여주기 위해.
• 신뢰성 없는 통신 링크가 있는 분산 시스템에서 두 상태 변수의 비율이 초기 값의 평균으로 수렴함을 증명하기 위해.

제안 방법

• 두 선형 반복의 집단 역학을 유한한 비균일 마르코프 체인으로 재기록하며, 가능한 행렬들의 유한 집합에서 유도된 전이 행렬을 사용한다.
• 가상 버퍼를 도입하여 전송된 질량과 수신된 질량 간의 차이를 모델링함으로써, 시스템을 마르코프 체인으로 표현할 수 있도록 한다.
• 에르고딕성 계수를 적용하여 수렴성을 분석하고, 비균일 마르코프 체인 이론의 도구를 활용한다.
• 전이 행렬의 행이 시간이 지남에 따라 점점 더 유사해지는 성질을 이용하여 상태 비율의 수렴성을 보장한다.
• 공감 추정치를 두 상태 변수의 비율로 정의하며, 분모 상태가 무한히 자주 0에서 멀리 떨어져 있음을 보장한다.
• 링크 장애 패tern과 무관하게 유한 시간 이후 정밀도 ε 이내로 비율이 초기 평균으로 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 확률적 가정 없이도 비율 공감 알고리즘이 독립적이고 임의의 패킷 손실 상황에서도 수렴할 수 있는가?
• RQ2 이중 반복 공감 알고리즘의 역학을 어떻게 재구성하여 신뢰성 없는 통신 환경 하에서도 수렴성 분석이 가능하게 할 수 있는가?
• RQ3 신뢰성 없는 링크가 있는 분산 시스템에서 두 상태 변수의 비율이 초기 값의 평균으로 수렴하는 조건은 무엇인가?
• RQ4 제안된 프레임워크는 메시지 지연과 비FIFO 전달을 처리할 수 있으며, 공감 수렴성을 유지할 수 있는가?
• RQ5 비균일 마르코프 체인 표현에서 수렴성을 보장하는 전이 행렬의 구조적 특성은 무엇인가?

주요 결과

• 두 상태 변수의 비율은 유한한 시간 kε 이후 초기 값의 평균으로 임의의 정밀도 ε 이내로 수렴한다.
• 전이 행렬의 행이 충분히 유사해지고 분모 상태가 무한히 자주 0에서 멀리 떨어져 있으면서 수렴이 보장된다.
• 지연 분포에 경미한 제약 조건이 충족되면, 임의의 메시지 지연 조건 하에서도 알고리즘이 공감을 달성한다.
• 시스템은 비FIFO 메시지 전달을 견딜 수 있으며, 각 링크당 B개의 가상 버퍼 노드를 사용하여 최대 B 슬롯의 지연을 모델링할 수 있다.
• 에르고딕성 계수 프레임워크는 링크 장애의 독립성 또는 동일 분포가 필요 없음을 보장하여 수렴성 분석이 가능하다.
• 분석은 무선 네트워크를 초월하여 전이 행렬이 조건 (M1)–(M5)를 충족하는 모든 시스템에 적용 가능하다.