基于Looped-functional方法的复杂动态网络事件触发同步镇定控制与估计

《Applied Mathematics and Computation》：MIF-based event-triggered schemes for synchronization control of coupling complex dynamic networks

　　

摘要——研究人员研究了具有非线性和时变耦合的复杂动态网络(Complex Dynamical Networks, CDNs)在事件触发状态反馈控制器下的渐近同步问题。通过引入包含区间加权积分项（关联事件触发条件）的Looped-functional（环路泛函），沿系统轨迹对泛函求导并结合Wirtinger型不等式与凸组合技术，将误差动态系统的稳定性转化为线性矩阵不等式(Linear Matrix Inequality, LMI)可行性条件。所得判据可同时给出控制器增益与事件触发加权矩阵，并显式给出采样间隔上下界。数值仿真验证了所提事件触发机制(Event-Triggered Mechanism, ETM)下网络节点状态与孤立节点实现渐近同步，且排除了Zeno行为。

论文解读：基于Looped-functional方法的复杂动态网络事件触发同步控制

一、研究背景与意义

复杂动态网络(Complex Dynamical Network, CDN)广泛存在于自然界与工程领域，同步控制是其核心课题。传统时间触发(Time-triggered)控制需周期性采样，造成通信与计算资源浪费。事件触发控制(Event-Triggered Control, ETC)仅在误差超过阈值时更新，可节约资源，但需保证闭环稳定性及非Zeno行为（即最小采样间隔大于零）。现有CDN的ETC研究多未充分考虑时变耦合与扇形(Sector-bound)非线性，且稳定性证明中较少采用能充分利用采样区间信息的Looped-functional（环路泛函）方法，亦少有工作能同时给出采样间隔上下界及控制器与触发参数的协同设计。本文在《Applied Mathematics and Computation》发表，旨在填补此空白，建立基于Looped-functional的CDN事件触发同步镇定理论。

二、主要关键技术方法

研究人员首先建立含孤立节点与N个相同节点的CDN模型，节点具Sector-bound非线性（由H^?, H⁺界定）。构造含状态反馈增益K₁, K₂（含当前与历史状态）的事件触发控制器，触发条件基于测量误差e(t)=s(t_k)?s(t)与加权矩阵Q的二次型‖e(t)‖²_Q≤ σ₀‖s(t_k)‖²_Q。核心为设计含二次积分项（(t_k+1?t)∫_tk^te^T(θ)Q e(θ)dθ 及 ?(t?t_k)∫_t^t_k+1e^T(θ)R₃e(θ)dθ）的Looped-functional V(t)=s^T(t)Ps(t)+W(t)。对V(t)求导，引入增广向量χ(t)封装?(t), x(t), x(t_k), x(t_k+1), f(s(t)), 及各类积分量，应用Wirtinger不等式放缩积分项，引入自由权矩阵N₁, N₂, N₃, N₄及系统方程恒等变换(Zero Equality)，最终通过Schur补将˙V(t)<0导出为关于?_k=t_k+1?t_k的LMI（需对?_k=T_m, T_M均成立）。以最大化T_M为优化目标(OP1)求解LMI得P, Q, M, K?₁=M^TK₁, K?₂=M^TK₂，进而反解K₁, K₂。

三、研究结果

3.1. Preliminaries与Problem Formulation

给出CDN数学模型、孤立节点动态、Sector-bound非线性定义及同步误差系统(Error dynamical system)。明确需设计状态反馈控制器与事件触发机制(ETM)使误差系统渐近稳定（即网络与孤立节点同步），且保证最小事件间隔为正。

3.2. Stability analysis（稳定性分析）

构造Looped-functional V(t)，详细推导其导数˙W(t)包含各项（双边乘子Z₁~Z₄、增广向量o_i提取ω₁(t), ω₂(t)及其导数关系）。利用Wirtinger不等式处理∫_tk^t?^TR₁? dθ与∫_t^t_k+1?^TR₂? dθ项，引入零等式(Zero Equality)嵌入系统动态与积分关系（如o₈=(t?t_k)o₆等）。结合ETM导出的∫_tk^te^TQ e dθ ≤ σ₀χ^To₃^TQ o₃χ 及Sector-bound条件χ^T?₉^TH₀?₉χ ≥ 0。最终得到˙V(t) ≤ χ^T[(Ω₀+(t_k+1?t)Ω?₁+(t?t_k)Ω?₂)]χ，并证若LMIs (19)对?_k∈{T_m, T_M}成立则˙V(t)<0。提出Theorem 2：若存在正定P, R_i, Q, Z矩阵及自由权N_i, M, K?_1,2, 对角T_i>0使(19)成立，则误差系统渐近稳定。

3.3. Solution to problem 1（问题1的求解）

给出优化问题OP1：在给定T_m, σ₀, H^?, H⁺下最大化T_M使LMI(19)可行。若OP1可行，由M非奇异（因R₁>0 ? M+M^T>0）计算K₁=M^?TK?₁, K₂=M^?TK?₂，同时获得事件触发权重Q。Remark 3指出该方法协同设计依赖于采样间隔上下界的控制器与ETM，区别于仅考虑下界的工作。

四、数值模拟(4. Numerical simulations)与结论

以三维Chua电路(A₀给定,f(y)具分段线性)为孤立节点，3节点CDN(G, A₁给定)，解OP1得T_M=2.0831(T_m=0.01, σ₀=0.1)。状态响应显示三节点与孤立节点渐近同步；事件触发序列最小间隔0.1581s > T_m=0.01s，验证非Zeno性。与仅含当前误差的ETM2及纯时间触发比，所提ETM允许更大T_M。

五、讨论与结论翻译

所提Theorem 2建立了含新型Looped-functional（显式关联ETM的区间加权误差积分项）的CDN同步稳定性LMI判据，可协同设计控制器增益与触发矩阵，且给出采样间隔上下界，较已有工作保守性更低。数值表明所设计ETM有效实现同步且排除Zeno行为。

结论：研究人员提出了一种基于Looped-functional的复杂动态网络事件触发同步控制框架，通过构造含前向/后向区间误差积分加权的Lyapunov泛函，结合Wirtinger不等式与自由权矩阵技术，导出了依赖采样长度?_k的线性矩阵不等式稳定性条件。该条件可用于协同求解状态反馈控制器增益K₁, K₂与事件触发加权矩阵Q，并保证最小事件间隔为正。仿真验证了该方法在带有Sector-bound非线性的CDN中实现渐近同步的有效性及较宽松的最大允许采样上界。