[论文解读] A Small-Gain Theorem with Applications to Input/Output Systems, Incremental Stability, Detectability, and Interconnections

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

Control and Stability of Dynamical Systems参考文献 25被引用 4

一句话总结

本文提出了一种适用于输入/输出系统的广义小增益定理，统一并扩展了现有关于输入-状态稳定性（ISS）、输入-输出稳定性（IOS）、增量稳定性、可检测性以及稳定系统互连的研究结果。该定理由抽象增益函数构成，提供了互联系统保持稳定性的条件，并通过KL和K函数显式给出瞬态行为与稳态响应的界，作为经典与近期小增益结果的特例得以恢复。

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函数比较，证明稳定性，该KL函数以初始状态和输入范数的形式界定向输出轨迹。

实验结果

研究问题

• RQ1 在何种条件下，两个系统的反馈互连能保持输入-输出稳定？
• 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)成立。