[논문 리뷰] On Poly-Quadratic Stabilizability and Detectability of Polytopic LPV Systems

T. J. Meijer, V. S. Dolk외 1명|arXiv (Cornell University)|2026. 02. 01.

Stability and Control of Uncertain Systems인용 수 0

한 줄 요약

이 논문은 Lyapunov 기반 안정성 가능성 및 탐지 가능성 테스트를 LTI 시스템에서 이산시간 폴리토픽 LPV 시스템으로 확장하고, poly-quadratic Lyapunov functions를 사용하며, LMIs 기반 조건과 관찰자/상태 피드백 설계를 제공한다.

ABSTRACT

In this technical communique, we generalize the well-known Lyapunov-based stabilizability and detectability tests for discrete-time linear time-invariant systems to polytopic linear parameter-varying systems using the class of so-called poly-quadratic Lyapunov functions.

연구 동기 및 목표

• Lyapunov 기반 탐지 가능성 및 안정화 테스트를 LTI에서 폴리토픽 LPV 시스템으로 일반화한다.
• 안정성, 탐지 가능성, 안정화에 대한 poly-quadratic Lyapunov 함수(poly-QLF) 기반 조건을 도입한다.
• 폴리-QL 탐지 가능성(poly-Q detectability) 및 폴리-QL 안정화(poly-Q stabilizability)를 인증하는 LMIs를 제공한다.
• 관찰자 및 상태 피드백 이득을 도출하여 폐루프 동역학에서 poly-Q 안정성을 보장한다.
• 매개변수가 특수한 경우 새로운 조건이 고전적 LTI 결과를 회복함을 보인다.

제안 방법

• DT 폴리토픽 LPV 시스템을 모델링하고 poly-QLFs를 V(pi,x)=x^T P(pi) x 로 정의하며 P(pi)=sum_i xi(pi) P_ibar로 표현한다.
• 폴리-Q 탐지 가능성에 대한 LMI 기반 조건을 도출: P_i - A_i^T P_j A_i + C^T C > 0 for all i,j.
• 탐지 가능 LMIs가 feasible할 때 poly-QS를 달성하는 관찰자 이득 L(k,p)를 제안한다.
• P(pi)와 S(pi)가 만족해야 하는 poly-Q 안정화 조건을 도출: S(pi+) - A(pi) S(pi) A^T(pi) + B B^T > 0.
• 제안된 P(·)와 S(·)와 함께 poly-QS 폐루프 거동을 산출하는 구성 가능한 이득 K(k,p)를 제공한다.
• A(pi)=A 및 P(pi)=P로 특수화하면 LTI 결과와의 일관성이 있음을 보인다.

실험 결과

연구 질문

• RQ1 Lyapunov 기반의 탐지 가능성 및 안정화 테스트를 poly-quadratic Lyapunov 함수를 사용해 이산시간 폴리토픽 LPV 시스템으로 확장할 수 있는가?
• RQ2 폴리-Q 탐지 가능성 및 폴리-Q 안정화에 대해 어떤 LMIs가 폴리토픽 LPV 시스템을 특징짓는가?
• RQ3 참여자-피드백 이득과 관찰자 이득이 LPV 설정에서 poly-Q 안정성을 보장하도록 설계될 수 있는가?
• RQ4 매개변수가 상수일 때 일반화된 조건이 고전적 LTI 결과로 축소되는가?
• RQ5 이 프레임워크에서 poly-QS와 표준 LTI 안정성 결과 간의 관계는 무엇인가?

주요 결과

• 논문은 strictly polytopic 시스템의 poly-Q 탐지 가능성에 대한 필요충분조건의 LMI 기반 조건을 제공한다.
• 탐지 가능 LMIs가 성립할 때 오차 동역학에 대해 poly-QS를 달성하는 특정 관찰자 이득 L(k,p)가 제시된다.
• p_k 및 p_{k+1}에 의존하는 안정화 이득 K(k,p)를 갖는 poly-Q 안정화의 이중 LMIs가 제시된다.
• 코로러리들은 탐지 가능성 조건이 LTI 시스템에 대한 P - A^T P A + C^T C > 0 테스트를 일반화함을 보여준다.
• 슬랙 변수를 가진 충분한 LMIs는 poly-Q 안정화에 대해 실제적으로 취급 가능한 조건을 제공한다.
• A(p)와 P(p)가 상수이고 P_i가 동일하면 이 프레임워크는 표준 LTI 결과를 회복한다.