[논문 리뷰] An Overview of Integral Quadratic Constraints for Delayed Nonlinear and Parameter-Varying Systems

Harald Pfifer, Peter Seiler|arXiv (Cornell University)|2015. 04. 09.

Stability and Control of Uncertain Systems참고 문헌 42인용 수 5

한 줄 요약

이 논문은 비선형 및 선형 매개변수 변화형(LPv) 시간지연 시스템을 분석하기 위한 새로운 분석 프레임워크를 제안한다. 이는 적분 제곱 제약조건(IQC)을 사용하며, 일정한 지연에 대해 주파수 도메인에서의 IQC와 기하학적 해석을 활용하고, 이를 시간이 변하는 지연으로 확장한다. 이 방법은 안정성 및 성능 분석을 위해 다항식의 제곱(SOS) 및 준선형계획법(SDP)을 사용할 수 있도록 시간 도메인의 소산 불등식을 구성한다. 비선형 및 LPv 밀링 시스템 기준 테스트에서 효과를 입증한다.

ABSTRACT

A general framework is presented for analyzing the stability and performance of nonlinear and linear parameter varying (LPV) time delayed systems. First, the input/output behavior of the time delay operator is bounded in the frequency domain by integral quadratic constraints (IQCs). A constant delay is a linear, time-invariant system and this leads to a simple, intuitive interpretation for these frequency domain constraints. This simple interpretation is used to derive new IQCs for both constant and varying delays. Second, the performance of nonlinear and LPV delayed systems is bounded using dissipation inequalities that incorporate IQCs. This step makes use of recent results that show, under mild technical conditions, that an IQC has an equivalent representation as a finite-horizon time-domain constraint. Numerical examples are provided to demonstrate the effectiveness of the method for both class of systems.

연구 동기 및 목표

• 비선형 및 LPv 시스템에 대한 시간지연를 고려한 안정성 및 성능 분석을 위한 체계적인 프레임워크를 개발하는 것.
• 이전까지 선형 시간 불변(LTI) 시스템에 국한되어 있던 기존의 적분 제곱 제약조건(IQC) 기법을 비선형 및 LPv 시스템에 시간지연가 있는 경우로 확장하는 것.
• 일정한 지연에 대해 IQC의 기하학적 해석을 제공하여 새로운 제약조건을 유도하는 데 도움이 되는 주파수 도메인 해석을 제공하는 것.
• IQC를 포함하는 시간 도메인의 소산 불등식을 유도하여 비선형 및 LPv 시스템에 시간지연가 있는 경우의 분석을 가능하게 하는 것.
• 비선형 및 LPv 지연 시스템에 대한 수치 예제를 통해 제안된 방법의 효과성을 입증하는 것.

제안 방법

• 시간지연 시스템을 비선형 또는 LPv 시스템과 시간지연 연산자 간의 피드백 상호작용으로 모델링한다.
• 일정한 지연이 LTI 시스템이므로, 주파수 도메인에서 시간지연를 적분 제곱 제약조건(IQC)으로 표현한다.
• 네이퀴스트 평면에서 기하학적 직관(예: 원 기반 제약조건)을 사용하여 일정한 지연 및 시간이 변하는 지연에 대한 새로운 IQC를 도출한다.
• 최근의 IQC 등가성 결과를 활용하여 주파수 도메인의 IQC를 등가의 유한한 수평 시간 도메인 적분 제약조건으로 변환한다.
• 이러한 시간 도메인의 IQC 표현을 포함하는 소산 불등식으로서 안정성 및 성능 조건을 구성한다.
• 유도된 분석 조건을 비선형 시스템의 경우 다항식의 제곱(SOS) 최적화, LPv 시스템의 경우 준선형계획법(SDP)을 사용하여 해결한다.

실험 결과

연구 질문

• RQ1 일정한 시간지연에 대해 IQC를 어떻게 기하학적으로 해석할 수 있으며, 이러한 통찰은 새로운 제약조건을 유도하는 데 어떻게 활용될 수 있는가?
• RQ2 시간이 변하는 지연는 비LTI 성격을 지닌다 하더라도, 동일한 주파수 도메인 직관을 사용하여 IQC를 구성할 수 있는가?
• RQ3 IQC는 어떻게 시간 도메인의 소산 불등식에 통합되어 비선형 및 LPv 시스템에 시간지연가 있는 경우의 분석이 가능한가?
• RQ4 비선형 지연 시스템의 성능 및 안정성 마진은 선형화된 대응 시스템에 비해 어떻게 되는가?
• RQ5 제안된 IQC 기반 방법은 LPv 시스템의 지연 마진 추정에서 기존의 라프노프-크라소프스키 접근법과 비교해 어떻게 성능을 발휘하는가?

주요 결과

• 일정한 지연에 대해 주파수 도메인의 원 기반 기하학적 해석을 통해 IQC를 기하학적으로 해석함으로써, 더 강력한 제약조건을 직관적으로 유도할 수 있다.
• 이러한 주파수 도메인의 통찰을 활용하여 일정한 지연 및 시간이 변하는 지연에 대한 새로운 IQC를 성공적으로 유도하였다.
• 제안된 방법은 [44]에서 제시된 라프노프-크라소프스키 접근법보다 LPv 밀링 시스템에 대해 더 날카운 지연 마진 범위를 달성하였다. 특히 $\Pi_1$ 및 $\bar{\Pi}_3$ 승수 쌍을 사용할 경우 더욱 두드러진 성능 향상을 보였다.
• 수치 결과는 비선형성이 시스템 성능을 상당히 악화시킴을 보여주었으며, 비선형 지연 시스템은 선형화된 대응 시스템에 비해 훨씬 높은 유도된 $L_2$ 이득을 나타냈다.
• 이중선형계획법(LMI) 조건(정리 3)을 통한 IQC 기반 분석은 선형 시스템의 진짜 유도된 $L_2$ 이득과 매우 유사하게 나타나, 상한값의 타당성을 검증하였다.
• 이 프레임워크는 다중 지연 및 불확실성이 있는 시스템으로도 확장 가능하며, 비선형 및 LPv 동역학과의 복합적 내구성 분석을 자연스럽게 통합할 수 있는 길을 제공한다.