Stability Criteria via Common Non-strict Lyapunov Matrix for Discrete-time Linear Switched Systems

기술 요약: 공통 비엄격 리아푸노프 행렬을 통한 이산 시간 선형 스위칭 시스템의 안정성 기준

문제 정의
본 논문은 유한한 행렬 집합 $S = \{S_1, \dots, S_K\} \subset \mathbb{R}^{d \times d}$에 의해 제어되는 이산 시간 선형 스위칭 시스템의 점근적 안정성을 조사한다. 역학은 $x_n = S_{\sigma_n} \cdots S_{\sigma_1} x_0$로 정의되며, 여기서 $\sigma: \mathbb{N} \to \{1, \dots, K\}$는 임의의 스위칭 신호이다.

핵심 초점은 행렬들이 공통이지만 반드시 엄격하지는 않은 리아푸노프 행렬 $P$를 공유하는 시스템에 있다. 즉, 다음을 만족하는 대칭 양의 정부호 행렬 $P$가 존재한다:
$$P - S_k^T P S_k \geq 0 \quad \text{모든 } k = 1, \dots, K \text{에 대하여.}$$
이 조건은 유도된 노름 $\|x\|_P = \sqrt{x^T P x}$가 각 하위 시스템에 대해 비증가($\|S_k\|_P \leq 1$)함을 의미하지만, 엄격한 수축($\|S_k\|_P < 1$)을 보장하지는 않는다. 저자들은 개별 하위 시스템이 안정적($\rho(S_k) < 1$)이라 할지라도, 이 약한 리아푸노프 조건 하에서는 스위칭 시스템이 절대 안정(모든 스위칭 신호에 대해 안정함)적이지 않을 수 있다는 점을 다룬다.

방법론
저자들은 선형 대수, 스펙트럼 이론, 그리고 에르고디 이론의 조합을 활용한다. 주요 방법론적 구성 요소는 다음과 같다:

1. 상태 공간 분할: 재귀적(recurrent) 스위칭 신호를 위한 분할 정리(선행 연구 [13] 기반)를 활용한다. 재귀적 신호 $\sigma$에 대해, 상태 공간 $\mathbb{R}^d$는 안정 매니폴드 $E_s(\sigma)$와 중심 매니폴드 $E_c(\sigma)$로 분해된다. 안정성은 $E_c(\sigma)$가 자명한지 여부에 의해 결정된다.
2. $\omega$-극한 집합 분석: 행렬 곱 $\langle S_{\sigma_n} \cdots S_{\sigma_1} \rangle$의 $\omega$-극한 집합을 분석한다. 약한 리아푸노프 조건 하에서, 이러한 극한 집합은 컴팩트하며 노름 $\|\cdot\|_P$에 관한 특정한 기하학적 성질을 가진다.
3. 비카오틱(Non-chaotic) 및 재귀적 신호: 저자들은 "비카오틱" 신호(임의로 긴 상수 부분 수열을 포함하는 신호)와 "재귀적" 신호(시프트 위상에서 초기 상태에 임의로 가까워지는 신호)를 구분한다.
4. 스펙트럼 유한성 성질: 일반화된 스펙트럼 반경 $\rho(S)$가 행렬들의 유한한 곱에 의해 달성되는지 조사한다. 이 성질은 절대 안정의 결정 가능성을 가능하게 한다.
5. 차원 축소: 증명은 노름이 보존되는 부분 공간 $K_{\|\cdot\|_P}(S_k)$들과 그 교집합의 차원을 분석하는 것에 의존한다.

주요 기여 및 결과

1. 비카오틱 스위칭 하의 안정성 (정리 A)
본 논문은 $S$가 약한 리아푸노프 조건을 만족하고 모든 하위 시스템이 엄격히 안정적($\rho(S_k) < 1$)이면, 시스템이 모든 비카오틱 스위칭 신호에 대해 안정함을 입증한다. 이는 제너릭(generic/regular) 신호를 요구했던 이전의 결과들을 확장한 것이다.

