基于事件的具有时变时滞多智能体系统的平均一致性
Event-Based Average Consensus of Multi-Agent Systems with Time-Varying Delays

作者: 韩世涛 , 刘开恩 :青岛大学数学与统计学院,山东 青岛;

关键词: 平均一致性多智能体系统周期事件触发时变通信时滞李雅普诺夫稳定性理论Average Consensus Multi-Agent Systems Periodic Event-Triggering Time-Varying Communication Delays Lyapunov Stability Theory

摘要:

本文采用周期采样和事件控制的方法对具有时变通信时滞的一阶多智能体系统的事件触发平均一致性问题进行了时滞鲁棒性分析。通过设计一致性协议及事件触发条件,使得所有智能体能够在较低的通信频率下实现一致性。利用李雅普诺夫稳定性理论证明了多智能体系统的平均一致性能够实现,所得结果改进了已有的研究成果。最后,通过数值模拟说明所获得的理论结果的有效性。

Abstract: In this paper, the method of periodic sampling and event control is used to analyze the delay ro-bustness of the event-triggered average consensus problem for first-order multi-agent systems with time-varying communication delays. By designing consensus protocol and event-triggering conditions, all agents can achieve consensus under lower communication frequency. By using Lyapunov stability theory, it is proved that average consensus of multi-agent systems can be achieved and the obtained results improve the existing ones. Finally, the validity of the theoretical results is illustrated by numerical simulations.

1. 引言

由于在工业和军事中的重要应用,多智能体控制系统在过去十年中被广泛研究。多智能体系统的研究内容主要包含一致性协作控制问题 [1]、编队控制问题 [2]、蜂拥问题、聚集问题等,其中一致性协作控制是最基本的研究问题。多智能体系统的一致性问题,就是设计智能体局部之间的作用方式,通过各智能体利用邻居传来的信息,不断调整自己的行为,使所有的智能体的状态(如位置、速度、加速度等)随着时间的推移达到共同的值。当前多智能体系统协作一致性已广泛应用于无线传感器网络 [3]、无人机编队控制 [4] [5]、可移动机器人的编队控制 [6] 等。在海洋勘探、野外搜索探测、协同作战等领域,多智能体系统有着广阔的应用前景。

在多智能体系统的实际应用中,如何减少多智能体间的通信频次以减少对网络带宽、通信成本及智能体自身能量等有限资源的不必要浪费是当前的一个重要研究课题。近些年来,基于事件触发机制的多智能体系统一致性问题受到大量学者的关注 [7] - [12]。由于周期事件触发控制可以有效地排除Zeno行为,该种控制方式被引入到多智能体系统的一致性研究中 [13]。Meng等 [14] 基于无向图研究了一阶多智能体系统在固定和切换拓扑下的周期事件触发平均一致性问题。Fan等 [15] 基于周期事件触发的方法研究了一阶多智能体系统一致性问题。由于现实系统的复杂性,许多情形下,时滞问题成为一个必须要研究的问题。Wang等 [16] 采用事件触发控制的方法研究了存在常通信时滞的多智能体系统的平均一致性问题。Liu等 [17] 采用周期采样和事件混合控制方法,研究了带有通信时滞的一阶多智能体系统在无向拓扑和有向拓扑下的一致性问题,基于采样和事件触发混合测量状态,可以显著减少控制器的更新次数。Xie等 [18] 基于有向网络对具有通信时滞的一阶多智能体系统的一致性问题进行了研究。在 [19] 中,Wang等对具有时变通信时滞的多智能体系统的事件触发一致协议进行了设计和研究,通过对事件触发条件的设计,使得所有跟随者能够以较低的通信频率跟踪领导者的状态。

基于以上研究,本文对一阶多智能体系统平均一致性问题进行了进一步研究。本文研究了具有时变时滞的多智能体平均一致性问题,通过利用 [20] 得出的有向图相关结论,在混合式事件触发条件下,通过构造李雅普诺夫函数,利用稳定性理论,分析给出了多智能体系统实现状态一致的条件。

本文共分为三部分,首先给出了代数图论相关知识并设计出具有时变时滞的多智能体系统一致性协议。然后基于有向图对多智能体系统加以分析和研究,通过构造李雅普诺夫函数将多智能体系统的一致性问题转换成一个相应系统的稳定性问题。进一步,利用稳定性定理分析给出多智能体系统达到平均一致性的条件。最后,利用仿真实例说明了所得结论的有效性。

2. 问题陈述

2.1. 图论知识

在多智能体系统的协作控制中,通常假定每个智能体可以通过彼此间的通信来获取其它智能体的状态信息,智能体间的通信网络用有向图或无向图来表示。

