技术摘要：具有有界和无界延迟的齐次正系统的渐近稳定性与衰减率

问题陈述

本文研究了存在时间延迟的非线性正系统的稳定性分析。虽然关于带延迟的正线性系统的稳定性已有大量文献，但针对非线性正系统的理论发展较少。现有的非线性系统研究结果通常依赖于严格的假设，例如常数延迟或特定的齐次度（例如，零阶齐次）。此外，许多研究假设延迟是有界的，而现实世界的应用（如无线功率控制）可能涉及随时间变化的、甚至是无界的延迟，只要这些延迟的增长速度慢于时间本身。

核心问题是为一类广泛的非线性正系统（具体为连续时间中的合作且齐次的向量场，以及离散时间中的非减且齐次的向量场）建立关于延迟无关全局渐近稳定性的充分必要条件。此外，本文旨在量化这些系统在各种不同类型的时变延迟（包括有界和无界情况）下的衰减率。

方法论

作者采用了一种不同于广泛使用的 Lyapunov-Krasovskii 泛函法（常用于常数延迟）以及先前关于常数延迟的研究中所使用的基于单调性的方法的证明技术。该方法依赖于构造一个特定的 Lyapunov 函数，并通过嵌套集来分析系统轨迹。

关键方法论要素：

1. 系统类别： 研究聚焦于满足以下条件的系统：
   • 连续时间： 合作（Jacobian 为 Metzler 矩阵）且为任意度 $p$ 的齐次系统。
   • 离散时间： 非减且为零阶齐次的系统（用于全局稳定性）或 $p > 0$ 阶齐次的系统（用于局部稳定性）。
2. 延迟假设： 本文考虑满足最小增长条件的时变延迟 $\tau(t)$（连续）或 $d(k)$（离散）：$\lim_{t \to \infty} (t - \tau(t)) = +\infty$。这允许处理既包括有界延迟也包括增长速度不超过时间的无界延迟。
3. Lyapunov 构造： 定义了一个基于加权 $l_\infty$ 范数的 Lyapunov 函数：
   $$V(x) = \max_{1 \le i \le n} \left( \frac{x_i}{v_i} \right)^{\frac{r_{\max}}{r_i}}$$
   其中 $v > 0$ 是一个特定向量，$r$ 定义了扩张映射（dilation map）。
4. 嵌套集论证： 证明表明，如果满足稳定性条件，系统状态将进入由 $V(x) \le \gamma^m \|\phi\|$（其中 $0 \le \gamma < 1$）定义的序列嵌套集 $S(m)$ 并保持在该集合内。这确立了无论延迟的大小或变化如何，状态都会收敛于原点，前提是延迟满足增长假设。
5. 衰减率分析： 为了量化收敛性，作者利用了 $\mu$-稳定性 的概念。他们推导了使解满足 $\|x(t)\| = O(\mu^{-1}(t))$ 的条件，其中 $\mu(t)$ 是表征衰减率（例如指数或多项式衰减）的非减函数。

核心贡献与结果

1. 延迟无关的稳定性条件

本文确定了对于上述特定类别的系统，只要延迟满足增长条件（连续时间下的假设 1，离散时间下的假设 4），其全局渐近稳定性与延迟的大小和变化是无关的。

• 连续时间（定理 1）： 齐次合作系统对于所有容许的延迟是全局渐近稳定的，当且仅当存在一个向量 $v > 0$ 使得：
  $$f(v) + g(v) < 0$$
  该条件与对应的无延迟系统的稳定性条件完全一致。
• 离散时间（定理 3）： 对于零阶齐次非减系统，对于所有容许的延迟具有全局渐近稳定性，当且仅当存在 $v > 0$ 使得：
  $$f(v) + g(v) < v$$
• 高阶情形下的局部稳定性： 对于离散时间 $p > 0$ 阶系统，相同的条件确保了在特定初始值范围内的局部渐近稳定性。

2. 衰减率的量化

本文针对不同的延迟场景提供了显式的衰减率界限：

• 有界延迟（推论 1）：
  • 若度数 $p=0$，系统是全局指数稳定的。衰减率 $\eta$ 由一个涉及延迟上界 $\tau_{\max}$ 的超越方程决定。
  • 若度数 $p>0$，系统表现出幂率稳定性（多项式衰减），其速率取决于 $\tau_{\max}$。
• 无界延迟（推论 2 & 5）：
  • 对于满足 $\sup_{t>T} \frac{\tau(t)}{t} = \alpha < 1$ 的延迟，系统保持幂率稳定性。
  • 衰减率被证明为 $O(t^{-\xi})$（对于 $p=0$）或 $O(t^{-\frac{r_{\max}}{p}\beta})$（对于 $p>0$）。
  • 至关重要的是，本文量化了参数 $\alpha$（延迟的渐近增长率）如何影响稳定性：当 $\alpha \to 1$ 时，保证的衰减率会恶化（趋于零），表明收敛速度变慢。

3. 向线性系统的扩展

本文的结果推广了现有的正线性系统研究发现。

• 对于连续时间线性系统（$\dot{x} = Ax + Bx(t-\tau(t))$），若 $A+B$ 是 Hurwitz 的（所有特征值的实部均为负），则保证稳定性。
• 对于离散时间线性系统（$x(k+1) = Ax(k) + Bx(k-d(k))$），若$A+B$ 的谱半径小于 1，则保证稳定性。
• 不同于以往仅建立稳定性结论的工作，本文为这些线性系统在无界延迟下的表现提供了显式的衰减率界限。

意义与主张

本文声称为分析一类重要的、在最小延迟限制下的非线性正系统提供了一个全面的框架。

• 通用性： 结果从常数延迟扩展到了时变及无界延迟，而在这些场景下，以往基于单调性的证明方法失效了。
• 极简限制： 证明技术对延迟施加了极小的限制，仅要求延迟的增长速度不能快于时间本身。
• 定量洞察： 一个主要的贡献是推导出了显式的衰减率界限。本文展示了虽然稳定性是延迟无关的，但收敛的速度并非如此；收敛速度直接受到延迟增长率的影响。
• 统一性： 该工作统一了连续时间与离散时间系统的处理方式，并弥合了线性与非线性正系统在延迟不敏感性方面的差距。

作者总结道，其研究结果为分析和控制分布式环境中的正系统提供了坚实的理论基础，在这些环境中，信息交换的延迟是不可避免且可能无界的。