[논문 리뷰] k-Order Contraction: Theory and Applications

Chengshuai Wu, Ilya Kanevskiy외 1명|arXiv (Cornell University)|2020. 08. 24.

Control and Stability of Dynamical Systems참고 문헌 37인용 수 5

한 줄 요약

이 논문은 k-순서 수축, 즉 k-평행육면체가 시간에 따라 지수적으로 수축하는 시스템을 특성화하는 기하학적 일반화된 수축 이론을 제안한다. 잴리안의 k제곱 덧셈 복합체에 행렬 측도 조건을 확장함으로써, 비선형 동역계에서 안정성과 동기화를 검증 가능한 기준으로 제공하며, Muldowney와 Li의 2-순서 수축 결과를 포함한 고전적 결과를 일반화한다.

ABSTRACT

A dynamical system is called contractive if any two solutions approach one another at an exponential rate. More precisely, the dynamics contracts lines at an exponential rate. This property implies highly ordered asymptotic behavior including entrainment to time-varying periodic vector fields and, in particular, global asymptotic stability for time-invariant vector fields. Contraction theory has found numerous applications in systems and control theory because there exist easy to verify sufficient conditions, based on matrix measures, guaranteeing contraction. Here, we provide a geometric generalization of contraction theory called k-order contraction. A dynamical system is called k-order contractive if the dynamics contracts k-parallelotopes at an exponential rate. For k=1 this reduces to standard contraction. We describe easy to verify sufficient conditions for k-order contractivity based on matrix measures and the kth additive compound of the Jacobian of the vector field. We also describe applications of the seminal work of Muldowney and Li, that can be interpreted in the framework of 2-order contraction, to systems and control theory.

연구 동기 및 목표

• 표준 수축 이론을 k-평행육면체의 지수적 수축을 고려한 k-순서 수축으로 일반화함으로써 표준 수축 이론을 확장한다.
• 행렬 측도와 잴리안의 k제곱 덧셈 복합체를 사용하여 k-순서 수축성에 대한 충분 조건을 도출한다.
• Muldowney와 Li의 결과를 포함한 기존 결과들을 2-순서 수축의 프레임워크 내에서 통합하고 해석한다.
• 수축 이론의 적용 범위를 복잡한 점점적 행동을 보이는 더 넓은 동역계 클래스로 확장한다.

제안 방법

• 동역계의 흐름 하에서 k-평행육면체의 지수적 수축으로 k-순서 수축을 정의한다.
• k차원 부피의 진화를 기술하기 위해 잸리안 행렬의 k제곱 덧셈 복합체를 사용한다.
• 행렬 측도를 적용하여 k-순서 수축성에 대한 충분 조건을 도출하고, 1-순서 사례를 일반화한다.
• k-순서 수축성이 시간에 따라 변하지 않는 시스템에서의 전역 점근적 안정성과 시간에 따라 변하는 주기적 벡터장으로의 따라붙음(entrainment)을 암시함을 확립한다.
• Muldowney와 Li의 유명한 결과들을 2-순서 수축의 특수한 경우로 해석한다.
• 부피 수축과 시스템의 안정성 및 동기화를 연결하는 기하학적 프레임워크를 제공한다.

실험 결과

연구 질문

• RQ1 표준 수축 이론은 어떻게 k-평행육면체와 같은 고차원 기하 구조로 일반화될 수 있는가?
• RQ2 행렬 측도와 잸리안의 k제곱 덧셈 복합체로 표현할 때, k-순서 수축성에 대한 충분 조건는 무엇인가?
• RQ3 기존의 전역 안정성 및 주기적 동기화 결과들(특히 Muldowney와 Li의 결과)은 이 일반화된 프레임워크 안에서 어떻게 통합되는가?
• RQ4 특히 시간에 따라 변하는 시스템에서 k-순서 수축성은 어떤 동역학적 행동을 암시하는가?
• RQ5 k-순서 수축은 비선형 시스템에서 안정성과 동기화를 통합적인 시각으로 제공할 수 있는가?

주요 결과

• k-순서 수축은 단지 직선이 아닌 k-평행육면체의 지수적 수축을 특성화함으로써 표준 수축 이론을 일반화한다.
• 행렬 측도를 잸리안의 k제곱 덧셈 복합체에 적용하여 k-순서 수축성에 대한 충분 조건가 도출된다.
• 이 프레임워크는 Muldowney와 Li의 결과를 2-순서 수축의 특수한 경우로 복원하고 해석한다.
• k-순서 수축 시스템은 시간에 따라 변하는 주기적 벡터장으로의 따라붙음과 시간에 따라 변하지 않는 시스템에서의 전역 점근적 안정성을 보인다.
• 이 이론은 계산 가능한 행렬 측도 조건을 통해 비선형 시스템의 안정성과 동기화를 검증하는 체계적인 방법을 제공한다.
• 이 접근법은 고전적 수축 이론의 범위를 초월한 복잡한 동역학적 행동 분석을 가능하게 한다.