在有向图中,具有权重的有向通信网络通常用 G = ( V , E , A ) 表示,其中 V = { v 1 , v 2 , , v n } 代表顶点集, v i 用来表示智能体i,E代表边集,边集E由组成,表示智能体j到智能体i有信息通讯,其中 i , j { 1 , 2 , , n } i j 。如果称 v j v i 的邻居,当且仅当存在一条从 v j 指向 v i 的边。 v i 邻居的集合用 N i 来表示,即 N i = { j | ( v i , v j ) E } 。邻接矩阵 A = [ a i j ] n × n 定义为:若 ( v i , v j ) E ,那么 a i j > 0 ,否则 a i j = 0 L = [ l i j ] n × n 称为图 G = ( V , E , A ) 的拉普拉斯矩阵,其中 l i i = j = 1 , j i n a i j , l i j = a i j , i j 。如果 j = 1 n a i j = j = 1 n a j i ,则称图G是平衡的。对于顶点 v i v j ,若存在一个顶点序列 v l 1 , v l 2 , , v l r ,其中 v l k + 1 v l k 的邻居,k = 1,2,…, r −1 ,则称组成一条有向路径。如果对于每一对 v i v j i j ,从 v i v j v j v i 都存在有向路径使之连接,则称有向图是强连通的。

在无向图中,如果两个顶点通过边相连,则称这两个点是相邻的。称图是连通的,当且仅当任意两个不同的顶点之间存在一条路径。用无向图 G ^ 表示有向图G的镜像,其定义为:无向图 G ^ 与有向图G具有相同的节点,图 G ^ 的边由G中的有向边与每条边的反向边共同组成。 G ^ 的邻接矩阵用 A ^ 表示,其中

A ^ = [ a ^ i j ] R n × n a ^ i j = a ^ j i = ( a i j + a j i ) / 2 G ^ 的拉普拉斯矩阵记为 L ^

2.2. 模型建立

考虑具有n个智能体的多智能体系统,其动态方程表述如下:

(1)

其中 x i ( t ) R 表示智能体i的状态, u i ( t ) 表示控制输入,控制协议根据智能体自身状态和从邻居处接收到的局部信息设计。

在本文中,我们采用周期事件检验的方法来验证事件触发条件并决定智能体应该何时更新控制输入。假设 h , 2 h , 3 h , 为事件检验时刻,其中h是固定的正数,为事件检验周期。所有智能体在信息传递过程中存在时滞 τ ( k h ) ,满足 0 τ ( k h ) < h k N 。为表达方便,定义 τ ^ ( t ) = τ ( k h ) k h t < ( k + 1 ) h k N 。又记 x ^ i ( t ) = x i ( t k i ) , t k i t < t k + 1 i ,其中 { t k i } 表示智能体i的事件触发时刻序列, t 0 i = 0 , i = 1 , 2 , , n 。系统(1)的控制输入设计为

u i ( t ) = { 0 , t [ 0 , τ ( 0 ) ) j N i a i j [ x ^ i ( t τ ^ ( t ) ) x ^ j ( t τ ^ ( t ) ) ] , t [ τ ( 0 ) , + ) . (2)

结合(1)和(2),有

x ˙ ( t ) = L x ^ ( t τ ^ ( t ) ) , (3)

其中 x ( t ) = [ x 1 ( t ) , x 2 ( t ) , , x n ( t ) ] T x ^ ( t ) = [ x ^ 1 ( t ) , x ^ 2 ( t ) , , x ^ n ( t ) ] T

对于每个智能体i,定义测量误差为当前状态与最近事件触发时刻状态的差值,即 e i ( t ) = x i ( t ) x ^ i ( t ) , t [ 0 , + ) 。对于任意 t k i ,智能体i的下一触发时刻由如下事件触发条件确定:

e i 2 ( t k i + l h ) > ( σ 2 / j N i a i j ) y ^ i 2 ( t k i + ( l 1 ) h ) , l Z + , (4)

其中 σ 是正数, y ^ i 2 ( t ) = j N i a i j ( x ^ i ( t ) x ^ j ( t ) ) 2 。如果 t k i + l h 满足事件触发条件,则 t k i + l h = t k + 1 i ,即

x ^ i ( t k + 1 i ) = x i ( t k + 1 i )

如果智能体i的事件触发条件在某个事件检验时刻被满足,则智能体i对其状态进行采样,并将采样信息传递给其邻居。因为时滞 τ ( k h ) k N 比事件检验周期小,在下一次事件检验时刻前,智能体 i 的所有邻居都会得到其采样的状态信息。

3. 主要结果

这一部分我们研究在不同事件触发条件下的具有时变时滞多智能体系统的平均一致性问题,并得出相应结论。

引理1. [17] 假设有向图是强连通平衡的, L R n × n 为其对应的拉普拉斯矩阵,对任意的 x R n ,有如下等式成立,

x T L x α 2 x 1 n i = 1 n x i 1 n 2 ,

x T ( k h ) L T L x ( k h ) β n α 2 x T ( k h ) L x ( k h ) ,

其中 β n L T L 的最大特征值, α 2 ( L + L T ) / 2 的最小正特征值。

定理1. 假设有向图是强连通平衡的。对所有的 k N ,如果存在 ε 0 > 0 ,使得如下条件满足,

[ ( β n 2 α 2 τ ( ( k + 1 ) h ) + σ ) ( h + τ ( ( k + 2 ) h ) τ ( ( k + 1 ) h ) ) + ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) ( β n 2 α 2 ( h + τ ( ( k + 1 ) h ) ) 1 + σ ) ] ε 0 , (5)

