다항형 LPV 시스템의 다중이차 안정성 및 검출 가능성

초록

본 논문은 이산시간 선형 시불변(LTI) 시스템에 대한 Lyapunov 기반 안정성·검출 가능성 조건을, 다각형(polytopic) 형태의 선형 파라미터 변동(LPV) 시스템에 확대한다. 다중이차(poly‑quadratic) Lyapunov 함수와 새로운 LMI 형식을 이용해, 시스템이 “poly‑Q detectable” 혹은 “poly‑Q stabilizable”인지 판단하는 충분·필요 조건을 제시한다. 특히, 엄격히 다각형인 경우 복잡한 파라미터‑시퀀스 의존 관측기·제어기를 설계할 필요 없이 현재 파라미터만을 이용한 다항형 이득으로 충분함을 증명한다.

상세 분석

논문은 먼저 기존 LTI 시스템에서 사용되는 두 가지 Lyapunov 기반 불등식, 즉 검출 가능성 조건 (P-A^{\top}PA+C^{\top}C\succ0) 와 안정화 가능성 조건 (\begin{bmatrix}S&AS\SA^{\top}&S\end{bmatrix}-\begin{bmatrix}0&B\B^{\top}&0\end{bmatrix}\succ0) 을 소개한다. 이를 다각형 LPV 시스템 (x_{k+1}=A(p_k)x_k+Bu_k,;y_k=Cx_k) 에 적용하기 위해, 다중이차 Lyapunov 함수 (V(p,x)=x^{\top}P(p)x) 를 정의한다. 여기서 (P(p)=\sum_{i=1}^N\xi_i(p)\bar P_i) 이며 (\xi_i) 는 파라미터 (p) 를 다각형 꼭짓점 (v_i) 에 대한 가중치로 변환하는 연속 양함수이다. 이 구조는 기존의 공통 이차 Lyapunov 함수보다 보수성이 낮으며, LMI 기반 설계가 가능하도록 만든다.

다음으로 “poly‑Q detectable” 개념을 정의한다. 관측기 (\hat x_{k+1}=A(p_k)\hat x_k+L(k,p)(C\hat x_k-y_k)+Bu_k) 의 오차 동역학 (e_{k+1}=(A(p_k)+L(k,p)C)e_k) 가 위의 다중이차 Lyapunov 함수에 대해 감소한다면 시스템은 poly‑Q detectable이라 한다. Theorem 1에서는 엄격히 다각형인 경우, 존재하는 양정치 행렬 (\bar P_i) 가 모든 (i,j) 에 대해 (\bar P_i-A_i^{\top}\bar P_jA_i+C^{\top}C\succ0) 을 만족하면 충분·필요조건임을 보인다. 관측기 이득은 (L(k,p)=-\sum_{i=1}^N\xi_i(p_k)A_i(\bar P_i+C^{\top}C)^{-1}C^{\top}) 로 명시적으로 얻어진다. 중요한 점은 복잡한 (L(k,p)) 구조가 필요 없으며, 현재 파라미터 (p_k) 만을 이용한 다항형 형태의 관측기만으로도 동일한 안정성을 확보한다는 것이다.

안정화 가능성에 대해서는 “poly‑Q stabilizable”을 정의하고, Theorem 2에서 양정치 행렬 (\bar S_i) (또는 그 역행렬 (\bar P_i))가 모든 (\pi,\pi^+) 에 대해 (S(\pi^+)-A(\pi)S(\pi)A(\pi)^{\top}+BB^{\top}\succ0) 을 만족하면 충분·필요조건임을 증명한다. 여기서 (S(\pi)=\sum_i\xi_i(\pi)\bar S_i) 이며, 상태 피드백 이득은 (K(k,p)=-B^{\top}(S(p_{k+1})+BB^{\top})^{-1}A(p_k)) 로 주어진다. 역시 현재 파라미터만을 이용한 다항형 피드백이 충분함을 보여준다.

논문은 또한 파라미터‑시퀀스 의존 시스템(PSD)이라는 더 일반적인 모델을 도입하고, poly‑Q 안정성(Poly‑QS) 개념을 통해 전역 균일 점근 안정성(GUAS)과의 관계를 논한다. 기존 문헌에 존재하는 LMI 기반 poly‑QS 조건을 재해석하고, 제시된 새로운 테스트가 기존 조건보다 보수성이 낮으며, 특히 strict polytopic 경우 완전한 필요·충분성을 제공한다는 점을 강조한다. 마지막으로 LTI 검출·안정화 테스트가 다각형 LPV 시스템에 어떻게 특수화되는지를 보여줌으로써, 본 연구가 기존 이론을 자연스럽게 확장함을 입증한다.