[논문 리뷰] Pointwise Stabilization of Discrete-time Stationary Matrix-valued Markovian Chains

Xiongping Dai, Yu Huang외 1명|arXiv (Cornell University)|2011. 07. 01.

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

한 줄 요약

이 논문은 이산시간, 정상적인 행렬값 마코프 점프 선형 시스템에서 본질적으로 비균일한 곱 유계성 조건 하에, 점별 수렴과 점별 지수 수렴이 동치임을 규명한다. 측도 이론, 에르고딕 이론 및 상태공간 분할 정리를 활용하여, 각 초기 상태에서 거의 확실하게 0으로 수렴하는 것이 지수 수렴 속도를 유도함을 증명함으로써, 기호 역학 및 확률적 안정성 이론에서 핵심적 특성화를 제공한다.

ABSTRACT

We study the pointwise stabilizability of a discrete-time, time-homogeneous, and stationary Markovian jump linear system. By using measure theory, ergodic theory and a splitting theorem of state space we show in a relatively simple way that if the system is essentially product-bounded, then it is pointwise convergent if and only if it is pointwise exponentially convergent.

연구 동기 및 목표

• 이산시간 마코프 점프 선형 시스템에서 점별 수렴이 점별 지수 수렴으로 이르는 조건을 규명하는 것.
• 제어 이론에서 오랫동안 남아있던 확률적 시스템에서 점별 수렴과 지수 수렴의 비동치 문제를 다루는 것.
• 기호 역학과 에르고딕 이론을 활용하여 확률적 스위칭 하에서 수렴 행동을 분석할 수 있는 이론적 프레임워크를 수립하는 것.
• 선형 코시클과 마코프 시스템에서 균일 수렴과 비균일 수렴 간의 차이를 명확히 하는 것.
• 점별 수렴이 지수 수렴으로 이르는 데 필요한 필수 및 필요조건인 본질적으로 비균일한 곱 유계성 조건을 제시하는 것.

제안 방법

• 리아프누프 지수를 바탕으로 ℝ¹ˣᵈ 상태공간을 안정 부분공간과 불안정 부분공간으로 분할하는 분할 정리를 활용한다.
• 측도론적 도구와 에르고딕 분해 정리를 적용하여 기호 수열 위의 불변 측도를 분석한다.
• 궤도의 진화를 모델링하고 장기적 행동을 분석하기 위해 한쪽 이동 공간 Σ⁺ₖ 위의 이동 사상 θ를 사용한다.
• 스위칭 시퀀스를 거쳐 행렬 곱의 성장률을 제어하기 위해 본질적으로 비균일한 곱 유계성을 도입한다.
• 에고로프의 정리를 활용하여 양측 측도를 갖는 부분집합에서 거의 균일 수렴을 도출함으로써 지수 수렴 속도 추정을 가능하게 한다.
• 각 궤도 i·에 관련된 안정 부분공간 Es(i·)를 사용하여 스펙트럼 성질을 통해 수렴 행동을 특성화한다.

실험 결과

연구 질문

• RQ1 이산시간 마코프 점프 선형 시스템에서 어떤 조건 하에 점별 수렴이 점별 지수 수렴으로 이르는가?
• RQ2 마코프 스위칭 과정의 구조는 행렬 곱의 안정성에 어떻게 영향을 미치는가?
• RQ3 에르고딕성과 불변 측도는 확률적 선형 시스템에서 수렴 유형을 특성화하는 데 어떤 역할을 하는가?
• RQ4 약한 유계성 가정 하에 비균일 수렴을 지수 수렴으로 전환시킬 수 있는가?
• RQ5 선형 코시클 이론과 제어 시스템에서 균일 수렴과 비균일 수렴 간의 구분이 중요한 이유는 무엇인가?

주요 결과

• 시스템이 본질적으로 비균일한 곱 유계성을 만족할 경우, 점별 수렴과 점별 지수 수렴이 동치이다.
• xSᵢ₁⋯Sᵢₙ → 0을 만족하는 양측 측도 집합의 궤도가 존재하면, 지수 감쇠가 발생하는 부분집합이 존재함을 의미한다.
• 영이 아닌 초기 상태 x에 대해, x가 안정 부분공간 Es(i·)에 속하는 Borel 집합의 궤도가 양측 측도를 갖는다.
• 안정 부분공간 Es(i·)는 이동 사상 θ에 대해 불변이며, 이 부분공간에서의 수렴은 지수 감쇠 속도를 보장한다.
• 에르고딕성 조건 하에서도 점별 수렴을 달성하는 궤도 집합이 전체 측도를 갖지 않을 수 있음을 보여주며, 이는 수렴의 비균일성을 강조한다.
• 증명은 에르고딕 분해, 거의 균일 수렴(에고로프의 정리 통해 도출), 상태공간의 스펙트럼 분할 간의 상호작용에 기반한다.