[논문 리뷰] A Small-Gain Theorem with Applications to Input/Output Systems, Incremental Stability, Detectability, and Interconnections

Brian Ingalls, Eduardo D. Sontag|ArXiv.org|2001. 10. 30.

Control and Stability of Dynamical Systems참고 문헌 25인용 수 4

한 줄 요약

이 논문은 비선형 시스템의 입력/출력 시스템에 대해 일반적인 소형 이득 정리(소형 이득 정리)를 제시하며, 입력-상태 안정성(ISS), 입력-출력 안정성(IOS), 증분 안정성, 감지 가능성, 안정 시스템 간 연결성 등 기존 결과들을 통합하고 확장한다. 이 정리는 추상적인 이득 함수를 사용하며, 연결된 시스템이 안정성을 유지할 조건을 제공하며, KL 및 K 함수를 통한 일시적 거동과 정 steady-state 응답에 대한 명시적 경계를 제공한다. 이는 고전적 및 최근의 소형 이득 결과를 특수 케이스로 회복한다.

ABSTRACT

A general ISS-type small-gain result is presented. It specializes to a small-gain theorem for ISS operators, and it also recovers the classical statement for ISS systems in state-space form. In addition, we highlight applications to incrementally stable systems, detectable systems, and to interconnections of stable systems.

연구 동기 및 목표

• 비선형 제어 시스템에서 다양한 안정성 개념에 적용 가능한 통합적이고 추상적인 소형 이득 정리를 개발하는 것.
• 기존의 ISS 및 IOS 소형 이득 결과를 일시적 거동과 증분 안정성까지 확장하는 것.
• 고전적 소형 이득 정리를 회복하고 감지 가능성 및 연결 문제에 적용 가능한 프레임워크를 제공하는 것.
• 비선형 이득 함수를 사용하여 연결된 시스템이 입력-출력 안정성을 유지할 조건을 설정하는 것.

제안 방법

• 시간 집합 T 위에서 입력, 상태, 출력을 추상적으로 다룰 수 있도록, 궤적을 사중조합 (τ, u(·), x(·), y(·))로 형식화하는 것.
• KL 및 K 함수를 사용하여 (µ, C)-KL-실용적-IOS 성질을 정의하여 渐진적 감쇠와 유한한 과도 초과를 포착하는 것.
• 이득 함수의 복합에 기반한 일반화된 소형 이득 조건 도입: 모든 s > 0에 대해 γ₁(γ₂(s)) < s 또는 γ₂(γ₁(s)) < s.
• 소형 이득 조건 하에서 안정성 추정을 유도하기 위해 KL 함수와 이득 경계를 포함하는 기술적 보조정리를 적용하는 것.
• 추상적 이득 함수와 함수 불등식을 사용하여 상태공간 모델을 초월한 안정성 분석을 일반화하는 것.
• 출력 궤적의 초기 상태 및 입력 노름에 대해 제약을 두는 KL 함수와 비교하여 안정성을 증명하는 것.

실험 결과

연구 질문

• RQ1 두 시스템의 피드백 연결이 언제 입력-출력 안정성(IOS)을 유지하는가?
• RQ2 상태공간 표현이 없는 시스템, 예를 들어 순수한 입력-출력 시스템에 대해 소형 이득 정리는 어떻게 일반화될 수 있는가?
• RQ3 소형 이득 조건을 일시적 거동을 포착하는 비선형 이득 함수의 관점에서 표현할 수 있는가?
• RQ4 제안된 정리는 어떻게 ISS, IOS, 증분 안정성, 감지 가능성 등을 하나의 프레임워크 안에서 통합하는가?
• RQ5 유계 이득을 가진 연결된 시스템에서 실용적 안정성과 흡인성을 보장하는 추상적 조건은 무엇인가?

주요 결과

• 소형 이득 정리는 모든 s > 0에 대해 γ₁(γ₂(s)) < s 또는 γ₂(γ₁(s)) < s 를 만족할 경우 연결된 시스템이 입력-출력 안정성(IOS)을 보장한다.
• 이 정리는 상태공간 형태의 ISS 시스템에 대해 고전적인 소형 이득 결과를 회복하며, 추상적 입력과 출력을 가진 시스템으로까지 확장한다.
• 증분 안정 시스템의 경우, 이 정리는 궤적이 상호 간에 수렴함을 보장하며, 이에 대한 경계는 초기 차이와 입력 노름에 따라 달라진다.
• IOSS 및 IMES 성질을 통해 감지 가능한 시스템에 적용되어 추정 오차가 渐진적으로 감소할 조건을 제공한다.
• 안정성 경계는 KL 함수 β와 K 함수 γ를 통해 표현되며, 이는 출력 궤적이 초기 상태 크기, 입력 에너지, 일시적 감쇠 항목에 의해 제약됨을 보장한다.
• 증명은 KL 함수와 이득 함수를 포함하는 기술적 보조정리를 기반으로 하며, T(ε,r)에 대한 특정 조건 하에서 β(r,t)가 min{ε−2C, δ−1(r)} ≤ β(r,t) 를 만족하도록 구성될 수 있음을 보여준다.