State Observers for Linear Systems with Prescribed Residual Bounds

技术摘要：具有预设残差界的线性系统状态观测器

问题表述
本文针对经典连续时间线性时不变（LTI）系统在受到未知有界扰动时，其状态观测器存在的特定局限性进行了研究。虽然标准的 Luenberger 观测器在满足适当假设的情况下，可以保证估计误差的渐近收敛性和一致有界性，但它们并不能显式地调节观测器残差（定义为 $r(t) = y(t) - C\hat{x}(t)$）的瞬态行为。在故障检测和安全监控等应用中，残差的巨大瞬态偏差可能会触发误报或降低性能。现有的鲁棒设计虽然能根据系统动力学和增益选择得出残差范围，但这些范围无法由设计者直接指定。本文将该问题表述为一个约束强制执行任务：设计一个观测器，使得对于所有 $t \geq t_0$，均满足 $\|r(t)\| \leq \delta$，其中 $\delta > 0$ 是由设计者预先指定的界限，且该界限与扰动的大小无关（在已知界限范围内）。

方法论
所提出的解决方案是一种混合观测器架构，它通过离散状态重置来增强标准的连续时间 Luenberger 观测器。系统动力学建模为：
$$\dot{x} = Ax + Bu + d(t), \quad y = Cx$$
其中 $d(t)$ 是未知的有界扰动。观测器状态 $\hat{x}$ 按照标准的 Luenberger 方程进行连续演化，但当残差范数达到预设阈值 $\delta$ 时，会发生瞬时跳变。

混合动力学由流集（Flow Set）和跳变集（Jump Set）定义：

• 流集 ($C$)： $\|r\| \leq \delta$。观测器进行连续演化。
• 跳变集 ($D$)： $\|r\| \geq \delta$。触发重置。

在跳变时刻 $t_k$，观测器状态通过线性重置映射进行更新：
$$\hat{x}^+ = \hat{x}^- + J r^-$$
其中 $J$ 是常数重置增益矩阵。本文基于与连续误差动力学相关的 Lyapunov 矩阵 $P$ 以及收缩因子 $\rho \in [0, 1)$，推导出了 $J$ 的闭式表达式：
$$J = (1 - \rho) P^{-1} C^\top (C P^{-1} C^\top)^{-1}$$
这种特定的 $J$ 选择确保了在每次跳变时残差都会收缩一个因子 $\rho$（即 $\|r^+\| = \rho \|r^-\|$），同时保持估计误差在 Lyapunov 度量 $V = \tilde{x}^\top P \tilde{x}$ 下的非扩张性。

主要贡献与理论保证
在可检测性、有界扰动以及 $C$ 满秩的假设下，本文建立了四个主要理论结果：

1. 残差收缩： 在每次重置时刻，残差范数被严格降低因子 $\rho$，从而确保 $\|r^+\| = \rho \|r^-\|$。
2. 前向不变性： 如果初始残差满足 $\|r(t_0)\| \leq \delta$，则残差包络 $\{r : \|r\| \leq \delta\}$ 是前向不变的。残差永远不会超过预设界限 $\delta$。
3. 估计误差的非扩张性： Lyapunov 函数 $V(\tilde{x})$ 在跳变时刻不会增加（$V^+ \leq V^-$）。这确保了重置机制不会导致估计误差失稳。
4. 一致有界性： 该混合观测器保留了底层连续时间 Luenberger 观测器的一致有界性质。估计误差保持在与标准观测器相同的表达式内，确保了对扰动的输入状态稳定性（ISS）。
5. 不存在 Zeno 行为： 本文证明了连续两次重置之间存在严格正的最小停留时间，从而防止了在有限时间内发生无限次切换。

仿真结果
作者通过对一个在区间 $t \in [2, 5]$ 内存在随时间变化的正弦扰动的 4 阶 LTI 系统进行仿真，验证了该设计。

• 残差性能： 当扰动活跃时，具有相同增益的标准 Luenberger 观测器违反了预设的残差界限 $\delta$。相比之下，所提出的混合观测器严格强制执行 $\|r(t)\| \leq \delta$。每当残差达到 $\delta$ 时，就会发生重置，使残差瞬间收缩至 $\rho\delta$（仿真中 $\rho=0.1$）。
• 估计误差： 混合观测器的状态估计误差在重置时刻表现出跳变，但保持有界且与连续时间观测器相当。Lyapunov 函数 $V(t)$ 保持有界，证实了其非扩张性属性。
• 初始化： 仿真还表明，如果系统从残差包络外部开始（$\|r(0)\| > \delta$），通过在 $t=0$ 处进行一次重置（取 $\rho=0$），可以立即将残差带入不变集。

意义与主张
本文声称提供了一种无需依赖高增益连续反馈（此类反馈容易产生峰值现象且对噪声敏感）即可调节瞬态残差行为的新机制。不同于以往使用重置来改善瞬态性能或减小 $L_2$ 增益的工作，本研究将残差界限视为一个通过设计强制执行的硬性、不变的性能规范。

作者将这项工作定位为解决“约束强制执行问题”，而非“鲁棒性特征化问题”。通过保证残差保持在设计者指定的包络内，该方法提供了一种更具结构化的标称行为表征。这对于故障检测系统尤为重要，因为这类系统的阈值通常设置得较为保守；所提出的观测器减轻了可能引发误报的扰动引起的尖峰。论文最后指出，虽然该框架已在 LTI 系统上建立，但混合方法并不局限于线性动力学，这为未来扩展到非线性及采样数据系统提供了可能。