含间歇耦合与隐私扰动(Privacy Perturbations)的二阶非线性多智能体系统(MASs)的弹性包含控制(Resilient Containment Control)

《Communications in Nonlinear Science and Numerical Simulation》：Resilient Containment Control of Second-Order Nonlinear Multi-Agent Systems with Intermittent Coupling and Privacy Perturbations

　　

摘要：本文研究隐私保护约束下含多个动态领导者(dynamic leaders)的二阶非线性多智能体系统(Multi-Agent Systems, MASs)的弹性包含控制(resilient containment control)问题。有向通信拓扑受到非周期间歇耦合(aperiodic intermittent couplings)影响，其可能由通信中断、调度间隙或对抗性拒绝服务(Denial-of-Service, DoS)攻击引起。研究人员提出一种融入轻量级隐私保护掩蔽方案(lightweight privacy-preserving masking scheme)及衰减扰动(decaying perturbations)的分布式控制协议(distributed control protocol)。通过构造新颖的非周期耦合自适应切换Lyapunov函数(aperiodic coupling-adaptive switching Lyapunov function)建立包含判据(containment criterion)，仅要求非活跃(inactive)时段总时长满足温和条件，且显式考虑了隐私诱导扰动(privacy-induced perturbations)。在该框架下，尽管通信是间歇性的，所有跟随者(followers)仍能渐近收敛至由各领导者状态所张成的凸包(convex hull)内。研究人员进一步揭示了多领导者网络中的饱和效应(saturation effect)：增加领导者数量或影响力对包含性能(containment performance)的改善呈边际递减(diminishing returns)。数值仿真验证了所提方案的有效性，并为复杂网络系统的弹性协同(resilient coordination)提供了实用见解。

论文解读：《Resilient Containment Control of Second-Order Nonlinear Multi-Agent Systems with Intermittent Coupling and Privacy Perturbations》——发表于《Communications in Nonlinear Science and Numerical Simulation》

一、研究背景与意义

多智能体系统(Multi-Agent Systems, MASs)的协同控制如无人机集群(UAV swarms)、机器人协作及自动驾驶车辆编队(vehicle platooning)等，依赖于局部交互实现同步(synchronization)与包含控制(containment control)。现有研究多假设通信连续稳定，但实际环境中常面临通信丢包、调度间隙甚至拒绝服务(Denial-of-Service, DoS)攻击导致的间歇耦合(intermittent coupling)。此外，智能体间交换的状态信息可能泄露敏感数据，需引入隐私保护(privacy-preserving)机制，而传统噪声扰动会牺牲控制精度，加密手段计算开销大。已有隐私掩蔽(mask)策略多独立于弹性(resilient)分析，且针对一阶或线性系统，对二阶非线性系统在同时受非周期间歇耦合与隐私诱导扰动下的弹性包含控制尚缺乏深入研究。因此，研究人员开展本研究以填补该空白，探讨在保证数据隐私前提下，二阶非线性MASs在多动态领导者及间歇通信下的渐近包含问题，并分析多领导者对性能的饱和影响。

二、主要关键技术方法

研究人员采用图论(Graph Theory)描述有向通信拓扑及其邻接矩阵(adjacency matrix)A与拉普拉斯矩阵(Laplacian matrix)L，定义接地拉普拉斯矩阵(grounded Laplacian)。建立二阶非线性MASs动力学模型，引入非周期间歇耦合函数描述通信通断时段，设计含可积衰减掩蔽信号(decaying masking signal)的分布式控制协议以实现隐私保护。构造含时变增益的切换Lyapunov函数(aperiodic coupling-adaptive switching Lyapunov function)，利用比较原理与微分不等式推导保证渐近包含的代数条件（涉及非活跃总时长与拓扑连通性）。通过数值仿真验证理论判据及领导者数量饱和效应。

三、研究结果

Notations with Graph Theory

介绍了?ⁿ、自然集N、全1向量1_n、转置?、欧氏范数‖·‖、Kronecker积?及单位阵I_N、零阵O_N。定义有向图G(V,E,A)，节点集V={V₁,…,V_N}，边集E?V×V，邻接元素a_ij=1若(V_i,V_j)∈E即j可传信息给i，否则为0；入度矩阵与Laplacian矩阵L=D?A，并对leader-follower结构定义grounded Laplacian L_f。此为后续模型与稳定性分析的数学基础。

Main Results

给出了系统模型假设（非线性函数满足Lipschitz条件、拓扑含有向生成树且leaders可达followers、间歇耦合分段常数且总非活跃时间有界、掩蔽信号绝对可积且趋于零）。提出分布式控制协议u_i(t)=Σ_j∈Nia_ij[ (x_j(t)?x_i(t))+(v_j(t)?v_i(t)) ]γ(t)+δ_i(t)（其中γ(t)为间歇耦合开关，δ_i(t)为衰减隐私掩蔽），证明当拓扑满足条件且总断开时间小于某阈值时，误差系统指数稳定，followers的位置与速度渐近收敛至leaders所张凸包。进一步分析显示包含误差上界随领导者数增加而减小但呈饱和(saturation)，给出定量估计式表明额外领导者带来的收益递减。

Numerical Simulations

设置含2个动态领导者和5个跟随者的二阶非线性MASs，模拟DoS攻击致通信间歇及加入幂律衰减掩蔽信号。结果显示followers状态轨迹最终进入leaders凸包内，且掩蔽不影响渐近收敛；对比不同领导者数目仿真曲线证实饱和效应——从1个增至2个领导者包含误差显著缩小，继续增加领导者数对误差改善有限，与理论预测一致。

四、讨论与结论翻译

研究表明，所提含衰减掩蔽的分布式协议可在非周期间歇耦合及隐私扰动下实现二阶非线性MASs的弹性包含控制，只需拓扑含有一棵以leaders为根的有向生成树且总通信中断时间满足给定上界。构造的切换Lyapunov方法有效处理了二阶动力学与非连续耦合的交互影响。揭示的多领导者影响饱和效应对实际多智能体网络（如UAV编队中指挥节点配置）具指导价值：并非越多领导者越优，应权衡拓扑资源与性能增益。该工作将隐私保护与弹性包含分析统一框架拓展至更复杂的二阶非线性及间歇通信场景。

结论译文：

本文研究了在隐私保护约束及对抗性中断下，具方向性间歇耦合拓扑中含多个动态领导者的二阶非线性多智能体系统的弹性包含控制问题。研究人员设计了融入轻量级衰减掩蔽信号的分布式控制协议，确保尽管通信间歇且存在隐私诱导扰动，所有跟随者仍能渐近收敛至由各领导者状态所张成的凸包内。通过发展非周期耦合自适应切换Lyapunov函数建立了包含判据，仅需对总非活跃时长加以温和限制并显式考量隐私扰动影响。此外，揭示了多领导者网络中的饱和效应：增加领导者数目或影响力对包含性能的改善呈边际递减。数值仿真证明了所提方案的有效性，并为复杂网络系统中弹性协同提供了实用见解。