则所有智能体将实现平均一致。

证明:考虑Lyapunov函数

V ( t ) = V ( x ( t ) ) = 1 2 x T ( t ) x ( t ) , t [ τ ( 0 ) , + ) .

对(3)进行积分得到

x ( t ) = x ( k h + τ ( k h ) ) ( t ( k h + τ ( k h ) ) ) L x ^ ( k h ) = x ( k h ) τ ( k h ) L x ^ ( ( k 1 ) h ) ( t ( k h + τ ( k h ) ) ) L x ^ ( k h ) , k Z + . (6)

t [ k h + τ ( k h ) , ( k + 1 ) h + τ ( ( k + 1 ) h ) ) ,对 V ( t ) 进行求导,结合(6)可以得到

(7)

由引理1,可以进一步得到如下不等式

| x ^ T ( ( k 1 ) h ) L T L x ^ ( k h ) | 1 2 ( x ^ T ( ( k 1 ) h ) L T L x ^ ( ( k 1 ) h ) + x ^ T ( k h ) L T L x ^ ( k h ) ) β n 2 α 2 ( x ^ T ( ( k 1 ) h ) L x ^ ( ( k 1 ) h ) + x ^ T ( k h ) L x ^ ( k h ) ) , k Z + . (8)

由于

| e T ( k h ) L x ^ ( k h ) | = | i = 1 n [ e i ( k h ) j N i a i j ( x ^ i ( k h ) x ^ j ( k h ) ) ] | 1 2 i = 1 n j N i [ e i 2 ( k h ) a i j σ + σ a i j ( x ^ i ( k h ) x ^ j ( k h ) ) 2 ] . (9)

所以由(7),(8),(9)可以得到

V ( ( k + 1 ) h + τ ( ( k + 1 ) h ) ) = V ( k h + τ ( k h ) ) ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) x ^ T ( k h ) L x ^ ( k h ) ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) e T ( k h ) L x ^ ( k h ) + τ ( k h ) ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) x ^ T ( ( k 1 ) h ) L T L x ^ ( k h ) + 1 2 ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) 2 x ^ T ( k h ) L T L x ^ ( k h )

V ( k h + τ ( k h ) ) ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) x ^ T ( k h ) L x ^ ( k h ) + 1 2 ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) i = 1 n j N i [ e i 2 ( k h ) a i j σ + σ a i j ( x ^ i ( k h ) x ^ j ( k h ) ) 2 ] + β n 2 α 2 τ ( k h ) ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) x ^ T ( ( k 1 ) h ) L x ^ ( ( k 1 ) h ) + β n 2 α 2 τ ( k h ) ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) x ^ T ( k h ) L x ^ ( k h ) + β n 2 α 2 ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) 2 x ^ T ( k h ) L x ^ ( k h )

= V ( k h + τ ( k h ) ) + 1 2 ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) i = 1 n j N i [ e i 2 ( k h ) a i j σ + σ a i j ( x ^ i ( k h ) x ^ j ( k h ) ) 2 ] + β n 2 α 2 τ ( k h ) ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) x ^ T ( ( k 1 ) h ) L x ^ ( ( k 1 ) h ) + ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) ( β n 2 α 2 ( h + τ ( ( k + 1 ) h ) ) 1 ) x ^ T ( k h ) L x ^ ( k h ) , k Z + .

由于

