[논문 리뷰] On Synchronization of Dynamical Systems over Directed Switching Topologies: An Algebraic and Geometric Perspective

Jiahu Qin, Qichao Ma외 2명|arXiv (Cornell University)|2018. 07. 20.

Nonlinear Dynamics and Pattern Formation참고 문헌 31인용 수 5

한 줄 요약

이 논문은 방향성 있고 스위칭 가능한 상호작용 구조를 가진 일반적인 선형 및 리프시츠 비선형 동적 시스템에서의 동기화를 분석하기 위한 통합적인 대수적이고 기하학적 프레임워크를 제시한다. 선형 케이스에서는 라플라스 행렬의 영이 아닌 고유공간에 의해 생성되는 부분공간으로 시스템 상태를 투영하고, 비선형 케이스에서는 리프시츠 성질을 유지하는 불변 부분공간으로 투영함으로써, 동기화 문제를 각 부분공간 내 수렴 분석으로 환원한다. 공동 연결성과 약한 시스템 조건 하에서 전역 동기화를 증명하였으며, 부분 상태로 연결된 선형 시스템에 대한 검증 가능한 조건과 비선형 시스템에 대한 결합 강도 임계값을 제시한다.

ABSTRACT

In this paper, we aim to investigate the synchronization problem of dynamical systems, which can be of generic linear or Lipschitz nonlinear type, communicating over directed switching network topologies. A mild connectivity assumption on the switching topologies is imposed, which allows them to be directed and jointly connected. We propose a novel analysis framework from both algebraic and geometric perspectives to justify the attractiveness of the synchronization manifold. Specifically, it is proven that the complementary space of the synchronization manifold can be spanned by certain subspaces. These subspaces can be the eigenspaces of the nonzero eigenvalues of Laplacian matrices in linear case. They can also be subspaces in which the projection of the nonlinear self-dynamics still retains the Lipschitz property. This allows to project the states of the dynamical systems into these subspaces and transform the synchronization problem under consideration equivalently into a convergence one of the projected states in each subspace. Then, assuming the joint connectivity condition on the communication topologies, we are able to work out a simple yet effective and unified convergence analysis for both types of dynamical systems. More specifically, for partial-state coupled generic linear systems, it is proven that synchronization can be reached if an extra condition, which is easy to verify in several cases, on the system dynamics is satisfied. For Lipschitz-type nonlinear systems with positive-definite inner coupling matrix, synchronization is realized if the coupling strength is strong enough to stabilize the evolution of the projected states in each subspace under certain conditions.

연구 동기 및 목표

• 방향성 있고 스위칭 가능한 통신 구조를 가진 일반적인 선형 및 리프시츠 비선형 시스템에서의 동기화 문제를 해결하기 위해.
• 비수렴성 있는 스위칭 부분계의 경우 기존 라플라스 및 수축 방법의 한계를 극복할 수 있는 통합 분석 프레임워크를 개발하기 위해.
• 모든 시스템 유형에 일반화 가능한 검증 가능하고 일반적인 충분조건을 설정하기 위해.
• 스위칭 구조, 결합 강도, 시스템 역학이 동기화 행동에 미치는 영향을 명확히 하기 위해.

제안 방법

• 동기화 다양체와 그 여포 부분공간으로 상태 공간을 새로운 분해를 도입하며, 이 여포 부분공간은 선형 케이스에서 라플라스 행렬의 영이 아닌 고유값에 의해 생성된다.
• 비선형 시스템의 경우, 비선형 자기역학의 투영이 리프시츠 성질을 유지하는 부분공간을 식별함으로써 각 부분공간 내 등가 수렴 분석이 가능해진다.
• 기하학적 투영 기법을 적용하여 전역 동기화 문제를 각 여포 부분공간 내 국소 수렴 문제로 변환한다.
• 스위칭 구조의 공동 연결성을 약한 가정으로 삼아, 여포 부분공간의 동역학이 시간이 지남에 따라 0으로 수렴하도록 보장한다.
• 각 부분공간 내 투영된 상태의 진화를 분석함으로써 선형 및 비선형 시스템에 모두 적용 가능한 통합된 수렴 분석 전략을 적용한다.
• 명시적인 조건을 유도한다: 부분 상태로 연결된 선형 시스템에 대한 검증 가능한 시스템 이론적 조건과, 정정규 내부 결합 행렬을 가진 리프시츠 비선형 시스템에 대한 결합 강도 임계값.

실험 결과

연구 질문

• RQ1 부분 상태로 연결된 일반적인 선형 시스템이 방향성 있고 스위칭 가능한 상호작용 구조에서 어떤 조건 하에 동기화를 달성할 수 있는가?
• RQ2 리프시츠 비선형 시스템의 동기화 문제는 어떻게 불변 부분공간 내 수렴 문제로 환원될 수 있는가?
• RQ3 스위칭 구조의 공동 연결성이 동기화 보장에 어떤 역할을 하는가? 특히 개별 구조가 연결되어 있지 않을 경우에도 마찬가지인가?
• RQ4 시스템 역학, 결합 강도, 그리고 구조 스위칭 방식이 동기화 다양체 수렴에 어떻게 영향을 미치는가?
• RQ5 동일한 이론적 기반에서 선형 및 비선형 시스템을 모두 분석할 수 있는 통합 프레임워크를 개발할 수 있는가?

주요 결과

• 부분 상태로 연결된 일반적인 선형 시스템의 경우, 시스템 역학에 대한 단순하고 검증 가능한 조건이 충족되면, 개별 라플라스 행렬이 다수의 영 고유값을 가질지라도 동기화가 보장된다.
• 정정규 내부 결합 행렬을 가진 리프시츠 유형의 비선형 시스템의 경우, 각 여포 부분공간 내 투영된 동역학을 안정화하는 데 필요한 결합 강도 임계값을 초과하면 동기화가 달성된다.
• 동기화 다양체의 여포 부분공간은 시스템 동역학의 구조적 성질을 유지하는 부분공간으로 구성된다. 선형 케이스에서는 고유공간이 되며, 비선형 케이스에서는 리프시츠 불변 부분공간이 된다.
• 제안된 프레임워크는 선형 및 비선형 시스템의 분석을 하나의 대수기하학적 관점에서 통합함으로써 기존 결과를 일반화한다.
• 모순과 방향 그래프의 구조 분석에 기반한 증명 기법은, 그래프 구성요소의 독립적 부분과 공통 부분에서의 불일치가 0이 되면 모든 에이전트가 동일한 상태를 갖게 된다고 입증한다.
• 공동 연결성 조건에서 그래프의 등장 순서는 동기화 결과에 영향을 주지 않으며, 이는 스위칭 순서에 대한 강건성을 시사한다.