[논문 리뷰] Positive Systems Analysis Via Integral Linear Constraints

Sei Zhen Khong, Corentin Briat외 1명|arXiv (Cornell University)|2015. 08. 25.

Stability and Control of Uncertain Systems인용 수 5

한 줄 요약

이 논문은 적분선형제약조건(Integral Linear Constraints, ILCs)을 사용하여 비선형 및 시간변동 시스템의 양성 피드백 연결에 대한 새로운 강건성 있는 안정성 분석 프레임워크를 제안한다. 이는 순간 이득 조건이 폐루프 시스템의 잘 정의됨과 양성 모두를 보장함으로써 고전적인 LTI 안정성 조건을 더 넓은 범주로 일반화하며, 선형계획법 해법이 가능한 스케일러블 L1 기반 분석을 통해 실현 가능하다.

ABSTRACT

Closed-loop positivity of feedback interconnections of positive monotone nonlinear systems is investigated. It is shown that an instantaneous gain condition on the open-loop systems which implies feedback well-posedness also guarantees feedback positivity. Furthermore, the notion of integral linear constraints (ILC) is utilised as a tool to characterise uncertainty in positive feedback systems. Robustness analysis of positive linear time-varying and nonlinear feedback systems is studied using ILC, paralleling the well-known results based on integral quadratic constraints.

연구 동기 및 목표

• 양성 단조 비선형 시스템의 피드백 연결이 항상 양성이고 잘 정의되어 있는 조건을 확립하는 것.
• 양성 LTI 시스템에 대한 고전적인 강건성 안정성 결과를 선형 시간변동(LTV) 및 비선형 시스템으로 확장하는 것.
• 폐루프 시스템의 안정성과 계산 효율성을 향상시키기 위해 적분선형제약조건(ILCs)을 사용한 스케일러블 분석 프레임워크를 개발하는 것.
• 전체 시스템 동역학에 의존하지 않고도 폐루프의 양성성을 보장하는 충분조건을 제공하는 것.
• L1 기반 제약조건과 선형계획법을 활용하여 불확실성 하에서의 양성 시스템의 강건성 분석을 가능하게 하는 것.

제안 방법

• 양성 피드백 시스템에서의 불확실성을 적분선형제약조건(ILCs)을 통해 기술하고, 양성 시스템에 대한 IQC 프레임워크를 일반화한다.
• 개방루프 시스템 G₁ 및 G₂에 대한 ILC 조건을 표현하기 위해 다중변수 벡터 Π ∈ ℝ^{1×(m+p)}를 정의한다.
• 연속성과 유계성 조건을 연산자 G₁ 및 G₂에 적용하여 L1e+에서 잘 정의됨과 안정성을 보장한다.
• 불확실성의 크기와 관련된 부등식 ∥v∥₁ + ∥w∥₁ ≤ (‖ψ̄‖/ϵ)(∥d₁∥₁ + ∥d₂∥₁을 통해 안정성에 대한 충분조건을 유도한다. 여기서 ψ̄는 다중변수 Ψ의 최대 절대 성분이다.
• 역연산자 (I − τG₂G₁)⁻¹을 사용하고, 모든 τ ∈ [0,1]에 대해 L1e+에서 유계성을 증명하기 위해 귀납적 추론을 적용한다.
• 다중변수 Π와 DC(s=0)에서의 시스템 이득을 포함하는 벡터 부등식으로 분석을 단순화함으로써 선형계획법 해법이 가능하도록 한다.

실험 결과

연구 질문

• RQ1 두 양성 비선형 시스템의 피드백 연결이 언제 양성이고 잘 정의되어 있는지 보장할 수 있는 조건은 무엇인가?
• RQ2 양성 LTI 시스템에 대한 고전적인 정적 이득 조건이 ILC를 통해 시간변동 및 비선형 시스템으로 일반화될 수 있는가?
• RQ3 적분선형제약조건(ILCs)을 어떻게 활용하여 양성 피드백 시스템에서의 불확실성과 강건성 있는 안정성을 보장할 수 있는가?
• RQ4 L1 기반 ILC는 양성 시스템에 대해 IQC 기반 분석의 스케일러블 대체 방법이 될 수 있는가?
• RQ5 제안된 프레임워크는 시간변동 이득 또는 구조적 불확실성을 가진 시스템에 적용될 수 있는가?

주요 결과

• 폐루프의 양성성을 보장하는 충분조건이 확립되었다: 개방루프 시스템이 ILC를 통해 순간 이득 조건을 만족하면, 피드백 연결은 여전히 양성이다.
• 다중변수 기반 ILC 설정을 통해 고전적인 조건 ρ(Ĝ₁(0)Ĝ₂(0)) < 1을 비선형 및 시간변동 시스템으로 일반화하였다.
• G₂ ∈ ILCc(Π) 및 모든 τ ∈ [0,1]에 대해 τG₁ ∈ ILC(Π)일 경우, [G₁, G₂]의 L1e+에서의 강건성 안정성이 보장되며, 다중변수 Π는 이득과 불확실성의 범위를 모두 포함한다.
• 안정성 조건은 선형계획법으로 해결 가능한 프레임워크로 이어지며, 계산 복잡도는 시스템 차원에 따라 선형적으로 증가한다.
• LTI 시스템의 경우, 특정한 다중변수 Π를 선택하면 기존의 알려진 결과 ρ(Ĝ₁(0)Ĝ₂(0)) < 1가 특수한 경우로 복원된다.
• 시간변동 이득 δ₁(t), δ₂(t) ∈ [0,α], [0,β]를 가진 시스템에도 프레임워크가 적용되며, 다중변수 조건 Π[Ĥ(0) I] < 0가 성립할 경우 안정성이 보장된다.