V ( ( k + 1 ) h + τ ( ( k + 1 ) h ) ) = V ( τ ( 0 ) ) + τ ( 0 ) h + τ ( h ) V ˙ ( t ) d t + h + τ ( h ) 2 h + τ ( 2 h ) V ˙ ( t ) d t + + k h + τ ( k h ) ( k + 1 ) h + τ ( ( k + 1 ) h ) V ˙ ( t ) d t ,

可以得到

V ( ( k + 1 ) h + τ ( ( k + 1 ) h ) ) V ( τ ( 0 ) ) + τ ( 0 ) h + τ ( h ) V ˙ ( t ) d t + q = 1 k 1 2 ( h + τ ( ( q + 1 ) h ) τ ( q h ) ) i = 1 n j N i [ e i 2 ( q h ) a i j σ + σ a i j ( x ^ i ( q h ) x ^ j ( q h ) ) 2 ] + β n 2 α 2 q = 1 k τ ( q h ) ( h + τ ( ( q + 1 ) h ) τ ( q h ) ) x ^ T ( ( q 1 ) h ) L x ^ ( ( q 1 ) h ) + q = 1 k ( h + τ ( ( q + 1 ) h ) τ ( q h ) ) [ β n 2 α 2 ( h + τ ( ( k + 1 ) h ) ) 1 ] x ^ T ( k h ) L x ^ ( k h )

= V ( τ ( 0 ) ) + τ ( 0 ) h + τ ( h ) V ˙ ( t ) d t + β n 2 α 2 τ ( h ) ( h + τ ( 2 h ) τ ( h ) ) x ^ T ( 0 ) L x ^ ( 0 ) + q = 1 k 1 2 ( h + τ ( ( q + 1 ) h ) τ ( q h ) ) i = 1 n j N i [ e i 2 ( q h ) a i j σ + σ a i j ( x ^ i ( q h ) x ^ j ( q h ) ) 2 ] + ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) [ β n 2 α 2 ( h + τ ( ( k + 1 ) h ) ) 1 ] x ^ T ( k h ) L x ^ ( k h ) + q = 1 k 1 [ β n 2 α 2 τ ( ( q + 1 ) h ) ( h + τ ( ( q + 2 ) h ) τ ( ( q + 1 ) h ) ) + ( h + τ ( ( q + 1 ) h ) τ ( q h ) ) ( β n 2 α 2 ( h + τ ( ( q + 1 ) h ) ) 1 ) ] x ^ T ( q h ) L x ^ ( q h )

V ( τ ( 0 ) ) + τ ( 0 ) h + τ ( h ) V ˙ ( t ) d t + β n 2 α 2 τ ( h ) ( h + τ ( 2 h ) τ ( h ) ) x ^ T ( 0 ) L x ^ ( 0 ) + q = 1 k 1 2 ( h + τ ( ( q + 1 ) h ) τ ( q h ) ) i = 1 n j N i [ e i 2 ( q h ) a i j σ + σ a i j ( x ^ i ( q h ) x ^ j ( q h ) ) 2 ] + q = 1 k [ β n 2 α 2 τ ( ( q + 1 ) h ) ( h + τ ( ( q + 2 ) h ) τ ( ( q + 1 ) h ) ) + ( h + τ ( ( q + 1 ) h ) τ ( q h ) ) ( β n 2 α 2 ( h + τ ( ( q + 1 ) h ) ) 1 ) ] x ^ T ( q h ) L x ^ ( q h ) , k Z + .

因为有向图是平衡的,可以得到

1 2 i = 1 n y ^ i 2 ( k h ) = 1 2 i = 1 n j = 1 n l i j ( x ^ i ( k h ) x ^ j ( k h ) ) 2 = 1 2 i = 1 n j = 1 n l i j ( x ^ i 2 ( k h ) + x ^ j 2 ( k h ) 2 x ^ i ( k h ) x ^ j ( k h ) ) = x ^ T ( k h ) L x ^ ( k h ) . (10)

由事件触发条件(4)可知

e i 2 ( k h ) ( σ 2 / j N i a i j ) y ^ i 2 ( ( k 1 ) h ) , k Z + . (11)

由(10)和(11)可以进一步得到

V ( ( k + 1 ) h + τ ( ( k + 1 ) h ) ) V ( τ ( 0 ) ) + τ ( 0 ) h + τ ( h ) V ˙ ( t ) d t + β n 2 α 2 τ ( h ) ( h + τ ( 2 h ) τ ( h ) ) x ^ T ( 0 ) L x ^ ( 0 ) + σ 2 q = 1 k ( h + τ ( ( q + 1 ) h ) τ ( q h ) ) i = 1 n y ^ i 2 ( ( q 1 ) h ) + 1 2 q = 1 k [ β n 2 α 2 τ ( ( q + 1 ) h ) ( h + τ ( ( q + 2 ) h ) τ ( ( q + 1 ) h ) ) + ( h + τ ( ( q + 1 ) h ) τ ( q h ) ) ( β n 2 α 2 ( h + τ ( ( q + 1 ) h ) ) 1 + σ ) ] i = 1 n y ^ i 2 ( q h )

