[논문 리뷰] Conic S-Procedure And Constrained Dissipativity

Аlexander L. Fradkov|ArXiv.org|2005. 09. 30.

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

한 줄 요약

이 논문은 양의 정부호 행렬 공간에서의 쌍대성과 행렬 라그랑주 승수를 활용하여 유한 주파수 영역 부등식(FDIs), 시간 도메인 소산성 부등식, 제약 조건이 있는 선형 행렬 부등식(LMIs) 간의 등가성을 확립하는 새로운 쌍곡선 S-절차 프레임워크를 제안한다. 주요 기여는 행렬 부등식 제약 조건 하에서의 강건 분석 및 설계를 가능하게 하는 손실이 없는 S-절차 확장으로, 고전적인 KYP 보조정리가 비고전적이고 유한 주파수 설정으로 일반화된 것으로, 제어 시스템의 강건성에 실용적인 영향을 미친다.

ABSTRACT

A new version of classical S-procedure in system theory is proposed based on duality in the space of positive definite matrices and introduction of matrix Lagrange multipliers. A new proof and extension of the recent results of T.Iwasaki, S. Hara, A. Fradkov ( Systems & Control Letters, 2005. Vol 54 (7), pp 681-691) concerning equivalence between frequency domain inequality on finite frequency range and constrained dissipativity property for linear systems is given. The results of this paper extend S-procedure to allow for analysis and design of systems with matrix inequalities constraints.

연구 동기 및 목표

• 고전적인 S-절차를 쌍곡선 제약 조건과 행렬 부등식을 다룰 수 있도록 확장하고, 특히 유한 주파수 제어 문제에 적용한다.
• 양의 정부호 행렬 공간에서의 쌍대성과 행렬 라그랑주 승수를 활용하여 손실이 없는 S-절차의 버전을 수립한다.
• 유한 주파수 영역 부등식(FDIs), 시간 도메인 소산성 부등식(TDIs), 제약 조건이 있는 선형 행렬 부등식(LMIs) 간의 등가성을 증명한다.
• 특히 제약 조건이 있는 소산성 조건을 가진 시스템에 대해, 행렬 부등식 제약 조건 하에서 강건 제어 시스템 분석 및 설계를 가능하게 한다.

제안 방법

• 양의 정부호 행렬 공간에서의 쌍대성을 기반으로 한 새로운 쌍곡선 S-절차 설정을 제안하며, 제약 조건을 다루기 위해 행렬 라그랑주 승수를 도입한다.
• 쌍곡선 S-절차를 적용하여 일반화된 KYP-보조정리 프레임워크를 통해 유한 주파수 FDI, TDI, LMI 조건 간의 등가성을 증명한다.
• 최적화 이론의 쌍대성 정리를 활용하여 제약 조건 콘의 볼록성과 정규성 조건 하에서 S-절차의 손실 없음을 확립한다.
• 행렬 승수를 사용하여 시간 도메인 소산성 조건을 변환함으로써, 유한 주파수 FDI와 등가인 행렬 부등식(LMI)을 유도한다.
• L2 공간 내에서의 적분 제곱 형식을 사용하여 상태 및 입력 제약 조건이 있는 연속 시간 선형 시스템에 적용한다.
• 정리 4와 추론 1을 통해 접근법을 검증하여, 주파수 간격에서의 FDI와 상태 도함수의 '느림' 조건이 있는 제약 조건이 있는 소산성 간의 등가성을 보여준다.

실험 결과

연구 질문

• RQ1 고전적인 S-절차는 행렬 부등식 제약 조건과 유한 주파수 도메인 부등식을 손실 없이 다룰 수 있는가?
• RQ2 FDI, 시간 도메인 소산성, 제약 조건이 있는 LMIs 간의 등가성을 보장하는 쌍대성 기반 프레임워크가 존재하는가?
• RQ3 입력 및 상태 동역학을 기반으로 제약 조건이 있는 소산성을 어떻게 특성화할 수 있는가, 특히 상태 도함수 에너지에 대한 제약 조건이 있는 경우에 대해?
• RQ4 행렬 부등식으로 정의된 쌍곡선 제약 조건이 존재할 때 S-절차의 손실 없음을 보장하는 조건는 무엇인가?
• RQ5 시스템의 점근적 안정성이 요구되지 않는 조건에서 FDI와 제약 조건이 있는 소산성 간의 등가성을 확립할 수 있는가?

주요 결과

• S-절차의 손실 없음은 기능 집합의 이미지 콘의 닫힘 부분이 볼록하고 제약 조건이 정규일 경우 보장되며, 이는 S-절차 설정에서 (A)와 (B) 간의 등가성을 보장한다.
• 일반적인 주파수 간격 Ω에서의 유한 주파수 FDI는 상태와 그 도함수를 포함하는 행렬 제약 조건 (7)이 있는 시간 도메인 소산성 부등식 (6)과 등가이다.
• 저주파수 FDI (|ω| ≤ ϖ)의 경우 제약 조건은 상태 도함수 에너지가 상태 에너지에 비례하는 bound로 줄어들며, ∫|ẋ|²dt ≤ ϖ²∫|x|²dt 와 같이 표현된다.
• 이 등가성은 시스템의 점근적 안정성이 요구되지 않으며, 이전 연구에서 이러한 가정이 필요로 했던 결과를 확장한다.
• 행렬 라그랑주 승수를 통해 유한 주파수 FDI 문제를 제약 조건이 있는 LMI 문제로 변환함으로써 강건 제어 설계를 가능하게 한다.
• 이 방법은 KYP 보조정리를 유한 주파수 및 제약 조건이 있는 소산성 설정으로 일반화하여, 강건성 분석을 위한 통합 프레임워크를 제공한다.