具有脉冲依赖性变化延迟的脉冲系统的稳定性分析：一种基于MDI的循环泛函方法

《Neural Networks》：Stability analysis of impulsive systems with impulse-dependent varying delay: A MDI-based looped functional approach

　　

非线性系统的动态行为常受时滞与脉冲效应的共同影响。此类系统在特定时刻经历瞬时状态跳变（脉冲），同时也受到时滞的作用。在生物学、通信及经济学等领域，时滞往往依赖于脉冲响应。因此，对此类系统进行稳定性分析可为设计与优化提供科学依据与技术支撑。本文应用一种基于单调性时滞区间（Monotone-Delay-Interval-based, MDI）的环Lyapunov泛函方法，研究了具有脉冲依赖变时滞的脉冲系统的稳定性问题。首先，引入了两种新颖的积分不等式。其一是一种利用双侧脉冲特性的自由矩阵积分不等式，使得推导出的条件能够捕获更丰富的脉冲区间信息。其二通过结合自由矩阵公式与单调性时滞区间基环泛函建立，从而导出保守性更低的稳定性判据。这种结合有效地同时捕捉了双侧脉冲特性和时变时滞的变化。随后，利用这些不等式和提出的基于MDI的环泛函，建立了若干稳定性判据及两个相关的推论。最后，给出了渔业管理中的一个实际应用案例及额外的数值算例，以验证所提方法的适用性与有效性。

该论文针对具有脉冲依赖变时滞的脉冲系统，深入研究了其稳定性分析问题，旨在解决现有理论中对于时滞与脉冲相互作用机制考虑不足以及稳定性判据保守性较高的问题。研究人员采用了一种基于单调性时滞区间（MDI）的环泛函方法，构建了新型的Lyapunov泛函并导出了新的积分不等式，最终通过理论证明和数值仿真验证了方法的有效性与优越性。

在研究背景方面，脉冲系统作为一种在特定时刻具有不连续轨迹的混合系统，因其在通信安全、网络安全、机器人技术以及神经科学等领域的广泛应用而备受关注。现有研究表明，在神经系统中，传播和传输时滞对同步活动和信息交换具有显著影响。然而，现有的三种Lyapunov泛函（连续型、离散型和环泛函）在处理同时包含时变时滞和脉冲的系统时存在局限。具体而言，以往的时滞微分方程研究往往假设时滞是随机变化的，但在许多实际工程（如旋转机械加工）和生物系统（如受控神经回路）中，时滞往往遵循特定的结构模式，甚至可能依赖于脉冲事件的发生。这种脉冲与时滞的共存及其相互作用给Lyapunov泛函的构建带来了巨大挑战，导致相关文献中关于脉冲系统内时变时滞的稳定性结果十分有限。

为解决上述问题，研究人员开展了一项创新性的理论研究。他们提出了一种脉冲依赖变时滞脉冲系统模型，并引入了一种新颖的基于单调性时滞区间（MDI）的环Lyapunov泛函方法。该研究的核心贡献在于建立了能够同时捕捉双侧脉冲特性和时变时滞变化规律的稳定性判据。论文最终发表于《Neural Networks》期刊。

在关键技术方法层面，研究人员主要采取了以下手段：首先，定义了系统模型与状态向量及相关参数，明确了脉冲时刻集合与脉冲区间T_k的约束条件。其次，引入了两个关键的新型积分不等式，包括利用双侧脉冲特性的自由矩阵积分不等式和结合自由矩阵与MDI环泛函的不等式，以获取更精确的时滞信息。接着，构造了一个特殊的Lyapunov泛函，该泛函利用了区间(t_k-1, t]、(t, t_k]、(t_k, t]和(t, t_k+1]以及脉冲依赖变时滞范围的信息，突破了传统连续或离散泛函的限制。最后，通过推导Lyapunov泛函沿系统轨线的导数，并结合线性矩阵不等式（LMI）技术，得出了系统渐近稳定的充分条件。

研究结果部分主要包括以下内容：

Preliminaries（预备知识）：研究人员首先给出了具有脉冲依赖变时滞的脉冲系统的数学模型，即?(t) = Ax(t) + Bx(t ? τ(t))（连续动态）和x(t⁺) = Jx(t)（脉冲跳变）。明确了状态变量x(t)、系统矩阵A、B、J以及脉冲时刻集合I_d的定义。同时，设定了时滞τ(t)的取值范围[τ₁, τ₂]及其单调性变化的特性，并定义了相关的积分项κ_i（i=1,...,13）作为后续分析的基石。

Main results（主要结果）：在此部分，研究人员基于前述的MDI环泛函方法和积分不等式，严格推导出了系统渐近稳定的定理和推论。通过构造包含时滞区间信息和脉冲跳变信息的Lyapunov泛函V(t, x(t))，并计算其在连续区间和脉冲时刻的差分，得到了以线性矩阵不等式形式表示的稳定性判据。这些判据通过引入可调维数的自由矩阵，充分挖掘了脉冲区间的结构特征，从而在理论上保证了较低的保守性。

Numerical Simulation Examples（数值仿真算例）：为了验证理论的正确性，研究人员提供了两个数值算例。其中一个是渔业管理的实际应用案例，展示了模型在现实决策中的相关性；另一个算例则通过与现有方法的比较，直观地证明了所提方法在允许更大时滞范围或更宽脉冲间隔方面的优越性，即保守性显著降低。

Conclusions（结论）：论文总结指出，基于提出的单调性时滞区间基环泛函，成功研究了具有脉冲依赖变时滞的脉冲系统的稳定性。通过引入时变时滞的最大值和最小值，构建的闭环Lyapunov函数充分考虑了系统脉冲区间和时滞范围的信息。通过对环Lyapunov泛函导数的低保守性估计，获得了有效的稳定性判据。这项工作不仅丰富了脉冲系统稳定性理论，也为渔业管理等实际工程应用中含时滞脉冲系统的分析与设计提供了重要的理论依据。