V ( τ ( 0 ) ) + τ ( 0 ) h + τ ( h ) V ˙ ( t ) d t + β n 2 α 2 τ ( h ) ( h + τ ( 2 h ) τ ( h ) ) x ^ T ( 0 ) L x ^ ( 0 ) + σ 2 ( h + τ ( 2 h ) τ ( h ) ) y ^ i 2 ( 0 ) + 1 2 q = 1 k [ ( β n 2 α 2 τ ( ( q + 1 ) h ) + σ ) ( h + τ ( ( q + 2 ) h ) τ ( ( q + 1 ) h ) ) + ( h + τ ( ( q + 1 ) h ) τ ( q h ) ) ( β n 2 α 2 ( h + τ ( ( q + 1 ) h ) ) 1 + σ ) ] i = 1 n y ^ i 2 ( q h ) . (12)

由条件(5)得

因为

0 lim k V ( ( k + 1 ) h + τ ( ( k + 1 ) h ) ) V ( τ ( 0 ) ) + τ ( 0 ) h + τ ( h ) V ˙ ( t ) d t + β n 2 α 2 ( h + τ ( 2 h ) τ ( h ) ) x ^ T ( 0 ) L x ^ ( 0 ) + σ 2 ( h + τ ( 2 h ) τ ( h ) ) y ^ i 2 ( 0 ) ε 0 k = 1 + i = 1 n y ^ i 2 ( k h ) ,

i = 1 n y ^ i 2 ( k h ) 非负,所以可以得到 lim k i = 1 n y ^ i 2 ( k h ) = 0 。注意到 ,所以 lim k x ^ T ( k h ) L x ^ ( k h ) = 0 。由(11)可以进一步得到 lim k e ( k h ) = 0 n 。由于 lim k x ^ T ( k h ) L x ^ ( k h ) = 0 ,由引理1可得 lim k L x ^ ( k h ) = 0 n 。所以 lim k L x ( k h ) = lim k L e ( k h ) + lim k L x ^ ( k h ) = 0 n ,进而由引理1和(6)得到 ,因此所有智能体状态达到平均一致。

当G是无向连通图,则 x T L x λ 2 x 1 n i = 1 n x i 1 n 2 λ n x T L x x T L T L x 成立,其中 L R n × n 为无向图G

的拉普拉斯矩阵, λ 1 λ 2 λ n 为对应的特征值序列。

类似于定理1的推导,可以进一步得出定理2。

定理2. 假设无向图是连通的,对所有的 k N ,如果存在 ε 0 > 0 ,使得如下条件满足,

则所有智能体将实现平均一致。

注1. 在 [19] 中,Wang等基于跟随者具有无向拓扑图研究了具有时变时滞的一阶领导者–跟随系统,所设计了的事件触发条件为

| x i ( t k i + l h ) x i ( t k i ) | > σ | j N i a i j ( x ^ i ( t k i + ( l 1 ) h ) x ^ j ( t k i + ( l 1 ) h ) ) + b i ( x ^ i ( t k i + ( l 1 ) h ) x 0 ( 0 ) ) | , l Z + , (13)

定理1和2采用事件触发条件(4),对无领导者的具有时变时滞的一阶多智能体系统进行研究。

我们通过比较事件触发条件(4)和注1中提到的条件(13),可以进一步提出一种混合式事件触发条件:

e i 2 ( t k i + l h ) > max { ( σ 2 / j N i a i j ) y ^ i 2 ( t k i + ( l 1 ) h ) , σ 2 ( j N i a i j z ^ i j ( t k i + ( l 1 ) h ) ) 2 } , l Z + , (14)

其中 z ^ i j ( t ) = x ^ i ( t ) x ^ j ( t )

定理3. 假设有向图是强连通平衡的,对所有的 k N ,如果存在 ε 0 > 0 ,使得如下条件满足,

[ ( β n 2 α 2 τ ( ( k + 1 ) h ) + μ σ ) ( h + τ ( ( k + 2 ) h ) τ ( ( k + 1 ) h ) ) + ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) ( β n 2 α 2 ( h + τ ( ( k + 1 ) h ) ) 1 + μ σ ) ] ε 0 ,

