[논문 리뷰] Convergence to consensus of the general finite-dimensional Cucker-Smale model with time-varying delays

Cristina Pignotti, Emmanuel Trélat|arXiv (Cornell University)|2017. 07. 17.

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

한 줄 요약

이 논문은 시간에 따라 변하는 지연이 있는 에이전트 상호작용을 갖는 Cucker-Smale 모델을 연구하며, 대칭적이고 비대칭적인 통신 가중치 하에서 수렴성을 입증하기 위해 리아푸노프 함수 방법을 사용한다. 주요 결과는 결합 강도, 통신 가중치, 지연 도함수의 유계 조건에 따라 결정되며 에이전트 수에 영향을 받지 않는 지연 이하에서 공감이 보장되는 임계값을 설정한다.

ABSTRACT

We consider the celebrated Cucker-Smale model in finite dimension, modelling interacting collective dynamics and their possible evolution to consensus. The objective of this paper is to study the effect of time delays in the general model. By a Lyapunov functional approach, we provide convergence results to consensus for symmetric as well as nonsymmetric communication weights under some structural conditions.

연구 동기 및 목표

• 일반적인 유한차원 Cucker-Smale 모델에서 시간에 따라 변하는 지연이 공감 형성에 미치는 영향을 분석하는 것.
• 기존의 리아푸노프 기반 수렴 결과를 지연된 정보 교환을 갖는 모델로 확장하는 것.
• 지연이 존재할 경우 대칭적 및 비대칭적 통신 가중치 하에서 공감을 위한 충분한 조건을 설정하는 것.
• 에이전트 수에 독립적인 지연 임계값을 도출하는 것. 이는 결합 강도 λ, 통신 가중치, 지연 도함수의 유계 조건에 따라 결정된다.

제안 방법

• 저자는 지연된 Cucker-Smale 모델에서 안정성과 공감 수렴성을 분석하기 위해 리아푸노프 함수수행 방법을 사용한다.
• 대칭적 통신 가중치의 경우, 원래 Cucker-Smale 리아푸노프 방법을 확장한 L² 분석을 사용한다.
• 비대칭 가중치의 경우, Motsch와 Tadmor의 프레임워크를 따르는 L∞ 분석을 적용한다.
• 모델은 유계 도함수 |τ′(t)| ≤ c < 1 과 τ(t) ∈ [0, τ̄] 를 갖는 시간에 따라 변하는 지연 τ(t) 를 포함한다.
• 분석은 연속적이고 유계인 통신 잠재력 ψ(s) ≤ 1 과 구간 [−τ(0), 0] 에서의 초기 자료를 가정한다.
• 수렴 기준은 위치 분산 X(t) 가 유계이고, 시간이 무한해질 때 속도 분산 V(t) → 0 이 되는 것으로 정의된다.

실험 결과

연구 질문

• RQ1 시간에 따라 변하는 지연이 대칭적 통신 가중치 하에서 Cucker-Smale 모델이 여전히 공감으로 수렴하기 위한 조건은 무엇인가?
• RQ2 지연이 시간에 따라 변할 경우 비대칭적 통신 가중치 하에서도 공감을 달성할 수 있는가?
• RQ3 모델에서 공감을 보장하는 지연과 그 도함수의 정확한 임계값은 무엇인가?
• RQ4 지연 임계값은 결합 강도 λ 와 통신 잠재력 ψ 에 따라 어떻게 달라지는가?
• RQ5 공감 임계값은 시스템의 에이전트 수 N 에 영향을 받는가?

주요 결과

• 유계 시간에 따라 변하는 지연 하에서 L² 리아푸노프 함수수행 방법을 사용하여 대칭적 통신 가중치 하에서 공감 수렴이 입증된다.
• 비대칭 가중치의 경우, 동일한 지연 조건 하에서 L∞ 분석을 통해 공감이 보장되며, 이는 이전 결과를 지연된 설정으로 확장한 것이다.
• 지연이 공감을 보장하는 임계값이 존재하며, 이는 λ, 통신 잠재력, |τ′(t)| 의 유계 조건 c 에 따라 결정된다.
• 이 임계값은 에이전트 수 N 에 영향을 받지 않으며, 이는 무한차원 모델로의 확장 가능성을 시사한다.
• 수치 시뮬레이션은 τ ≈ 5 에서는 공감이 상실되고, τ < 0.5 에서는 공감이 유지됨을 확인하였으며, 이는 이론적 임계값과 일치하지만 정확하지는 않다.
• 속도 상호작용 항에만 지연이 존재하는 모델(즉, v_i 에는 지연이 없음)은 물리적으로 현실적이지만, 수학적으로 분석하기 더 복잡하다는 것이 입증되었다.