[논문 리뷰] Integral-Input-Output to State Stability

Brian Ingalls|ArXiv.org|2001. 06. 15.

Fault Detection and Control Systems참고 문헌 25인용 수 3

한 줄 요약

이 논문은 비선형 시스템에 대한 적분형 입력-출력-안정성(iIOSS)을 도입하고 특성화한다. 이는 기존의 Supremum(L∞) 노름 대신 적분형(L1형) 노름을 사용하는 탐지 가능성 개념이다. 논문은 iIOSS가 특정 소산 불평형식을 만족하는 연속 리아푸노프 함수의 존재와 동치임을 증명하며, 입력 집합이 컴act일 경우 부드러운 리아푸노프 함수로의 확장을 제시한다. 주요 기여는 iIOSS의 리아푸노프 특성화로, 에너지 유사 신호 측정이 있는 시스템에 대한 관측기 설계 및 강건성 분석을 가능하게 한다.

ABSTRACT

A notion of detectability for nonlinear systems is discussed. Within the framework of ``input to state stability'' (ISS), a dual notion of ``output to state stability'' (OSS), and a more complete detectability notion, ``input-output to state stability'' (IOSS) have appeared in the literature. This note addresses a variant of the IOSS property, using an integral norm to measure signals, as opposed to the standard supremum norm that appears in ISS theory.

연구 동기 및 목표

• 비선형 시스템에 대해 적분(L1형) 신호 노름 기반의 탐지 가능성 개념을 체계화하고, 기존의 IOSS 이론을 확장한다.
• iIOSS 성질에 대한 리아푸노프 함수 특성화를 수립하여 안정성 분석을 위한 구조적 프레임워크를 제공한다.
• iIOSS 시스템이 노름 관측기를 갖는다는 것을 보여주며, 출력 측정을 통해 상태의 유계 추정이 가능함을 입증한다.
• 입력 집합이 컴팩트할 경우 리아푸노프 함수를 부드러운 함수로 확장하여 제어 설계에서의 적용 가능성을 높인다.

제안 방법

• 입력 및 출력 신호를 측정하는 데 적분 노름을 사용하는 IOSS의 변종으로 iIOSS를 제안하며, 총 신호 에너지를 모델링한다.
• 시작 상태와 출력, 입력 신호의 적분에 의해 상태 노름이 유계임을 보장하는 함수 α ∈ K∞, β ∈ KL, 그리고 γ1, γ2 ∈ K의 존재를 통해 iIOSS를 정의한다.
• iIOSS와 시간에 따라 변화하는 이득을 포함하는 소산 불평형식을 만족하는 연속 리아푸노프 함수 V의 존재 사이의 동치성을 확립한다.
• 비미분 가능 리아푸노프 함수를 다룰 때 비연속 함수의 일반화된 의미에서 필요한 감소 조건을 유도하기 위해 점도 하부기울기( viscosity subgradients)를 사용한다.
• 입력 집합이 컴팩트할 경우 Rn\{0}에서 정의된 부드러운 함수 eV를 구성한 후, 이를 부드러운 K∞ 함수 ρ와 복합함수로 조합하여 전역적인 부드러움을 보장함으로써 결과를 부드러운 리아푸노프 함수로 확장한다.
• 입력 집합이 컴팩트할 조건 하에서 부드러운 리아푸노프 함수의 존재를 보장하기 위해 [11] 및 [15]의 결과를 응용한다.

실험 결과

연구 질문

• RQ1 비선형 시스템에 대해 적분 노름 기반의 탐지 가능성 개념을 엄밀히 정의할 수 있으며, 기존의 표준 IOSS와의 차이는 무엇인가?
• RQ2 iIOSS 성질에 대한 리아푸노프 함수 특성화가 존재하는가? 만약 존재한다면, 함수에 대한 정규성 조건은 무엇인가?
• RQ3 iIOSS는 기존의 iISS 및 수동 시스템 개념과 어떻게 관련이 있으며, 관측기 설계에 어떤 함의를 갖는가?
• RQ4 입력 집합이 컴팩트와 같은 약한 조건 하에서 iIOSS 리아푸노프 함수를 부드럽게 구성할 수 있는가?
• RQ5 점도 하부기울기( viscosity subgradient)는 비미분 가능 함수에 대한 리아푸노프 조건을 수립할 때 어떤 역할을 하는가?

주요 결과

• iIOSS 성질은 출력 및 입력 신호의 적분을 포함하는 소산 불평형식을 만족하는 연속 리아푸노프 함수 V의 존재와 동치이다.
• 점도 하부기울기의 형태는 리아푸노프 함수가 미분 가능하지 않더라도 필요한 리아푸노프 감소 조건을 도출할 수 있도록 허용한다.
• 입력 집합이 컴팩트한 시스템의 경우, iIOSS 리아푸노프 함수를 부드럽게 구성할 수 있으며, 이는 더 강력한 분석 및 설계 도구를 가능하게 한다.
• 리아푸노프 함수는 작은 τ에 대해 다음 형태의 유계를 만족한다: V(x(τ,ξ,v)) − V(ξ) ≤ ∫₀^τ [−c₁λ(Tξ + r) + c₂(γ₁(|y|) + 2eγ₂(|v|))] dr, 이는 상태의 감쇠를 보장한다.
• 이러한 리아푸노프 함수의 존재는 시스템이 노름 관측기를 갖는다는 것을 의미하며, 원점으로부터 상태의 거리 추정이 가능하다.
• 구성 과정을 통해 전역적으로 부드럽고 정의가 양수인 리아푸노프 함수 V = ρ∘eV를 얻을 수 있으며, 여기서 ρ는 부드러운 K∞ 함수이다.