其中 μ = max { 1 , β n 2 α 2 } ,则所有智能体将实现平均一致。

证明:

情形1. 如果(11)成立,由定理1可以得出相关结论。

情形2.

e i 2 ( t k i + l h ) σ 2 ( j N i a i j z ^ i j ( t k i + ( l 1 ) h ) ) 2 , l Z + . (15)

由(15),可以得到

e 2 ( k h ) σ 2 x ^ T ( ( k 1 ) h ) L T L x ^ ( ( k 1 ) h ) , k Z + ,

其中 e ( t ) = [ e 1 ( t ) , e 2 ( t ) , , e n ( t ) ] T

由Young不等式可以得到

| e T ( k h ) L x ^ ( ( k h ) | 1 2 ( e τ ( k h ) e ( k h ) σ + σ x ^ T ( k h ) L T L x ^ ( k h ) ) σ 2 ( x ^ T ( ( k 1 ) h ) L T L x ^ ( ( k 1 ) h ) + x ^ T ( k h ) L T L x ^ ( k h ) ) σ β n 2 α 2 ( x ^ T ( ( k 1 ) h ) L x ^ ( ( k 1 ) h ) + x ^ T ( k h ) L x ^ ( k h ) ) , k Z + .

因此有

V ( ( k + 1 ) h + τ ( ( k + 1 ) h ) ) = V ( k h + τ ( k h ) ) ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) x ^ T ( k h ) L x ^ ( k h ) ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) e T ( k h ) L x ^ ( k h ) + τ ( k h ) ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) x ^ T ( ( k 1 ) h ) L T L x ^ ( k h ) + 1 2 ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) 2 x ^ T ( k h ) L T L x ^ ( k h )

V ( τ ( 0 ) ) + τ ( 0 ) h + τ ( h ) V ˙ ( t ) d t + σ β n 2 α 2 q = 1 k ( h + τ ( ( q + 1 ) h ) τ ( q h ) ) ( x ^ T ( ( q 1 ) h ) L x ^ ( ( q 1 ) h ) + x ^ T ( q h ) L x ^ ( q h ) ) + β n 2 α 2 q = 1 k τ ( q h ) ( h + τ ( ( q + 1 ) h ) τ ( q h ) ) x ^ T ( ( q 1 ) h ) L x ^ ( ( q 1 ) h ) + q = 1 k ( h + τ ( ( q + 1 ) h ) τ ( q h ) ) [ β n 2 α 2 ( h + τ ( ( q + 1 ) h ) ) 1 ] x ^ T ( q h ) L x ^ ( q h )

V ( τ ( 0 ) ) + τ ( 0 ) h + τ ( h ) V ˙ ( t ) d t + β n 2 α 2 τ ( h ) ( h + τ ( 2 h ) τ ( h ) ) x ^ T ( 0 ) L x ^ ( 0 ) + σ β n 4 α 2 q = 1 k ( h + τ ( ( q + 1 ) h ) τ ( q h ) ) i = 1 n y ^ i 2 ( ( q 1 ) h ) + 1 2 q = 1 k [ β n 2 α 2 τ ( ( q + 1 ) h ) ( h + τ ( ( q + 2 ) h ) τ ( ( q + 1 ) h ) ) + ( h + τ ( ( q + 1 ) h ) τ ( q h ) ) ( β n 2 α 2 ( h + τ ( ( q + 1 ) h ) ) 1 + σ β n 2 α 2 ) ] i = 1 n y ^ i 2 ( q h )

V ( τ ( 0 ) ) + τ ( 0 ) h + τ ( h ) V ˙ ( t ) d t + β n 2 α 2 τ ( h ) ( h + τ ( 2 h ) τ ( h ) ) x ^ T ( 0 ) L x ^ ( 0 ) + σ β n 4 α 2 ( h + τ ( 2 h ) τ ( h ) ) i = 1 n y ^ i 2 ( 0 ) + 1 2 q = 1 k [ ( β n 2 α 2 τ ( ( q + 1 ) h ) + σ β n 2 α 2 ) ( h + τ ( ( q + 2 ) h ) τ ( ( q + 1 ) h ) ) + ( h + τ ( ( q + 1 ) h ) τ ( q h ) ) ( β n 2 α 2 ( h + τ ( ( q + 1 ) h ) ) 1 + σ β n 2 α 2 ) ] i = 1 n y ^ i 2 ( q h ) , k Z + . (16)

由(12)和(16)可以得出,

