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

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

Mathematical and Theoretical Epidemiology and Ecology Models인용 수 8

한 줄 요약

이 논문은 시간에 따라 변하는, 컷-밸런스드 상호작용을 갖는 연속시간 공감도달 시스템에 대해 조건부 수렴을 확립한다—즉, 에이전트 그룹 간 영향력이 상호 비례하는 경우이다. 에이전트가 공감도달에 도달하는 것은 상호작용 대칭성에 대한 위상적 조건이 만족될 때이고 오직 그 때에만 성립하며, 이 결과는 랜덤 및 내생적 상호작용 시스템으로까지 확장되며, 이와 유사한 결과가 이산시간에서도 도출된다.

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 converge unconditionally. 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. Using the fact that our convergence result is unconditional, we show that it also applies to systems where the agent connectivity and interactions are random, or endogenous, that is, determined by the agent values. We also derive corresponding results for discrete-time systems. 1

연구 동기 및 목표

• 시간에 따라 변하는, 컷-밸런스드 상호작용 구조를 갖는 연속시간 공감도달 시스템의 수렴성을 확립하기 위해.
• 어느 두 에이전트의 극한 값이 동일한지를 보장하는 충분한 위상적 조건을 규명하기 위해.
• 에이전트 간 상호작용이 랜덤하거나 에이전트의 값에 의해 결정되는 내생적일 경우에도 수렴 결과가 조건부로 성립함을 보여주기 위해.
• 유사한 상호작용 특성을 갖는 이산시간 공감도달 시스템으로 분석을 확장하기 위해.
• 정확한 위상 기준을 통해 공감도달과 비공감도달 행동의 경계를 특성화하기 위해.

제안 방법

• 컷-밸런스드를 상호 영향력 조건으로 정의: 한 그룹이 다른 그룹에 영향을 주면, 그 반대 방향의 영향력은 최소한 비례해야 한다.
• 리아푸노프 유형 분석을 사용하여 시스템이 공감도달 상태로 조건부로 수렴함을 증명한다.
• 에이전트가 동일한 극한 값을 갖는지 여부를 결정하기 위해 상호작용 그래프에 위상적 조건을 도입한다.
• 랜덤 또는 값에 의존적인(내생적) 상호작용 역학을 갖는 시스템에 수렴 결과를 적용한다.
• 시간에 따라 변하는 상호작용 하에서 에이전트 상태의 진화를 분석하기 위해 그래프 이론 및 동역학 시스템 기법을 사용한다.
• 이산시간 공감도달 모델에 대해 유사한 수렴 및 공감도달 조건을 유도한다.

실험 결과

연구 질문

• RQ1 컷-밸런스드 공감도달 시스템이 조건부로 수렴하는 조건은 무엇인가?
• RQ2 이러한 시스템에서 두 에이전트가 동일한 극한 값을 갖는 것을 보장하는 위상적 성질은 무엇인가?
• RQ3 수렴 결과는 상호작용 동역학이 랜덤하거나 내생적으로 결정될 경우 어떻게 확장되는가?
• RQ4 연속시간 컷-밸런스드 공감도달 수렴 결과의 이산시간 대응은 무엇인가?
• RQ5 일반적인 경우에 공감도달을 위한 위상 조건은 필수적이고 충분한가?

주요 결과

• 시간에 따라 변하는 컷-밸런스드 상호작용을 갖는 연속시간 공감도달 시스템은 초기 조건이나 상호작용 역학과는 무관하게 조건부로 공감도달 상태로 수렴한다.
• 두 에이전트가 동일한 극한 값을 갖는 데 있어, 상호작용 그래프에 대한 특정 위상 조건은 충분하며 일반적으로 필수적이다.
• 위상 조건이 만족되지 않으면 두 에이전트의 극한 값은 일반적으로 서로 다를 것이며, 이는 공감도달 실패를 시사한다.
• 컷-밸런스드 조건이 시간에 따라 유지되는 한, 랜덤 또는 내생적 상호작용 구조를 갖는 시스템에도 수렴 결과가 적용된다.
• 컷-밸런스드 상호작용을 갖는 이산시간 공감도달 시스템에 대해 유사한 수렴 및 공감도달 조건이 도출된다.
• 이 프레임워크는 대칭적 및 평균을 유지하는 모델을 일반화하며, 이들이 컷-밸런스드 시스템의 특수한 경우임을 보여준다.