[논문 리뷰] Average Consensus in the Presence of Delays and Dynamically Changing Directed Graph Topologies

Christoforos N. Hadjicostis, Themistoklis Charalambous|arXiv (Cornell University)|2012. 10. 17.

Distributed Control Multi-Agent Systems참고 문헌 36인용 수 6

한 줄 요약

이 논문은 유한한 지연과 동적으로 변화하는 방향성 있는 통신 상호연결 구조를 가진 다중 에이전트 시스템에서 정확한 평균 일치를 달성하기 위한 분산 이산 시간 프로토콜을 제안한다. 두 단계 반복 구조를 사용하며, 외부 차수에서 유도된 열-스토하스틱 가중치 행렬을 활용하고, 행렬 곱의 약한 수렴을 이용함으로써, 유한한 지연과 시간에 따라 변하는 방향성 그래프 조건 하에서도 모든 에이전트가 초기 값의 정확한 평균으로 점차 수렴함을 보장한다. 이는 유니언 그래프가 무한히 자주 강하게 연결되어 있을 경우에 성립한다.

ABSTRACT

Classical approaches for asymptotic convergence to the global average in a distributed fashion typically assume timely and reliable exchange of information between neighboring components of a given multi-component system. These assumptions are not necessarily valid in practical settings due to varying delays that might affect transmissions at different times, as well as possible changes in the underlying interconnection topology (e.g., due to component mobility). In this work, we propose protocols to overcome these limitations. We first consider a fixed interconnection topology (captured by a - possibly directed - graph) and propose a discrete-time protocol that can reach asymptotic average consensus in a distributed fashion, despite the presence of arbitrary (but bounded) delays in the communication links. The protocol requires that each component has knowledge of the number of its outgoing links (i.e., the number of components to which it sends information). We subsequently extend the protocol to also handle changes in the underlying interconnection topology and describe a variety of rather loose conditions under which the modified protocol allows the components to reach asymptotic average consensus. The proposed algorithms are illustrated via examples.

연구 동기 및 목표

• 유한한 시간 지연과 동적으로 변화하는 방향성 있는 상호연결 구조를 가진 다중 에이전트 시스템에서 정확한 평균 일치를 달성하는 데 도전하는 것.
• 네트워크의 전역 지식이 필요 없는 분산 프로토콜을 개발하여, 지역적 외부 차수 정보에만 의존하는 것.
• 지연과 상호연결 구조의 변화가 있더라도 초기 값의 정확한 평균으로 수렴하도록 보장하는 것. 기존 방법들은 종종 이를 달성하지 못한다.
• 지연과 상호연결 구조 변화에 대한 이전 연구를 확장하여, 근사값이나 프로파일에 의존하는 값이 아닌 정확한 평균 수렴을 보장하는 것.

제안 방법

• 프로토콜은 상태 변수와 정규화 변수에 대한 두 단계 반복 업데이트를 사용한다. 둘 다 지역적 외부 차수 정보를 이용하여 업데이트된다.
• 업데이트 행렬의 가중치는 외부 차수의 역수에 1을 더한 값으로 설정되며, 이는 매 시간 단계에서 업데이트 행렬이 열-스토하스틱이 되도록 보장한다.
• 지연은 지연된 정보를 추적하는 확장된 상태 공간을 통해 모델링되어, 동일한 프레임워크 내에서 유한한 지연을 처리할 수 있다.
• 열-스토하스틱 행렬의 역행렬 곱의 약한 수렴을 활용하여 두 상태 변수의 비율이 정확한 평균으로 수렴하도록 보장한다.
• 이 방법은 행렬 곱이 강한 수렴을 보이지 않더라도, 약한 극한의 구조 덕분에 두 상태 벡터의 비율이 여전히 평균으로 수렴한다는 사실에 기반한다.
• 시간에 따라 변하는 방향성 그래프를 다루기 위해, 연속적인 간격 동안의 상호연결 구조의 유니언 그래프가 무한히 자주 강하게 연결되어야 한다는 조건을 도입한다.

실험 결과

연구 질문

• RQ1 유한한 지연과 시간에 따라 변하는 방향성 있는 상호연결 구조 하에서 분산적으로 정확한 평균 일치를 달성할 수 있는가?
• RQ2 네트워크 상호연결 구조와 지연 프로파일에 대해 어떤 조건이 정확한 평균으로 수렴을 보장하는 데 충분한가?
• RQ3 로컬 외부 차수 정보만을 사용하면서도 정확한 평균 일치를 달성할 수 있는 프로토콜을 어떻게 설계할 수 있는가?
• RQ4 왜 행-스토하스틱 프로토콜은 지연 조건 하에서 정확한 평균 일치를 달성하지 못하는가? 그리고 제안된 열-스토하스틱 접근 방식은 이를 어떻게 극복하는가?

주요 결과

• 제안된 프로토콜은 유니언 그래프가 무한히 자주 강하게 연결되어 있을 경우, 임의의 유한한 지연과 동적으로 변화하는 방향성 있는 상호연결 구조 하에서도 점차 수렴하는 평균 일치를 달성한다.
• 기존의 많은 접근 방식이 지연의 크기나 프로파일에 따라 달라지는 값으로 수렴하는 데 반해, 이 프로토콜은 초기 값의 정확한 평균으로 수렴함을 보장한다.
• 약한 수렴을 활용한 두 단계 반복 프로세스를 통해 열-스토하스틱 행렬의 역행렬 곱의 약한 수렴을 이용하여, 상태 변수의 비율을 통해 정확한 평균을 계산할 수 있다.
• 시뮬레이션 결과는 정적 및 시간에 따라 변하는 상호연결 구조 모두에서 프로토콜이 정확한 평균으로 수렴하는 것으로 확인되었으며, 지연이 존재할 경우 수렴 속도가 느려지는 경향을 보였다.
• 이 방법은 임의의 유한한 지연에 대해 강건하며, 지연 값의 지식이 필요하지 않다. 오직 지연이 유한하고 유한하다는 것만 안다면 충분하다.
• 행-스토하스틱 프로토콜보다 더 일반적인 접근 방식이며, 강한 수렴 요구 조건으로 인해 지연 조건 하에서 정확한 평균 일치를 달성하지 못하는 경향이 있는 기존 방법들에 비해 우월하다.