[논문 리뷰] Robust periodic stability implies uniform exponential stability of Markovian jump linear systems and random linear ordinary differential equations

Xiongping Dai|arXiv (Cornell University)|2013. 07. 16.

Stability and Control of Uncertain Systems참고 문헌 46인용 수 3

한 줄 요약

이 논문은 이산시간 마코프 전이 선형 시스템과 폐쇄성 조건을 갖는 반류에 의해 구동되는 랜덤 선형 미분방정식에서 강건한 주기적 안정성이 균일 지수적 안정성으로 이어진다는 것을 입증한다. 르바르드-버거-왕 공식의 새로운 형태를 주기 궤도에 의한 리아푸노프 지수 근사와 샤오타오 레오의 변형 기법을 통해 유도함으로써, 저자들은 강건한 주기적 안정성과 균일 지수적 안정성 간의 동치성을 증명하며 선형 코시클 이론에서 오랫동안 남아있던 스펙트럼 유한성과 강건성에 관한 질문들을 해결한다.

ABSTRACT

In this paper we show that if a linear cocycle is robustly periodical stable then it is uniformly stable.

연구 동기 및 목표

• 이산시간 마코프 전이 선형 시스템에서 강건한 주기적 안정성과 균일 지수적 안정성 간의 동치성을 확립한다.
• 이 동치성 관계를 폐쇄성 조건을 갖는 반류에 의해 구동되는 랜덤 선형 미분방정식으로 확장한다.
• 다이나믹 시스템 이론에서 주기 궤도의 구조를 갖는 일반 선형 코시클 이론에서 스펙트럼의 유한성과 강건성 조건에 관한 열린 질문들을 해결한다.
• 리아푸노프 지수의 주기 궤도 근사를 통해 마코프 전이 시스템에 대한 겔프란드-버거-왕 공식을 개발한다.
• 선형 코시클 이론에서 스펙트럼의 유한성 추측과 강건성 조건에 대한 반례를 구성한다.

제안 방법

• 리아푸노프 지수를 주기 궤도로 근사함으로써 마코프 전이 선형 시스템에 대한 겔프란드-버거-왕 공식을 유도한다.
• 다양한 미분 동역학계 이론에서 유래한 샤오타오 레오의 변형 기법을 적용하여 랜덤 선형 미분방정식의 안정성 분석을 수행한다.
• 반균일 에르고딕 정리들을 활용하여 공동 스펙트럼 반경을 비이완 집합과 주기 궤도에서의 행동과 연결한다.
• 에르고딕 이론을 활용하여 폐쇄성 조건을 갖는 다이나믹 시스템 위의 선형 코시클의 안정성 분석을 수행한다.
• 선형 코시클의 스펙트럼의 유한성과 안정성 분석에서의 강건성 조건에 대한 반례를 구성한다.
• 기호 공간과 반류 위에서 위상적 및 측도론적 추론을 통해 균일 지수적 안정성과 강건한 주기적 안정성 간의 동치성을 확립한다.

실험 결과

연구 질문

• RQ1 이산시간 마코프 전이 선형 시스템에서 강건한 주기적 안정성이 균일 지수적 안정성으로 이어지는가?
• RQ2 폐쇄성 조건을 갖는 반류에 의해 구동되는 랜덤 선형 미분방정식으로서, 강건한 주기적 안정성과 균일 지수적 안정성 간의 동치성은 확장 가능한가?
• RQ3 주기 궤도의 구조를 갖는 일반 다이나믹 시스템 위의 선형 코시클에 대해 스펙트럼의 유한성 성질이 성립하는가?
• RQ4 전이 행렬의 기약성 또는 비주기성 조건을 가정하지 않고도 마코프 전이 시스템에 대해 겔프란드-버거-왕 공식을 수립할 수 있는가?
• RQ5 선형 스위칭 시스템의 안정성 분석에서 강건성 조건의 한계는 무엇인가?

주요 결과

• 마코프 전이 행렬에 대한 추가적인 가정 없이도, 이산시간 마코프 전이 선형 시스템은 강건한 주기적 안정성일 때이고 그 때에만 균일 지수적 안정성을 갖는다.
• 폐쇄성 조건을 갖는 반류에 의해 구동되는 랜덤 선형 미분방정식에서는 균일 지수적 안정성이 강건한 주기적 안정성과 동치이다.
• 리아푸노프 지수를 주기 궤도로 근사함으로써 마코프 전이 시스템에 대한 새로운 겔프란드-버거-왕 공식이 증명되었다.
• 폐쇄성 조건을 갖는 시스템 위의 선형 코시클의 공동 스펙트럼 반경은 주기 궤도에서의 최대 노름의 하한값과 같다.
• 일반 선형 코시클에서 스펙트럼의 유한성이 성립하지 않는다는 반례가 구성되었다.
• 주기 궤도에서 스펙트럼 반경의 균일 유계성 조건—즉, 강건성 조건—은 균일 지수적 안정성을 보장하지 못하며, 이는 안정성 기준 간의 미묘한 차이를 드러낸다.