V ( ( k + 1 ) h + τ ( ( k + 1 ) h ) ) V ( τ ( 0 ) ) + τ ( 0 ) h + τ ( h ) V ˙ ( t ) d t + β n 2 α 2 τ ( h ) ( h + τ ( 2 h ) τ ( h ) ) x ^ T ( 0 ) L x ^ ( 0 ) + μ σ ( h + τ ( 2 h ) τ ( h ) ) i = 1 n y ^ i 2 ( 0 ) + 1 2 q = 1 k [ ( β n 2 α 2 τ ( ( q + 1 ) h ) + μ σ ) ( h + τ ( ( q + 2 ) h ) τ ( ( q + 1 ) h ) ) + ( h + τ ( ( q + 1 ) h ) τ ( q h ) ) ( β n 2 α 2 ( h + τ ( ( q + 1 ) h ) ) 1 + μ σ ) ] i = 1 n y ^ i 2 ( q h ) .

余下部分证明与定理1中证明类似,故省略之。

类似于定理3的推导,可以进一步得出定理4。

定理4. 假设无向图是连通的,对所有的 k N ,如果存在 ε 0 > 0 ,使得如下条件满足,

[ ( λ n 2 τ ( ( k + 1 ) h ) + μ σ ) ( h + τ ( ( k + 2 ) h ) τ ( ( k + 1 ) h ) ) + ( h + τ ( ( k + 1 ) h ) τ ( k h ) ) ( λ n 2 ( h + τ ( ( k + 1 ) h ) ) 1 + μ σ ) ] ε 0 ,

其中 μ = max { 1 , λ n 2 } ,则所有智能体将实现平均一致。

注2. 在 [17] 中,Liu等研究了具有固定时滞的一阶系统的一致性问题,分别考虑了有向图和无向图两种情形。本文在其基础上,采用周期采样和事件混合控制的方法对具有时变时滞的一阶多智能体系统进行研究。

4. 数值模拟

本部分将通过仿真实例来说明所得结果的有效性。

考虑由5个智能体组成的多智能体系统,为了与 [17] 形成比较,我们采用了无向的通信拓扑图,通信拓扑图如图1所示,将5个智能体在通讯拓扑图中用1、2、3、4、5标记。

Figure 1. Communication topology

图1. 通信拓扑图

图1是无向连通的,设各边的权重为1,其对应的拉普拉斯矩阵为

L = [ 3 1 1 1 0 1 2 0 0 1 1 0 2 1 0 1 0 1 2 0 0 1 0 0 1 ] ,

拉普拉斯矩阵的最大特征值 λ n 为2.39。假设智能体的初始状态为 x 0 = [ 11.8 ; 0.8 ; 19.5 ; 15.9 ; 11 ] T ,取智能体的事件检测器的参数 σ 为0.3,所有智能体的采样周期 h = 0.0 4 ,通讯时滞 τ ( k h ) 是关于h的函数变量,假设 τ ( k h ) = h | sin ( k h ) | ,显然 0 τ ( k h ) h k N

图2给出了基于一致性协议(2)和事件触发条件(4)的系统(1)的智能体演变状态,从图2可以看出

系统达到了一致,所有智能体的状态趋于初始状态平均值 1 5 i = 1 5 x i ( 0 ) = 7 .08 ,这证明了定理2结果的有

效性。

Figure 2. States of the agents

图2. 智能体的状态

接下来,我们将对不同的事件触发条件进行比较,图3图4图5分别展示了在(4)、(13)、(14)下的智能体的事件触发时刻。

Figure 3. Event-triggering time instants under (4)

图3. 智能体在条件(4)下的触发时刻

Figure 4. Event-triggering time instants under (13)

图4. 智能体在条件(13)下的触发时刻

Figure 5. Event-triggering time instants under (14)

图5. 智能体在条件(14)下的触发时刻

根据上面三图我们可以看出,在事件触发条件(14)下,事件触发次数明显减少。所以,事件触发条件(14)优于(4)、(13)。

5. 结论

本文研究了具有变时滞的一阶多智能体系统平均一致性问题,通过利用周期采样数据,智能体的事件触发条件仅在采样时刻被检验。除提出一种不同于已有文献中的事件触发条件外,还设计了一种混合事件触发条件,对已有工作做了改进,得出了保证多智能体系统最终实现平均一致性的相关结论。

文章引用: 韩世涛 , 刘开恩 (2020) 基于事件的具有时变时滞多智能体系统的平均一致性。 理论数学, 10, 567-579. doi: 10.12677/PM.2020.106069

参考文献

[1] 许文盈, 曹进德. 基于事件触发机制的多智能体系统协调控制研究综述[J]. 南京信息工程大学学报, 2018, 10(4): 395-400.