2. 거의 확실 안정성 (Almost Sure Stability) (정리 B)
$d=2$ 또는 $d=3$인 경우, 노름 보존 부분 공간의 교집합이 자명하면($K_{\|\cdot\|_P}(S_1) \cap K_{\|\cdot\|_P}(S_2) = \{0\}$), 임의의 비 원자적 에르고딕 확률 측도에 대해 거의 모든 스위칭 신호에 대해 시스템이 안정하다. 이는 불안정성이 존재하더라도, 그것이 측정값 0인 집합(일반적으로 특정 주기적 신호)에서만 발생함을 강조한다.

3. $d=2$ 및 $d=3$에 대한 절대 안정 기준 (정리 C 및 D)
논문은 $d=2$ 또는 $d=3$일 때 절대 안정(모든 스위칭 신호에 대한 안정성)을 위한 필요충분조건을 제공한다:

• $d=2$의 경우: $S$가 절대 안정하기 위한 필요충분조건은 $\rho(S_1) < 1$, $\rho(S_2) < 1$, 그리고 $\rho(S_1 S_2) < 1$이다.
• $d=3$의 경우: $S$가 절대 안정하기 위한 필요충분조건은 모든 $A \in \{S_1, S_2\}^\ell$ (단, $\ell \in \{1, 2, 3, 4, 5, 6, 8\}$)에 대해 $\rho(A) < 1$인 것이다.
  • 특히, 저자들은 길이 7의 단어를 검사하는 것은 불필요함을 관찰하였다.

4. 스펙트럼 유한성 성질
절대 안정 기준의 결과로서, 본 논문은 $d=2$ 또는 $d=3$인 경우, 시스템이 약한 리아푸노프 조건을 만족하고 일반화된 스펙트럼 반경 $\rho(S) = 1$을 가지면, $S$가 스펙트럼 유한성 성질을 가짐을 증명한다. 이는 스펙트럼 반경이 행렬들의 유한한 곱에 의해 실현됨을 의미한다. 구체적으로:

• $d=2$의 경우, $\rho(S) = \max \{ \rho(S_1), \rho(S_2), \sqrt{\rho(S_1 S_2)} \}$이다.
• $d=3$의 경우, $\rho(S)$는 $n \in \{1, \dots, 6, 8\}$인 길이 $n$의 곱들의 스펙트럼 반경의 $n$제곱근들의 최댓값이다.

5. 반례 및 한계
저자들은 다음과 같은 예시(예: 예제 6.6)를 통해 다음을 보여준다:

• 하위 시스템 안정성($\rho(S_k) < 1$)은 약한 리아푸노프 조건이 성립하더라도 스펙트럼 유한성 조건이 실패할 경우(예: $\rho(S_1 S_2) = 1$) 절대 안정성을 보장하지 않는다.
• 집합 $S$를 대칭 집합 $S \cup S^T$로 확장하는 것은 이러한 안정성 결론에 필요한 스펙트럼 반경 성질을 보존하지 않는다.

의의 및 주장
본 논문은 약한 리아푸노프 조건을 가진 차원 $d=2, 3$의 이산 시간 선형 스위칭 시스템에 대한 절대 안정성의 결정 가능성을 해결했다고 주장한다. 그 의의는 다음과 같다:

• 결정 가능성: 임의의 스위칭 시스템에 대해서는 일반적으로 결정 불가능한 절대 안정성을 판별하기 위해, 유한하고 계산 가능한 기준(유한한 수의 행렬 곱 검사)을 제공한다.
• 안정성 개념의 정교화: 비카오틱 신호, 거의 확실 안정성, 그리고 절대 안정을 구분함으로써, 약한 리아푸노프 조건 하에서 불안정성이 종종 특정 주기적 스위칭 패턴에 국한됨을 보여준다.
• 스펙트럼 유한성: 스펙트럼 유한성 성립을 입증하여, 리아푸노프 행렬의 기하학적 조건과 유한한 스펙트럼 반경 실현이라는 대수적 성질 사이의 연결 고리를 확립한다.

저자들은 $d \geq 4$인 경우에 대한 추측을 던지며 마무리한다: 동일한 약한 리아푸노프 조건 하에서 주기적 스위칭 안정성이 절대 안정성을 함의하는가 하는 문제이며, 현재의 기법으로는 고차원으로 즉각 확장되지 않음을 언급한다.