스위칭 시스템의 지연 상태 의존 섭동에 대한 경계와 불변 집합

초록

본 논문은 지연된 상태에 비선형적으로 의존하는 섭동을 갖는 연속시간 스위칭 선형 시스템에 대해, 각 성분별로 독립적인 상한을 이용한 일시적 경계, 궁극적 경계 및 불변 영역을 계산하는 새로운 방법을 제시한다. 기존의 노름 기반 접근과 달리 성분별 분석을 통해 스케일링 없이도 보수성을 감소시킬 수 있다. 또한, 섭동이 상태 절대값의 선형 결합 형태일 경우 전역적인 실용적 안정성을 보장하는 충분조건을 제공한다.

상세 분석

이 연구는 스위칭 연속시간 선형 시스템에 대한 안정성·성능 분석을 성분별(컴포넌트와이즈) 접근법으로 전환함으로써 기존 노름 기반 방법이 갖는 근본적인 한계를 극복한다. 저자들은 시스템의 동적 방정식을 ẋ(t)=Aσ(t)x(t)+w(t) 형태로 모델링하고, 여기서 σ(t)는 유한한 전이 집합을 갖는 스위칭 신호이며, 섭동 w(t)는 각 성분 i에 대해 |w_i(t)|≤δ_i(·) 로 제한된다. δ_i(·)는 지연된 상태 x(t−τ) 의 절대값 벡터에 대한 비선형 함수이며, 특히 affine 형태 δ_i(·)=α_i+β_i·|x_j(t−τ)| 를 포함한다. 핵심 아이디어는 이러한 성분별 제한을 이용해 비교 시스템을 구성하고, 그 비교 시스템에 대한 상한 벡터 β(t) 를 미분 방정식 형태로 정의한다. β̇(t)=Mβ(t)+γ(β(t−τ)) 와 같이 M은 모든 스위칭 모드에 대해 공통적인 마이너스 행렬이며, γ는 섭동 상한을 나타내는 비선형 함수이다. 저자들은 M이 Metzler 행렬이며 Hurwitz 조건을 만족하면, γ가 K-구조(즉, 비감소·연속)일 때 β(t) 가 전역적으로 유한한 상한에 수렴함을 보인다. 이때 얻어지는 β* 는 각 상태 성분별 궁극적 경계이며, β(t)≤β* 를 만족하는 초기 조건 집합은 불변 집합으로 해석된다.

특히, 논문은 두 가지 중요한 이론적 기여를 제공한다. 첫째, 성분별 경계와 불변 집합을 구하는 절차가 기존의 공통 2차 Lyapunov 함수 존재 여부와 동등함을 증명한다. 즉, 제시된 방법이 적용 가능한 스위칭 시스템은 반드시 공통 quadratic Lyapunov 함수가 존재한다는 충분조건을 만족한다는 점을 명시한다. 둘째, 섭동이 affine 형태일 경우 γ가 선형 함수가 되므로, β̇(t)=Mβ(t)+c 형태의 선형 비교 시스템으로 환원된다. 이 경우 전역적인 실용적 안정성(Practical Stability) 조건을 명시적으로 도출할 수 있으며, 이는 기존의 지역적·반전역적 결과를 전역적으로 확장한다는 의미이다.

또한, 저자들은 공통 quadratic Lyapunov 함수를 실제로 계산하는 알고리즘을 제시한다. 이 알고리즘은 LMI(Liner Matrix Inequality) 기반 최적화 문제를 구성하여, 각 성분별 섭동 상한 행렬과 시스템 행렬 사이의 관계를 만족하는 P>0 를 찾는다. P가 존재하면 V(x)=xᵀPx 가 모든 스위칭 모드에 대해 감소함을 보장하고, 따라서 제안된 성분별 경계와 불변 집합이 실제 시스템에 적용 가능함을 증명한다.

결과적으로, 이 논문은 지연 상태 의존 섭동을 갖는 복합 스위칭 시스템에 대해, 성분별 분석을 통해 보수성을 크게 낮추면서도 실용적인 안정성 보장을 제공한다는 점에서 이론적·실용적 가치를 동시에 지닌다.