[2] 徐鹏, 谢广明, 文家燕, 高远. 事件触发的强化学习多智能体编队控制[J]. 智能系统学报, 2019, 14(1): 93-98.

[3] Chen, J., Cao, X. and Cheng, P. (2010) Distributed Collaborative Control for Industrial Automation with Wireless Sensor and Actuator Networks. IEEE Transactions on Industrial Electronics, 57, 4219-4230.
https://doi.org/10.1109/TIE.2010.2043038

[4] Wang, X. and Yadav, V. (2007) Cooperative UAV Formation Flying with Obstacle Avoidance. IEEE Transactions on Control Systems Technology, 15, 672-679.
https://doi.org/10.1109/TCST.2007.899191

[5] Lin, W. (2014) Distributed UAV Formation Control Using Dif-ferential Game Approach. Aerospace Science and Technology, 35, 54-62.
https://doi.org/10.1016/j.ast.2014.02.004

[6] Savkin, A.V., Wang, C. and Baranzadeh, A. (2016) Distributed Formation Building Algorithms for Groups of Wheeled Mobile Robots. Robotics and Autonomous Systems, 75, 464-474.
https://doi.org/10.1016/j.robot.2015.08.006

[7] Dimos, V.D. and Karl, H.J. (2009) Event-Triggered Control for Multi-Agent Systems. 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference, Shanghai, December 2009, 7131-7136.

[8] Georg, S.S., Dimos, V.D. and Karl, H.J. (2013) Event-Based Broadcasting for Multi-Agent Average Consensus. Automatica, 49, 245-252.
https://doi.org/10.1016/j.automatica.2012.08.042

[9] Fan, Y., Feng, G., Wang, Y. and Song, C. (2013) Distrib-uted Event-Triggered Control of Multi-Agent Systems with Combinational Measurements. Automatica, 49, 671-675.
https://doi.org/10.1016/j.automatica.2012.11.010

[10] Nowzari, C. and Cortes, J. (2014) Zeno-Free, Distributed Event-Triggered Communication and Control for Multi-Agent Average Consensus. American Control Conference (ACC), Portland, 4-6 June 2014, 2148-2153.
https://doi.org/10.1109/ACC.2014.6859495

[11] 王航飞, 禹梅, 谢广明, 石红. 基于事件触发的环形编队多智能体系统[J]. 系统科学与数学, 2014, 34(7): 815-827.

[12] 张志强, 王龙. 多智能体系统的事件触发控制[J]. 控制理论与应用, 2018, 35(8): 1051-1065.

[13] Meng, X., Xie, L., Soh, Y., Nowzari, C. and Pappas, G. (2015) Periodic Event-Triggered Average Consensus over Directed Graphs. Proceedings of the IEEE 54th Annual Conference on Decision and Control, Osaka, 15-18 December 2015, 4151-4156.
https://doi.org/10.1109/CDC.2015.7402866

[14] Meng, X. and Chen, T. (2013) Event Based Agreement Protocols for Multi-Agent Networks. Automatica, 49, 2125- 2132.
https://doi.org/10.1016/j.automatica.2013.03.002

[15] Fan, Y., Yang, Y. and Zhang, Y. (2016) Sampling-Based Event-Triggered Consensus for Multi-Agent Systems. Neurocomputing, 191, 141-147.
https://doi.org/10.1016/j.neucom.2015.12.102

[16] Wang, A. (2016) Event-Based Consensus Control for Single-Integrator Networks with Communication Time-Delays. Neurocomputing, 173, 1715-1719.
https://doi.org/10.1016/j.neucom.2015.09.044

[17] Liu, K. and Ji, Z. (2017) Consensus of Multi-Agent Systems with Time-Delay Based on Periodic Sample and Event Hybrid Control. Neurocomputing, 270, 11-17.
https://doi.org/10.1016/j.neucom.2016.12.106

[18] 谢媛艳, 王毅, 马忠军. 领导-跟随多智能体系统的滞后一致性[J]. 物理学报, 2014, 63(4): 17-21.

[19] Wang, A. (2016) Event-Triggered Consensus Control for Lead-er-Following Multi-Agent Systems with Time-Varying Delays. Journal of the Franklin Institute, 353, 4754-4771.
https://doi.org/10.1016/j.jfranklin.2016.08.027

[20] Olfati-Saber, R. and Murray, R.M. (2004) Consensus Prob-lems in Networks of Agents with Switching Topology and Time-Delays. IEEE Transactions Automatic Control, 49, l520-l533.
https://doi.org/10.1109/TAC.2004.834113

分享
Top