[论文解读] Integral-Input-Output to State Stability

Brian Ingalls|ArXiv.org|Jun 15, 2001

Fault Detection and Control Systems参考文献 25被引用 3

一句话总结

本文提出了并表征了积分输入-输出有限稳定性（iIOSS），这是一种使用积分（L1型）范数而非esssup（L∞）范数的非线性系统可检测性概念。证明了iIOSS等价于存在一个满足特定耗散不等式的连续李雅普诺夫函数，当输入集紧致时，该结果可扩展至光滑李雅普诺夫函数。主要贡献在于建立了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系统可构造范数观测器，从而实现从输出测量中估计状态有界性。
• 在输入集紧致的条件下，将李雅普诺夫构造扩展至光滑函数，增强在控制设计中的适用性。

提出的方法

• 提出iIOSS作为IOSS的变体，采用积分范数测量输入与输出信号，以建模总信号能量。
• 通过存在函数 α ∈ 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 上梯度在非光滑函数李雅普诺夫条件的表述中起何作用？

主要发现

• iIOSS性质等价于存在一个连续李雅普诺夫函数V，其满足涉及输出与输入信号积分的耗散不等式。
• 通过上梯度公式，即使李雅普诺夫函数不可微，也能推导出必要的李雅普诺夫下降条件。
• 对于输入集紧致的系统，可构造光滑的iIOSS李雅普诺夫函数，从而支持更强的分析与设计工具。
• 李雅普诺夫函数满足如下有界形式：V(x(τ,ξ,v)) − V(ξ) ≤ ∫₀^τ [−c₁λ(Tξ + r) + c₂(γ₁(|y|) + 2eγ₂(|v|))] dr，对小τ成立，确保状态衰减。
• 此类李雅普诺夫函数的存在性意味着系统可构造范数观测器，从而实现对状态到原点距离的估计。
• 构造结果得到光滑的iIOSS李雅普诺夫函数 V = ρ∘eV，其中ρ为光滑K∞函数，确保全局光滑性与正定性。