摘要
为克服传统间歇通信机制的强时间依赖性及实现多智能体系统快速收敛, 本文提出一种有限时间域分割间歇通信的一致性控制方法. 通过引入两个具有有限时间收敛特性的边界函数, 将非负实域分割为工作、休息、缓冲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 的多智能体系统,用表示多智能体系统. 其中: 节点集表示系统中的智能体; 表示两个智能体之间的边的集合; 是一个邻接矩阵,表示智能体间的通信权重. 度矩阵,其中:为节点的邻居集; 矩阵表示领导者与跟随者之间的通讯关系. 假设则智能体i与领导者之间存在信息传递,否则令有向图拉普拉斯矩阵为
2.2 多智能体模型
考虑由一个领导者和N个跟随者组成的二阶领导–跟随多智能系统,其中跟随者智能体i的动力学方程为
(1)
式中:代表智能体 i 的位置与速度状态向量,为设计的控制协议.
领导智能体标记为0,其动力学方程为
(2)
式中:分别为领导者的位置与速度状态向量,为领导者加速度输入.
假设 1 多智能体系统的通信拓扑满足细节平衡的强连通.
假设 2 跟随者只能从领导者接收信息,不能向领导者发送信息,且领导者是全局可达.
定义 1 [23] 对于有向符号图如果存在正数对于任意的i,满足那么有向符号图被称为细节平衡图. 其中
本文的控制目标是在任意初始条件下,设计合适的间歇通信一致性协议ui(t),使式(3)组成的领导–跟随多智能系统实现有限时间一致性,即
(3)
2.3 相关引理
引理 1 [24] 如果并且满足0<r <1,那么以下不等式成立:
(4)
引理 2 [25] 假设V(t)是定义在原点领域上的连续正定Lyapunov函数,且满足以下微分不等式:
(5)
式中:对于所有满足存在且稳定时间满足下式:
(6)
引理 3 [11] 当且仅当领导者在拓扑图G中是全局可达时,则其拉普拉斯矩阵是一个正定对称矩阵,并且H的所有特征值都是正值.
3 主要结果
3.1 域分割间歇通信下有限时间一致性协议设计
首先考虑如下3个非负实数域:
(7)
式中:分别表示非负实数域的工作区域、休息区域和缓冲区域,满足V (t)是给定的 Lyapunov函数,为保证多智能体系统的有限时间一致性,具有有限时间特性的边界函数设计如下:
(8)
式中: l,ci是给定常数,且满足显然,当时,; 当时,即所设计的边界函数有限时间收敛. 本文提出的域分割有限时间间歇通信机制如图1所示.
图1域分割有限时间间歇通信机制
Fig.1Finite-time region-division intermittent communication mechanism
值得注意的是,若控制过程只有一个边界函数那么控制器将在与之间快速切换,可能会导致抖振现象的发生.
不失一般性,设计如下的分布式有限时间间歇通信一致性控制协议:
(9)
假设设计如下的一致性控制协议:
(10)
式中:其中:
令为智能体i与领导者之间的位置误差,为智能体i与领导者之间的速度误差,由yi和zi的定义,有
(11)
在一致性控制协议(10)作用下,可得
(12)
将式(12)写成矩阵形式,有
(13)
根据引理3可知(L + B)是正定的,如果在有限时间内那么在有限时间内
3.2 有限时间一致性分析
定理 1 若假设1–2成立,则在一致性控制协议(10)的作用下,多智能体系统(1)–(2)可实现有限时间一致性,且停息时间满足
(14)
证构建如下的Lyapunov函数:
(15)
对求导,可得
(16)
由式(15)–(16)得,对于都存在
(17)
(18)
令由式(18)得
(19)
其中:由式(17)齐次,得
(20)
因此,且在集合上Ω是连续非正的,那么
(21)
进而有
(22)
由于c >0. 不失一般性,令c >c2 >c1. 为方便表达,将 V(y,z)记为V(t). 令将式(22)从t0到t积分可得
(23)
由于V(t)在t0时刻的初始状态不同,分为3种情况对停息时间进行分析.
情况 1 当时,在时刻被激活.时,存在时刻使得V(t)接触边界且V (t)将由工作区域进入缓冲区域被激活. 由于c >c2 >c1,V(t)的收敛速度比边界函数快,存在时刻V(t)接触边界此时被激活,V(t)由缓冲区域Γ3(t)进入休息区域Γ2(t). 若存在时刻τ2,V(t)再次接触边界将再次被激活. 基于上述分析,由V(t)和之间的关系确定停止时序和激活时序
当时,
情况 2 若在时刻t0 被激活,存在t时刻V(t)接触边界δ2(t),此时V (t)由休息区域Γ2(t)进入缓冲区域Γ3(t),且在缓冲区域维持休息状态. 存在时刻使V(t)接触边界δ1(t),控制器进入工作状态,并在接触边界δ2(t)前维持工作状态. 重复若干次,有时,被激活,此时控制器处于休息状态; 时,被激活,控制器处于工作状态. 当
时,
情况 3 当时,控制器是否工作由上一时刻状态决定. 当上一时刻为工作状态时,分析与情况1相同; 当上一时刻为休息状态时,与情况2相同. 综上可知,时,
综上所述,成立.
在一致性协议(10)的作用下,式(1)–(2)组成的多智能体系统可实现有限时间一致性,且停息时间满足证毕.
4 数值仿真
考虑由1个领导者与4个跟随者组成的多智能体系统,其满足细节平衡条件的拓扑图如图2所示. 系统的Laplacian矩阵为
(24)
图2带细节平衡的有向拓扑图
Fig.2Directed topology with detail balanced
假设领导者初始状态的设置为加速度输入为. 跟随者的初始状态为有向图满足细节平衡条件有
选取参数如下: l= 0.9,α1 = 0.9,β = 0.975,α2 = 0.95. 经计算可知c = 2.4,选取c1 = 0.4,c2 = 1.8,满足c >c2 >c1. 根据以上参数,预估的停息时间为
图3为各智能体的位置状态轨迹示意图,跟随者与领导者之间的位置误差在7.3 s达到一致. 图4描绘了跟随者与领导者的速度状态轨迹,观察到其速度误差在8.3 s达到一致. 位置与速度获得一致的时间均小于预估的同步停息时间12.9 s,验证了所设计间歇通信方案的有效性. 图5给出了V(t),δ1(t)和δ2(t)的轨迹. 图6为所设计的间歇控制器轨迹,进一步揭示了域分割有限时间间歇通信机制. 为进一步说明本文方法的优越性,将其与文献 [22] 的方法进行对比. 选取与上文相同参数并根据文献 [22],设计如下的一致性协议:
(25)
其中
(26)
图3多智能体位置状态轨迹
Fig.3Trajectories of multi-agent position state
图4多智能体速度状态轨迹
Fig.4Trajectories of multi-agent velocity state
图5V(t),δ1(t)和δ2(t)的轨迹
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为域分割间歇通信下V(t),B1(t)和B2(t)的轨迹图. 通过与仿真1的结果对比可知,本文所提方法具有更快的收敛速度.
图9域分割间歇通信下V(t),B1(t)和B2(t)的轨迹
Fig.9The trajectories of V (t) , B1 (t) and B2 (t) under region-division intermittent communication