[논문 리뷰] Exponential Stability Analysis via Integral Quadratic Constraints

Ross Boczar, Laurent Lessard외 2명|arXiv (Cornell University)|2017. 06. 02.

Advanced Control Systems Optimization참고 문헌 6인용 수 14

한 줄 요약

이 논문은 기존의 $L_2$ 이득 기반 방법에 비해 훨씬 더 적은 비약간의 보수성으로 계산적으로 타당한 지수 안정성 인증을 가능하게 하는 일반화된 적분 제약 조건(IQC) 프레임워크를 제안한다. IQC 분석을 재구성하여 수정된 선형 행렬 부등식(LMI)을 통해 지수 감쇠률을 직접 유 bounds 하여, 비선형성 또는 불확실성을 포함한 시스템에 대해 더 날카운 수치 검증 가능한 안정성 증명을 제공한다.

ABSTRACT

The theory of integral quadratic constraints (IQCs) allows verification of stability and gain-bound properties of systems containing nonlinear or uncertain elements. Gain bounds often imply exponential stability, but it can be challenging to compute useful numerical bounds on the exponential decay rate. This work presents a generalization of the classical IQC results of Megretski and Rantzer that leads to a tractable computational procedure for finding exponential rate certificates that are far less conservative than ones computed from $L_2$ gain bounds alone. An expanded library of IQCs for certifying exponential stability is also provided and the effectiveness of the technique is demonstrated via numerical examples.

연구 동기 및 목표

• 비선형성 또는 불확실성을 포함한 시스템에서 지수 안정성을 인증하기 위한 계산적으로 타당한 방법을 개발하는 것.
• 적분 제약 조건을 사용하여 지수 안정성의 보수성을 줄이기 위해 기존의 $L_2$ 이득 기반 지수 안정성 경계에 내재된 보수성을 감소시키는 것.
• 최적화 알고리즘 외부에도 적용 가능한 지수 감쇠률에 대한 수치적 상한을 직접 계산할 수 있는 주파수 도메인 프레임워크를 제공하는 것.
• 기존의 IQC 이론을 확장하여 단지 유한입력 유한출력(BIBO) 안정성 뿐 아니라 지수 감쇠를 명시적으로 인증할 수 있도록 하는 것.
• 실제 적용 가능성을 향상시키기 위해 지수 안정성 인증에 특화된 IQC 라이브러리를 체계적으로 구축하는 것.

제안 방법

• 기존의 IQC 이론을 일반화하기 위해, 수정된 리아푸노프 유사 조건을 통해 지수 감쇠률 제약 조건을 직접 포함하는 방식으로 LMI 수식을 수정한다.
• 지수 안정성 분석을 지원하도록 설계된 새로운 종류의 IQC—특히 수정된 Zames–Falb 및 비-Zames–Falb IQC—를 도입한다.
• 감쇠률 매개변수 $\varepsilon$를 포함하는 매개변수화된 LMI를 사용하여 안정성 조건을 재구성함으로써, 리아푸노프 함수 $V(x) = x^T P x$ 에 대해 $V(x_{k+1}) \leq (1 - \varepsilon)V(x_k)$ 를 보장한다.
• 이중선형 항을 다루기 위해 보조 변수 $\tilde{P}, \tilde{\Gamma}, \tilde{H}, \zeta$ 를 도입하여 볼록화 기법을 적용함으로써 비볼록 문제를 볼록 문제로 변환한다.
• 카르만-야쿠보비치-포포프(Kalman-Yakubovich-Popov, KYP) 보조정리를 기반으로 한 주파수 도메인 수식을 사용하며, IQC 승수 행렬의 필터 및 대각 우세성 조건을 포함한다.
• 감쇠률은 제약 조건 $\mathcal{A}(\tilde{P}) + \mathcal{M}(\tilde{\Gamma}, \tilde{H}) \preceq -tI$ 에서 $t$ 를 최대화함으로써 최적화되며, 이는 지수 감쇠률에 대한 날카운 상한을 제공한다.

실험 결과

연구 질문

• RQ1 IQC 기반 분석에서 기존의 표준 $L_2$ 이득 기반 경계보다 지수 안정성을 더 날카운 채로 인증할 수 있는가?
• RQ2 기존의 IQC 프레임워크는 어떻게 수정되어 단지 BIBO 안정성 뿐 아니라 지수 감쇠률을 직접 유 bounds 할 수 있는가?
• RQ3 어떤 종류의 IQC가 불확실성 또는 비선형 시스템에서 지수 감쇠률을 계산적으로 타당하고 보수성이 낮게 계산할 수 있도록 하는가?
• RQ4 제안된 방법은 기존의 $L_2$ 이득 기반 접근법에 비해 안정성 경계의 보수성을 어느 정도 감소시키는가?
• RQ5 이 방법은 최적화 알고리즘 외부로도 시간이 엄격하거나 고정점 제약 조건이 있는 일반적인 강건 제어 문제에 적용 가능한가?

주요 결과

• 제안된 방법은 감쇠률을 직접 최적화함으로써 지수 안정성 경계의 보수성을 감소시켜, $L_2$ 이득만으로 유도된 것보다 훨씬 날카운 증명을 제공한다.
• 이 방법은 강력한 볼록 함수에 대한 경사 하강법에서의 지수 수렴을 성공적으로 인증하였으며, 알려진 이론적 속도와 일치하는 날카운 경계를 생성하였다.
• 수정된 IQC 프레임워크는 지수 감쇠률을 계산하기 위한 볼록 최적화 문제를 가능하게 하여 실용적 시스템에 대해 계산적으로 타당한 해를 제공한다.
• 이 프레임워크는 수렴 속도에 대한 강건한 보장을 필요로 하는 임베디드 모델 예측 제어와 같은 시간이 엄격한 시스템에 적용 가능하다.
• 반복적인 비선형성과 Zames–Falb 유형 제약 조건을 포함한 확장된 IQC 라이브러리가 구축되었으며, 수치 예제를 통해 검증되었다.
• 수치 예제에서 새로운 경계가 상당히 보수성이 낮아, 표준 IQC 분석에 비해 감쇠률 추정에서 본 방법이 뛰어난 성능을 보였다.