[논문 리뷰] Convergence of type-symmetric and cut-balanced consensus seeking systems (extended version)

Julien M. Hendrickx, John N. Tsitsiklis|arXiv (Cornell University)|2011. 02. 11.

Distributed Control Multi-Agent Systems참고 문헌 28인용 수 11

한 줄 요약

이 논문은 일반화된 컷-밸런스 조건 하에서 연속시간 공감 시스템의 수렴성 및 공감 조건을 확립한다. 이 조건은 에이전트 집단 간 영향력이 상호 비례하도록 보장한다. 이 시스템이 항상 수렴하며, 에이전트가 상호 연결된 성분에 속해 있을 경우에만 동일한 한계에 도달함을 증명한다. 이 결과는 시간에 따라 변하는 및 내생적으로 결정되는 네트워크로까지 확장된다.

ABSTRACT

We consider continuous-time consensus seeking systems whose time-dependent interactions are cut-balanced, in the following sense: if a group of agents influences the remaining ones, the former group is also influenced by the remaining ones by at least a proportional amount. Models involving symmetric interconnections and models in which a weighted average of the agent values is conserved are special cases. We prove that such systems always converge. We give a sufficient condition on the evolving interaction topology for the limit values of two agents to be the same. Conversely, we show that if our condition is not satisfied, then these limits are generically different. These results allow treating systems where the agent interactions are a priori unknown, e.g., random or determined endogenously by the agent values. We also derive corresponding results for discrete-time systems.

연구 동기 및 목표

• 시간에 따라 변하는 비대칭 상호작용을 갖는 연속시간 공감 시스템에서의 수렴성을 위한 충분조건을 확립하기.
• 무한대 상호작용 링크의 구조에 기반하여, 에이전트가 동일한 공감 한계에 도달하는 조건을 규명하기.
• 내생적으로 결정되거나 무작위로 변화하는 상호작용 구조를 갖는 시스템으로 수렴 결과를 확장하기.
• 에이전트가 상호 비례하는 강도로 영향을 주고받는 모델에 대한 이론적 기반을 제공하기.
• 컷-밸런스 조건의 한계를 탐색하고 연속체 에이전트 모델로의 확장을 고려하기.

제안 방법

• 컷-밸런스 조건을 도입: 임의의 에이전트 부분집합에 대해, 그 부분집합이 보조집합으로 미치는 영향력이 반대 방향 영향력의 일정 비율 이상이 되도록 보장하며, 이 비율은 상수 $ K \geq 1 $ 을 사용한다.
• 무한대 상호작용 그래프를 정의: 에지 $ (j,i) $ 는 $ \int_0^\infty a_{ij}(\tau)\,d\tau = \infty $ 를 만족할 경우 존재하며, 이 그래프의 약한 연결 성분은 강한 연결 성분임을 보인다.
• 에이전트 값의 $ m $ 개의 최소값에 대한 선형 조합을 기반으로 한 새로운 리아푸노프 유사 방법을 사용하며, 이러한 조합이 비감소적이고 유계임을 증명한다.
• 두 에이전트가 상호 무한대 영향력을 갖는 경우에만 서로 다른 한계에 수렴한다면, 이러한 조합의 총 증가율이 결국 양의 하한을 초월함을 보인다.
• 이 방법을 연속시간 및 이산시간 시스템에 모두 적용하여 유사한 수렴성 및 공감 조건을 유도한다.
• 에이전트 값에 따라 상호작용 구조가 내생적으로 또는 확률적으로 변화하는 시스템으로 결과를 확장한다.

실험 결과

연구 질문

• RQ1 시간에 따라 변하는 비대칭 상호작용을 갖는 연속시간 공감 시스템이 수렴하는 조건은 무엇인가?
• RQ2 이러한 시스템에서 에이전트가 동일한 공감 한계에 도달하는 조건는 무엇이며, 이는 무한대 상호작용의 구조와 어떻게 관련되는가?
• RQ3 컷-밸런스 조건을 사용하여 내생적으로 결정되거나 무작위로 변화하는 상호작용 패tern을 갖는 시스템에서 수렴성을 보장할 수 있는가?
• RQ4 컷-밸런스 조건의 비례 상수 $ K $ 가 시간에 따라 무한히 증가한다면 어떤 일이 발생하는가?
• RQ5 유한 에이전트 시스템의 수렴 결과를 연속체 에이전트 모델로 확장할 수 있는가?

주요 결과

• 컷-밸런스 조건 하에서, 어떤 상호작용 구조이든 간에 모든 에이전트의 값은 유한한 한계로 수렴한다.
• 두 에이전트가 동일한 한계로 수렴하는 것은 유일하게 무한대 상호작용 그래프의 동일한 연결 성분에 속해 있을 경우에만 성립한다.
• 무한대 상호작용 그래프의 서로 다른 성분에 속한 에이전트들은, 유한 시간 동안의 상호작용 적분이 유한하다는 가정 하에 일반적으로 다른 한계에 도달한다.
• 컷-밸런스 조건은 대칭적이고 평균을 유지하는 시스템을 일반화하며, 영향력이 상호 비례할 경우 항상 만족된다.
• 가장 작은 $ m $ 개의 값에 대한 선형 조합을 분석하는 방법은 기존의 이차형 또는 스팬 노름 수축 기반 접근법을 피하는 새로운 증명 기법을 제공한다.
• 컷-밸런스 상수 $ K $ 가 시간에 따라 증가할 수 있도록 允許하면 결과가 성립하지 않음을 보여, 이 조건이 날카로운 조건임을 시사한다.
• 연속체 에이전트 모델로의 직접 확장은 불가능하며, 이는 $ K > 1 $ 인 경우 적절한 도함수 기반 리아푸노프 함수를 구성할 수 없기 때문이다.