[논문 리뷰] On the Stability of Multilinear Dynamical Systems

Can Chen|arXiv (Cornell University)|2021. 05. 03.

Tensor decomposition and applications참고 문헌 40인용 수 4

한 줄 요약

이 논문은 다이나믹 텐서가 직교 분해 가능(odeco)할 때, 이산 시간 다중선형 동적 시스템의 점근적 안정성을 보장하는 필수 및 필요조건을 텐서 Z-고유값을 이용해 수립한다. Z-고유값과 Z-고유벡터를 통해 명시적 해를 유도함으로써, 저자들은 안정성이 다이나믹 텐서의 스펙트럼 반경에 의존함을 보이며, 안정성 판단을 위한 효율적인 Z-스펙트럼 반경의 상한을 제시한다. 비-odeco 텐서로의 확장을 위해 특이값을 활용한다.

ABSTRACT

This paper investigates the stability properties of discrete-time multilinear dynamical systems via tensor spectral theory. In particular, if the dynamic tensor of a multilinear dynamical system is orthogonally decomposable (odeco), we can construct its explicit solution by exploiting tensor Z-eigenvalues and Z-eigenvectors. Based on the form of the explicit solution, we illustrate that the Z-eigenvalues of the dynamic tensor play a significant role in the stability analysis, offering necessary and sufficient conditions. In addition, by utilizing the upper bounds of Z-spectral radii, we are able to determine the asymptotic stability of the multilinear dynamical system efficiently. Furthermore, we extend the stability results to the multilinear dynamical systems with non-odeco dynamic tensors by exploiting tensor singular values. We demonstrate our results via numerical examples.

연구 동기 및 목표

• 이산 시간 다중선형 동적 시스템의 안정성 특성을 텐서 스펙트럼 이론을 통해 조사한다.
• 직교 분해 가능(odeco)한 다이나믹 텐서를 갖는 시스템에 대해 Z-고유값과 Z-고유벡터를 활용한 명시적 해 공식을 개발한다.
• 다이나믹 텐서의 Z-스펙트럼 반경에 기반한 안정성에 대한 필요 및 충분 조건을 수립한다.
• 텐서 특이값과 프로베니우스 노름을 활용하여 비-odeco 다이나믹 텐서로의 안정성 분석을 확장한다.
• 다중선형 제어 시스템에 대한 안정화 가능성, 접근 가능성 및 라플라스 이론의 향후 방향을 탐색한다.

제안 방법

• 논문은 다이나믹 텐서가 odeco일 경우, 텐서 Z-고유값과 Z-고유벡터를 활용하여 이산 시간 다중선형 동적 시스템의 명시적 해를 유도한다.
• Z-고유값의 크기에 기반한 안정성 조건을 수립하며, Z-스펙트럼 반경이 1보다 작을 때에만 점근적 안정성이 성립함을 보인다.
• Z-스펙트럼 반경의 상한을 짝수 차수 초대칭 텐서에 대해 제공하여, 모든 Z-고유값을 계산하지 않고도 효율적인 안정성 검증이 가능하도록 한다.
• 비-odeco 텐서의 경우, 스펙트럼 행동의 대체로 텐서 프로베니우스 노름과 p-모드 특이값을 사용하여 안정성을 분석한다.
• 이론적 결과는 제안된 상한과 조건의 효과성을 입증하는 수치 예제를 통해 검증된다.
• 논문은 제어 부분공간의 반복적 스트레칭을 기반으로 다중선형 제어 시스템의 접근 가능성 기준을 추측한다.

실험 결과

연구 질문

• RQ1 odeco 다이나믹 텐서를 갖는 이산 시간 다중선형 동적 시스템에서 점근적 안정성을 위한 필수 및 충분 조건은 무엇인가?
• RQ2 텐서 Z-고유값과 Z-고유벡터는 이러한 시스템의 명시적 해를 어떻게 구성하는가?
• RQ3 Z-스펙트럼 반경에 대한 상한은 전체 고유값 계산 없이도 안정성을 효율적으로 판단하는 데 사용될 수 있는가?
• RQ4 비-odeco 다이나믹 텐서를 갖는 다중선형 시스템으로 안정성 분석을 어떻게 확장할 수 있는가?
• RQ5 다중선형 제어 시스템에서 접근 가능성과 다이나믹 텐서의 구조 및 제어 입력 간의 관계는 무엇인가?

주요 결과

• odeco 다이나믹 텐서의 경우, 다중선형 시스템의 점근적 안정성은 Z-스펙트럼 반경에 의해 결정되며, 시스템은 Z-스펙트럼 반경이 1보다 작을 때에만 점근적으로 안정하다.
• Z-고유값과 Z-고유벡터를 활용한 명시적 해 공식이 도출되어, 시스템 궤적과 안정성에 대한 직접적 분석이 가능해진다.
• 짝수 차수 초대칭 텐서의 Z-스펙트럼 반경에 대한 상한이 제공되어, 모든 Z-고유값을 계산하지 않고도 효율적인 안정성 검증이 가능하다.
• 비-odeco 텐서의 경우, 텐서 프로베니우스 노름과 p-모드 특이값을 사용하여 안정성이 평가되며, 전체 스펙트럼 분석의 실용적 대체 수단이 된다.
• 등가 다중선형 표현을 구성함으로써, 동차 다항식 동적 시스템에 대한 결과가 적용 가능하다.
• 다중선형 제어 시스템의 접근 가능성에 대해 추측을 제시한다: 시스템은 제어 부분공간의 반복적 스트레칭이 전체 공간 R^n을 생성할 경우에만 접근 가능하며, 특히 시스템 차수 k가 짝수일 경우에 해당한다.