[논문 리뷰] Modulus Consensus over Networks with Antagonistic Interactions and Switching Topologies

Ziyang Meng, Guodong Shi외 3명|arXiv (Cornell University)|2014. 02. 12.

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

한 줄 요약

이 논문은 교환 가능한 상호작용이 있는 다중 에이gent 네트워크에서 스위칭 토폴로지 하에 이산 시간 공감을 연구한다. 균일하게 연합된 강한 연결성(일방향) 또는 무한한 연합 연결성(이방향) 조건 하에서 시간에 따라 변하는 상호작용 부호에 관계없이 절대 상태 값이 공감에 수렴함을 증명하고, 이분 공감을 위한 조건을 수립한다. 결과는 비선형 Kuramoto 모델을 사용한 시뮬레이션을 통해 검증된다.

ABSTRACT

In this paper, we study the discrete-time consensus problem over networks with antagonistic and cooperative interactions. Following the work by Altafini [IEEE Trans. Automatic Control, 58 (2013), pp. 935--946], by an antagonistic interaction between a pair of nodes updating their scalar states we mean one node receives the opposite of the state of the other and naturally by an cooperative interaction we mean the former receives the true state of the latter. Here the pairwise communication can be either unidirectional or bidirectional and the overall network topology graph may change with time. The concept of modulus consensus is introduced to characterize the scenario that the moduli of the node states reach a consensus. It is proved that modulus consensus is achieved if the switching interaction graph is uniformly jointly strongly connected for unidirectional communications, or infinitely jointly connected for bidirectional communications. We construct a counterexample to underscore the rather surprising fact that quasi-strong connectivity of the interaction graph, i.e., the graph contains a directed spanning tree, is not sufficient to guarantee modulus consensus even under fixed topologies. Finally, simulation results using a discrete-time Kuramoto model are given to illustrate the convergence results showing that the proposed framework is applicable to a class of networks with general nonlinear node dynamics.

연구 동기 및 목표

• 이산 시간 다중 에이gent 시스템에서 공존하는 협력적 및 적대적 상호작용의 거동을 분석하기 위해.
• 시간에 따라 변하는 상호작용 부호 조건 하에서 스위칭 토폴로지가 절대값 공감에 미치는 영향을 조사하기 위해.
• 협력-적대적 네트워크에서 절대값 공감 및 이분 공감을 위한 충분한 연결성 조건을 규명하기 위해.
• 비선형 Kuramoto 모델을 사용한 시뮬레이션을 통해 이론적 결과를 검증하기 위해.

제안 방법

• 저자는 협력적 상호작용를 위해 이웃의 상태를 그대로 수신하고, 적대적 상호작용를 위해 이웃 상태의 음수를 수신하는 방식으로 모델링한다.
• 일방향 또는 이방향 통신을 나타내는 시간에 따라 변하는 부호가 붙은 상호작용 행렬을 사용하여 상태공간 접근법을 적용한다.
• 핵심 연결성 조건으로서, 일방향 그래프에 대한 균일한 연합 강한 연결성과 이방향 그래프에 대한 무한한 연합 연결성을 도입한다.
• 이론적 분석을 통해 에이gent 상태의 극한이 존재하고, 이러한 극한의 절대값이 이러한 연합 연결성 조건 하에서 수렴함을 증명한다.
• 비선형 동역학, 예를 들어 적대적 링크가 있는 이산 시간 Kuramoto 모델로 결과를 확장하기 위해 리프팅 기법을 적용한다.
• 주기적인 스위칭 토폴로지와 특정 부호가 붙은 행렬을 사용하여 절대값 수렴 및 이분 공감을 검증하기 위한 시뮬레이션을 수행한다.

실험 결과

연구 질문

• RQ1 협력-적대적 네트워크에서 에이gent 상태의 절대값 수렴을 위한 스위칭 토폴로지 조건은 무엇인가?
• RQ2 준강한 연결성은 고정된 토폴로지 조건 하에서도 절대값 공감을 보장하는 데 충분한가?
• RQ3 스위칭 네트워크에서 연합 연결성 조건 하에 이분 공감을 달성할 수 있는가?
• RQ4 적대적 상호작용는 비선형 다중 에이gent 시스템(예: Kuramoto 모델)의 수렴 행동에 어떤 영향을 미치는가?

주요 결과

• 균일하게 연합된 강한 연결성을 가진 일방향 토폴로지 조건 하에서 모든 에이gent 상태의 극한이 존재하고, 그 절대값이 동일한 값으로 수렴한다.
• 이방향 토폴로지 조건 하에서 상호작용 그래프가 무한히 연합 연결되어 있으면 절대값 공감이 달성된다.
• 반례를 통해 준강한 연결성(방향성 스패닝 트리를 포함함)은 고정된 토폴로지 조건 하에서도 절대값 공감을 보장하지 못함을 보여준다.
• 연합 연결성 조건 하에서 이분 공감은 달성 가능하며, 시뮬레이션 결과는 이분 스위칭 토폴로지 조건 하에서 이러한 행동을 확인한다.
• 이론적 프레임워크는 비선형 시스템에도 적용 가능하며, 적대적 링크가 있는 이산 시간 Kuramoto 모델에서 수렴을 통해 이를 입증한다.
• 절대값 수렴은 설계 목표가 아니라 잠재적 행동이며, 시간에 따라 변하는 상호작용 부호와 무관하게 성립한다.