域分割间歇通信下多智能体系统的有限时间一致性
doi: 10.7641/CTA.2025.40602
王健安 , 肖倩 , 杨泽林 , 张捷 , 李明杰
太原科技大学电子信息工程学院, 山西 太原 030024 ; 先进控制与工业智能山西省重点实验室, 山西 太原 030024
基金项目: 山西省科技重大专项“揭榜挂帅”项目(202301020101001), 山西省科技创新人才团队专项计划项目(202304051001004), 山西省重点研发计划项目 (2022ZDYF069)资助.
Finite-time consensus of multi-agent systems under region-division intermittent communication
WANG Jian-an , XIAO Qian , YANG Ze-lin , ZHANG Jie , LI Ming-jie
School of Electronics and Information Engineering, Taiyuan University of Science and Technology, Taiyuan Shanxi 030024 , China ; Shanxi Key Laboratory of Advanced Control and Equipment Intelligence, Taiyuan Shanxi 030024 , China
Funds: Supported by the Special Fund for Science and Technology Innovation Teams of Shanxi Province (202301020101001), the Major Science and Technology Special Project of Shanxi Province (202304051001004) and the Key Research and Development Program of Shanxi Province (2022ZDYF069).
摘要
为克服传统间歇通信机制的强时间依赖性及实现多智能体系统快速收敛, 本文提出一种有限时间域分割间歇通信的一致性控制方法. 通过引入两个具有有限时间收敛特性的边界函数, 将非负实域分割为工作、休息、缓冲3个子区域, 多智能体间是否通信由Lyapunov函数轨迹与预设子区域间之间关系决定. 设计了分布式间歇通信有限时间一致性控制协议, 并对停息时间进行了估计. 数值仿真验证了理论结果的有效性.
Abstract
To overcome the strong time-dependency of conventional intermittent communication mechanism and achieve the rapid convergence requirement in multi-agent systems, this paper proposes a finite-time region-division intermittent consensus approach. By introducing two boundary functions with finite-time convergence characteristics, the non-negative real domain is partitioned into three sub-regions: Working, resting, and buffer zones. The communication activation among agents is governed by the relationship between the Lyapunov function trajectory and preset sub-regions. A distributed region-division intermittent communication protocol with finite-time convergence is designed, along with an estimation framework for dwell time. Numerical simulations validate the effectiveness of the theoretical results.
1 引言
多智能体系统由多个相互协作的智能体组成,通过智能体间的通信、协同与合作,为应对复杂现实问题提供了一种更具弹性和节省成本的方案 [1-3] . 近年来,随着在编队控制和机器人集群等领域的广泛应用,多智能体的协同控制已成为研究热点 [4-6] .
一致性是实现多智能体协同控制的关键 [7-9],如文献 [10] 研究一类具有通信不确定的多智能体系统一致性问题,设计了一种非线性控制协议,给出了实现一致性的充分条件. 然而,上述研究大多数结果均只考虑渐近收敛,要求在时间趋于无穷大时才能达到一致,难以满足实际需求. 自Bhat等人 [11] 提出有限时间理论后,因其快速收敛、高鲁棒性及优异的瞬态性能,多智能体系统的有限时间一致性问题备受关注. 文献 [12] 突破传统Lipschitz连续性约束,在不连续动态场景中建立与初始状态无关的有限时间与固定时间收敛判据,以解决多智能体系统一致性问题. 文献 [13-15] 提出一种事件触发有限时间控制策略,解决了二阶非线性多智能体系统由于外部扰动和系统不确定性引起的控制问题.
值得注意的是,上述文献中一致性协议大多是基于连续通信过程,而在实际系统中,智能体间往往难以做到连续通信. 因此,间歇通信方式受到了学者们的广泛关注 [16-18] . 文献[17] 针对具有不连续观测和时变参数不确定性的多智能体系统,给出在周期间歇通信下系统一致性的充分条件. Zhang等人 [18] 克服了周期间歇通信的缺点,在非周期间歇通信下研究了二阶非线性多智能体系统的一致性控制.
在传统间歇通信方案中,工作时间与休息时间需要事先设定,可能存在不必要的工作区间,造成控制资源浪费. 为了克服时间相关间歇通信的不足,Ding 等人 [19] 设计了一种域分割间歇策略,控制器是否工作取决于有限时间边界函数与Lyapunov函数之间的关系. 文献 [20-21] 进一步采用域分割事件相关间歇机制研究了复杂网络同步问题. Sun等人 [22] 设计了基于域分割的事件相关间歇通信方案,通过施加基于相邻智能体状态估计的分布式自适应控制协议,实现了整体一致性. 由于域分割间歇机制与有限时间控制在提升系统性能和降低通信资源占用方面存在优势,探讨基于域分割的事件相关间歇通信有限时间一致性控制具有重要的意义.
基于上述分析,本文研究基于域分割间歇通信的多智能体系统有限时间一致性问题. 与现有文献相比,本文的主要贡献如下: 首先,设计一种域分割有限时间间歇通信机制,其中间歇通信的工作时间并不再是固定的预设值,而是根据所设计的Lyapunov函数与两个预设有限时间收敛特性的边界函数之间的动态关系进行调整,放宽了对工作时间的严格约束条件; 其次,基于所提出的通信方案,并结合有限时间稳定性理论,给出多智能体系统在有限时间内实现一致性的充分条件,以及系统的停息时间; 最后,考虑具有细节平衡结构的通信拓扑,理论结果更具由一般性.
2 预备知识与问题描述
2.1 图论知识
考虑含有个体数量为N 的多智能体系统,用G={VEA}表示多智能体系统. 其中: 节点集V={1,2N}表示系统中的智能体; E{V×V}表示两个智能体之间的边的集合; A=aijN×N是一个邻接矩阵,表示智能体间的通信权重. 度矩阵D=diagd1d2dNRN×N,其中:di=jNi aijNi={jVjiE}为节点的邻居集; 矩阵B=diagb1b2bNRN×N表示领导者与跟随者之间的通讯关系. 假设bi=ai0>0则智能体i与领导者之间存在信息传递,否则ai0=0.令有向图G拉普拉斯矩阵为L=D-A.
2.2 多智能体模型
考虑由一个领导者和N个跟随者组成的二阶领导–跟随多智能系统,其中跟随者智能体i的动力学方程为
x˙i(t)=vi(t)v˙i(t)=ui(t)
(1)
式中:xitRNvitRN代表智能体 i 的位置与速度状态向量,uitRN为设计的控制协议.
领导智能体标记为0,其动力学方程为
x˙0(t)=v0(t),v˙0(t)=a0(t),
(2)
式中:x0tRNv0tRN分别为领导者的位置与速度状态向量,a0tRN为领导者加速度输入.
假设 1 多智能体系统的通信拓扑满足细节平衡的强连通.
假设 2 跟随者只能从领导者接收信息,不能向领导者发送信息,且领导者是全局可达.
定义 1 [23] 对于有向符号图G如果存在正数wiiV对于任意的i,jV满足wiaij=wjaji那么有向符号图G被称为细节平衡图. 其中w=w1wNRN.
本文的控制目标是在任意初始条件下,设计合适的间歇通信一致性协议uit),使式(3)组成的领导–跟随多智能系统实现有限时间一致性,即
limtT xi(t)-x0(t)=0,limtT vi(t)-v0(t)=0.
(3)
2.3 相关引理
引理 1 [24] 如果v1v2vn0并且满足0<r <1,那么以下不等式成立:
i=1n Viri=1n Vir.
(4)
引理 2 [25] 假设Vt)是定义在原点领域上的连续正定Lyapunov函数,且满足以下微分不等式:
V˙(t)-pVq(t),
(5)
式中:p>0,0<q<1对于所有满足tTλ0存在Vt0且稳定时间满足下式:
Tλ0V1-qλ0p(1-q).
(6)
引理 3 [11] 当且仅当领导者在拓扑图G中是全局可达时,则其拉普拉斯矩阵H=L+B>0是一个正定对称矩阵,并且H的所有特征值都是正值.
3 主要结果
3.1 域分割间歇通信下有限时间一致性协议设计
首先考虑如下3个非负实数域:
Γ 1 ( t ) = V ( t ) R + : V ( t ) δ 1 ( t ) , Γ 2 ( t ) = V ( t ) R + : V ( t ) δ 2 ( t ) , Γ 3 ( t ) = V ( t ) R + : δ 1 ( t ) < V ( t ) < δ 2 ( t ) ,
(7)
式中:Γiti=1,23分别表示非负实数域R+的工作区域、休息区域和缓冲区域,满足Γ1tΓ2tΓ3t=R+; V t)是给定的 Lyapunov函数,VtR+.为保证多智能体系统的有限时间一致性,具有有限时间特性的边界函数δiti=1,2设计如下:
δ1(t)=lVt01-β-c1(1-β)t-t011-β,δ2(t)=lVt01-β-c2(1-β)t-t011-β,
(8)
式中: lci是给定常数,且满足c2>c1>0,0<l<112<β<1.显然,当tT1=lVt01-βc11-β+t0时,δ1t0; 当tT2=lVt01-βc21-β+t0时,δ2t0即所设计的边界函数δit有限时间收敛. 本文提出的域分割有限时间间歇通信机制如图1所示.
1域分割有限时间间歇通信机制
Fig.1Finite-time region-division intermittent communication mechanism
值得注意的是,若控制过程只有一个边界函数δ1t那么控制器将在uit=ui*tuit=0.之间快速切换,可能会导致抖振现象的发生.
不失一般性,设计如下的分布式有限时间间歇通信一致性控制协议:
u i ( t ) = u i ( t ) ,      V ( t ) δ 1 ( t ) 0 ,      V ( t ) δ 2 ( t ) u i t ,      δ 2 ( t ) < V ( t ) < δ 1 ( t )
(9)
假设a0t0设计如下的一致性控制协议:
ui* (t) =
a0(t)-sigα1i=1N aijxi-xj+bixi-x0-sigα2i=1N aijvi-vj+bivi-v0,
(10)
式中:α1=a22-α2α20,1sigαy=sgny|y^|α其中:|y^|α=y1α yNαTsgny=sgny1 sgnyNT.
x-i=xi-x0为智能体i与领导者之间的位置误差,v-i=vi-v0为智能体i与领导者之间的速度误差,由yizi的定义,有
y˙i(t)=zi(t)
(11)
在一致性控制协议(10)作用下,可得
z˙i(t)=jNif aijsigα22-α2yj-sigα22-α2yi+jNif aijsigα22-α2zj-sigα22-α2zi-ai0sigα22-α2yi-sigα2zi,
(12)
将式(12)写成矩阵形式,有
z˙i(t)=-(L+B)sigα22-α2(y)-(L+B)sigα2(z).
(13)
根据引理3可知(L + B)是正定的,如果在有限时间内x-iT v-iTT0T 0TT那么在有限时间内yiTziTT0T 0TT.
3.2 有限时间一致性分析
定理 1 若假设1–2成立,则在一致性控制协议(10)的作用下,多智能体系统(1)–(2)可实现有限时间一致性,且停息时间满足
TT1=lVt01-βc1(1-β)+t0
(14)
构建如下的Lyapunov函数:
V(y,z)=12zT[(L+B)diag(w)]-1z+2-α22|y^|12-α2T[diag(w)]-1|y^|12-α2,
(15)
Vyz求导,可得
V˙(y,z)=-|z^|1+α22Tdiag1w|z^|1+α220,
(16)
由式(15)–(16)得,对于k>0都存在
Vk2-αy,kz=k2V(y,z),
(17)
V˙k2-αy,kz=k1+αV˙(y,z),
(18)
k=[Vyz]-12由式(18)得
V˙(y,z)[V(y,z)]1+α22=V˙[V(y,z)]-2-α22y,[V(y,z)]-12zsup(y,z)Ω V˙(y,z)
(19)
其中:Ω=[VYZ]-2-α22Y[VYZ]-12Z:YTZTTR2N/0T0TT.由式(17)齐次,得
V[V(y,z)]-2-α22y,[V(y,z)]-12z=1,
(20)
因此,Ω={yz:Vyz=1}Vyz在集合上是连续非正的,那么
V˙(y,z)[V(y,z)]1+α22sup(y,z)Ω V˙(y,z)=-c,
(21)
进而有
V˙(y,z)-cV(y,z)1+α22.
(22)
由于yTzTT:V˙yz=0=0T0TTc >0. 不失一般性,令c >c2 >c1. 为方便表达,将 Vyz)记为Vt). 令β=1+α22将式(22)从t0t积分可得
V(t)lVt01-β-c(1-β)t-t011-β.
(23)
由于Vt)在t0时刻的初始状态不同,分为3种情况对停息时间进行分析.
情况 1Vt0Γ1t时,uit=ui*tt0时刻被激活.tt0lVt01-βc21-β+t0时,存在时刻τ0使得Vt)接触边界δ1tV t)将由工作区域Γ1t进入缓冲区域Γ3tuit=ui*t-被激活. 由于c >c2 >c1Vt)的收敛速度比边界函数δ1t快,存在τ1时刻Vt)接触边界δ2t此时uit=0被激活,Vt)由缓冲区域Γ3t)进入休息区域Γ2t). 若存在时刻τ2Vt)再次接触边界δ1tuit=ui*t将再次被激活. 基于上述分析,由Vt)和δit之间的关系确定停止时序t2m+1和激活时序t2m.
T1=lVt01-βc1 (1-β) +t0, T2=lVt01-βc2 (1-β) +t0
tt2mlVt01-βc11-β+t0时,
V (t) lVt01-β-c1 (1-β) t-t011-β.
情况 2 Vt0Γ2tuit=0在时刻t0 被激活,存在t时刻Vt)接触边界δ2t),此时V t)由休息区域Γ2t)进入缓冲区域Γ3t),且在缓冲区域维持休息状态. 存在τ-0时刻使Vt)接触边界δ1t),控制器进入工作状态,并在接触边界δ2t)前维持工作状态. 重复若干次,有tτ-2j+1τ-2j+2jN时,uit=0被激活,此时控制器处于休息状态; tτ-2jτ-2j+1jN时,uit=ui*t被激活,控制器处于工作状态. 当
tτ-2j, lVt01-βc1 (1-β) +t0
时,VtlVt01-β-c11-βt-t011-β.
情况 3Vt0Γ3t时,uit=ui*t-控制器是否工作由上一时刻t-状态决定. 当上一时刻为工作状态时,分析与情况1相同; 当上一时刻为休息状态时,与情况2相同. 综上可知,tτ-2jT1时,
V (t) lVt01-β-c1 (1-β) t-t011-β.
综上所述,VtlimtT1 lVt01-β-c11-β×t-t011-βtt2mT1成立.
在一致性协议(10)的作用下,式(1)–(2)组成的多智能体系统可实现有限时间一致性,且停息时间满足T<T1=lVt01-βc11-β+t0.证毕.
4 数值仿真
考虑由1个领导者与4个跟随者组成的多智能体系统,其满足细节平衡条件的拓扑图如图2所示. 系统的Laplacian矩阵为
H=1.2-0.200-0.41.4-100-0.41.4-100-0.52.5
(24)
2带细节平衡的有向拓扑图
Fig.2Directed topology with detail balanced
假设领导者初始状态的设置为x0=0v0=1加速度输入为a0=8×sint+π3. 跟随者的初始状态为xi=-1 2 0 4Tvi=2 0 1 0T.有向图满足细节平衡条件Hijwj=Hjiwiw=10,20,84.
选取参数如下: l= 0.9,α1 = 0.9,β = 0.975,α2 = 0.95. 经计算可知c = 2.4,选取c1 = 0.4,c2 = 1.8,满足c >c2 >c1. 根据以上参数,预估的停息时间为T1=lVt01-βc11-β+t0=12.9s
图3为各智能体的位置状态轨迹示意图,跟随者与领导者之间的位置误差在7.3 s达到一致. 图4描绘了跟随者与领导者的速度状态轨迹,观察到其速度误差在8.3 s达到一致. 位置与速度获得一致的时间均小于预估的同步停息时间12.9 s,验证了所设计间歇通信方案的有效性. 图5给出了Vt),δ1t)和δ2t)的轨迹. 图6为所设计的间歇控制器轨迹,进一步揭示了域分割有限时间间歇通信机制. 为进一步说明本文方法的优越性,将其与文献 [22] 的方法进行对比. 选取与上文相同参数并根据文献 [22],设计如下的一致性协议:
u i ( t ) = u i ( t ) ,      V ( t ) B 1 ( t ) , 0 ,      V ( t ) B 2 ( t ) , u i t ,      B 2 ( t ) < V ( t ) < B 1 ( t ) ,
(25)
其中
ui*(t)=a0(t)-i=1N aijxi-xj+bixi-x0-i=1N aijvi-vj+bivi-v0.
(26)
3多智能体位置状态轨迹
Fig.3Trajectories of multi-agent position state
4多智能体速度状态轨迹
Fig.4Trajectories of multi-agent velocity state
5Vt),δ1t)和δ2t)的轨迹
Fig.5Trajectories of V (t) , δ1 (t) and δ2 (t)
6间歇控制器轨迹
Fig.6Trajectories of the intermittent controller
图7给出了域分割间歇通信下多智能体位置状态轨迹,表明跟随者与领导者之间的位置误差在14.5 s 达到一致. 图8为域分割间歇通信下多智能体速度状态轨迹,可以看出跟随者与领导者之间的速度误差在13.1 s达到一致.
7域分割间歇通信下多智能体位置状态轨迹
Fig.7Position state trajectories of multi-agent systems under region-division intermittent communication
8域分割间歇通信下多智能体速度状态轨迹
Fig.8Velocity state trajectories of multi-agent systems under region-division intermittent communication
图9为域分割间歇通信下Vt),B1t)和B2t)的轨迹图. 通过与仿真1的结果对比可知,本文所提方法具有更快的收敛速度.
9域分割间歇通信下Vt),B1t)和B2t)的轨迹
Fig.9The trajectories of V (t) , B1 (t) and B2 (t) under region-division intermittent communication
1域分割有限时间间歇通信机制
Fig.1Finite-time region-division intermittent communication mechanism
2带细节平衡的有向拓扑图
Fig.2Directed topology with detail balanced
3多智能体位置状态轨迹
Fig.3Trajectories of multi-agent position state
4多智能体速度状态轨迹
Fig.4Trajectories of multi-agent velocity state
5Vt),δ1t)和δ2t)的轨迹
Fig.5Trajectories of V (t) , δ1 (t) and δ2 (t)
6间歇控制器轨迹
Fig.6Trajectories of the intermittent controller
7域分割间歇通信下多智能体位置状态轨迹
Fig.7Position state trajectories of multi-agent systems under region-division intermittent communication
8域分割间歇通信下多智能体速度状态轨迹
Fig.8Velocity state trajectories of multi-agent systems under region-division intermittent communication
9域分割间歇通信下Vt),B1t)和B2t)的轨迹
Fig.9The trajectories of V (t) , B1 (t) and B2 (t) under region-division intermittent communication
DONG G, LI H, MA H,et al. Finite-time consensus tracking neural network FTC of multi-agent systems. IEEE Transactions on Neural Networks and Learning Systems,2020,32(2):653-662.
YAN Tingruo, XU Xu. Fixed-time integral sliding consensus control for multi agent systems. Control Theory & Applications,2024,41(10):1745-1752.(颜廷若, 徐旭. 多智能体系统固定时间一致性积分滑模控制. 控制理论与应用,2024,41(10):1745-1752.)
LIU Y, ZHANG H, SUN J,et al. Event-triggered adaptive finite-time containment control for fractional-order nonlinear multiagent systems. IEEE Transactions on Cybernetics,2022,54(2):1250-1260.
WEN G, WANG P, HUANG T,et al. Distributed consensus of layered multi-agent systems subject to attacks on edges. IEEE Transactions on Circuits and Systems I: Regular Papers,2020,67(9):3152-3162.
CHEN Yinjuan, NING Xiaogang, WEI Yongdong,et al. Iterative learning control for consensus of measurement-constrained multiagent systems under switching topology. Control Theory & Applications,2023,40(8):1384-1394.(陈引娟, 宁小刚, 魏永东, 等. 切换拓扑下测量受限多智能体系统一致性迭代学习控制. 控制理论与应用,2023,40(8):1384-1394.)
LUO J L, LIU W. Leader-following consensus with prescribed performance for linear multi-agent systems. IEEE Transactions on Automatic Control,2025,70(2):1402-1409.
WEN G, CHEN C L P, DOU H,et al. Formation control with obstacle avoidance of second-order multi-agent systems under directed communication topology. Science China Information Sciences,2019,62:1-14.
TIAN Y P, LIU C L. Consensus of multi-agent systems with diverse input and communication delays. IEEE Transactions on Automatic Control,2016,53(9):2122-2128.
LIU W, LUO J L. Adaptive leader-following consensus for a class of higher-order nonlinear multiagent systems with directed switching networks. Automatica,2017,79:84-92.
CHEN Yangzhou, HUANG Xiaolong. Robust consensus of multiagent systems with uncertain communication topology. Control Theory & Applications,2020,37(8):1709-1716.(陈阳舟, 黄小龙. 不确定通信拓扑下多智能体系统鲁棒一致性. 控制理论与应用,2020,37(8):1709-1716.)
BHAT S P, BERNSTEIN D S. Finite-time stability of continuous autonomous systems. SIAM Journal on Control and Optimization,2000,38(3):751-766.
NING B, JIN J, ZHENG J,et al. Finite-time and fixed-time leaderfollowing consensus for multi-agent systems with discontinuous inherent dynamics. International Journal of Control,2018,91(6):1259-1270.
HAN Q, ZHOU Y S, TANG Y X,et al. Event-triggered finite-time sliding mode control for leader-following second-order nonlinear multi-agent systems. IEEE Open Journal of Intelligent Transportation Systems,2022,3:570-579.
WANG X, WANG S, LIU J,et al. Bipartite finite-time consensus of multi-agent systems with intermittent communication via eventtriggered impulsive control. Neurocomputing,2024:127970.
LI Z, JI H. Finite-time consensus and tracking control of a class of nonlinear multi-agent systems. IEEE Transactions on Automatic Control,2018,63(12):4413-4420.
WEN G H, DUAN Z S, LI Z K,et al. Consensus and its L2-gain performance of multi-agent systems with intermittent information transmissions. International Journal of Control,2012,85(4):384-396.
CHENG F, YU W, WAN Y,et al. Distributed robust control for linear multiagent systems with intermittent communications. IEEE Transactions on Circuits and Systems II: Express Briefs,2016,63(9):838-842.
ZHANG Z, CHEN S, SU H. Scaled consensus of second-order nonlinear multiagent systems with time-varying delays via aperiodically intermittent control. IEEE Transactions on Cybernetics,2019,50(8):3503-3516.
DING S B, WANG Z. Synchronization of coupled neural networks via an event-dependent intermittent pinning control. IEEE Transactions on Systems, Man,and Cybernetics: Systems,2020,52(3):1928-1934.
WANG X, WANG J A, SUN Q,et al. Synchronization of nonlinear coupled complex network via event-dependent intermittent pinning control. European Journal of Control,2023,69:100757.
WANG Jian’an, YANG Zelin, WANG Xin,et al. Finite-time synchronization of delayed complex network under event-dependent intermittent control, Control and Decision,2024,39(11):3673-3680.(王健安, 杨泽林, 王昕, 等. 基于事件相关间歇控制的时滞复杂网络有限时间同步. 控制与决策,2024,39(11):3673-3680.)
SUN J, GUO C, LIU L,et al. Adaptive consensus control of secondorder nonlinear multi-agent systems with event-dependent intermittent communications. Journal of the Franklin Institute,2023,360(3):2289-2306.
FAN Y H, LIU H, ZHU Y,et al. Fast synchronization of complex dynamical networks with time-varying delay via periodically intermittent control. Neurocomputing,2016,205:182-149.
LU X, CHEN S, LI J. Finite-time tracking for double-integrator multi-agent systems with bounded control input. IET Control Theory & Applications,2013,7(11):1562-1573.
CHU T, WANG L, CHEN T,et al. Complex emergent dynamics of anisotropic swarms: Convergence vs.oscillation. Chaos, Solitons & Fractals,2006,30(4):875-885.