2.沈阳建筑大学 机械工程学院,辽宁 沈阳 110168
2.School of Mechanical Engineering,Shenyang Jianzhu University,Shenyang 110168,China.
近年来,随机多智能体系统分布一致稳定性控制问题由于其广泛的民用和军用而备受关注,其应用领域涉及交通控制、传感器网络控制[1]、移动机器人[2]、社会网络等等.
Olfati-Saber等[3]通过代数图论把一阶多智能体系统的一致性问题等价为混杂系统的稳定性问题,并且通过随机矩阵的特性及其李雅普诺夫第二方法分析了一阶多智能体系统为一致稳定性.Li等[4]在此基础上把一阶多智能体系统一致稳定性拓展到了一阶随机多智能体系统一致稳定性中,通过鞅收敛定理和代数图论结合李雅普诺夫泛函,把随机多智能体系统的无偏均方平均一致性问题转化为矩阵积的收敛问题,进而转化为一致性控制器增益的标量收敛问题.Cheng等[5]通过确定二阶随机多智能体闭环系统的状态转移矩阵运用随机逼近的方法,把二阶随机多智能体系统的渐近无偏均方平均一致性问题转化为随机微分方程的收敛问题来处理,从而完成二阶随机多智能体系统一致稳定性的分析.Miao等[6]对高阶随机多智能体系统一致稳定性的证明进行了拓展性探索,先是通过系统状态转变,把状态随机微分方程转化为以状态差为变量的随机微分方程,然后利用李雅普诺夫定理和劳斯-赫维茨稳定性判据分析系统状态差的一致稳定性.Amelina等[7]使用定常步长的随机逼近算法代替逐渐下降至零步长的随机逼近算法,结合平均模型方法分析了非线性随机多智能体系统的一致稳定性.
以上文献一般都假设随机多智能体系统一致增益函数c(t)满足鲁棒性条件:∫0∞c2(t)dt<∞.本文假设随机多智能体系统一致增益函数c(t)为一常数函数不满足鲁棒性条件下,分析随机多智能体系统一致稳定性,得到了随机多智能体系统一致稳定性的条件.
1 问题描述本文讨论由N个智能体组成的随机多智能体系统,每个智能体为同构智能体,其中第i个智能体描述为
(1) |
其中xi(t)∈R和ui(t)∈R分别表示第i个智能体状态变量和控制变量.第i个智能体能够从邻居智能体中获得带随机通信干扰的信息:
(2) |
其中:yji(t)为第i个智能体对第j个智能体状态的测量信息变量;
为了达到随机多智能体系统的一致性,本文设计了如下的分布式控制律:
(3) |
这里c(t)是一致增益函数.先定义J=(1/N).11T,1 =[1,1,…,1]T为N维向量,同时定义状态差 δ(t)=(IN-J)X(t),然后把分布式控制律(3)代入随机多智能体系统(1)和(2)中,得
(4) |
其中:
(5) |
其中:
由于IN-J是单元对称矩阵,故( IN-J)T= IN-J,(IN-J)T(IN-J)=IN-J,于是
(6) |
即
(7) |
假设1 随机多智能体系统连接拓扑图G为强连通图和平衡图.
引理1[8] 对于随机多智能体系统(7)来说,如果存在一个正定函数V(δ(t),t),使得
定理1 在假设1成立的条件下,运用分布式控制律(3)控制随机多智能体系统(1)和(2),如果一致增益函数c(t)满足
(9) |
则随机多智能体闭环系统(7)一致稳定,分布式控制律(3)为一致稳定控制律.
证明 构造李雅普诺夫函数如下:
(9) |
李雅普诺夫函数V(t,δ(t))对t求偏导可得
(10) |
李雅普诺夫函数 V(t,δ(t))对 δ(t)求偏导可得
李雅普诺夫函数 V(t,δ(t))对 δ(t)求二阶偏导可得
注意到状态差 δ(t)是随机微分方程(7)的解,V(t,δ(t))是连续可偏微分的正定函数.根据Mao[9]定义的Itô微分算子V:Rn×R+→R,V(t,δ(t))有一随机微分
(11) |
考虑到由 L G和LGT所生成的二次型:
(12) |
这里 Lij是拉普拉斯矩阵LG的元素,并且(LG+LGT)/2是对称的.所以
(13) |
因为E[dωji(t)]=0,并且参考文献 [10],对式(11)两边同时取数学期望有
如果系统连接拓扑图G是连接图,就有λ2[(LG+LGT)/2]>0,称之为(LG+LGT)/2的最小非零特征值.根据Courant-Fisher定理[11],可得对称阵特性[12]:
于是就有
适当地选取一致增益c(t)>0,使它满足
根据引理1,这就证明了随机多智能体系统(7)是随机一致稳定的,分布式控制律(3)为一致稳定控制律.
3 仿真研究和分析本节将给出实例来验证随机多智能体系统(4)的一致稳定性.考虑由3个智能体构成的随机多智能体系统(见图 1),该无向拓扑图VG={1,2,3},EG={(1,2),(2,3),(3,1)},邻接矩阵为
选取测量噪声的强度为σω12(t)=σω23(t)=σω31(t)=0.4,选取各智能体初始状态为x1(0)=-2,x2(0)=-4,x3(0)=6,可以计算tr(DG1T(IN- J)DG1)=4,接着得到
图 2,图 3分别为无噪声干扰和有噪声干扰时的各状态曲线图.
从图 2和图 3可以看出,在分布式控制律(3)作用下,随机多智能体闭环系统(4)各个状态变量随着时间变量渐近达到一致,一致值为所有智能体初值的平均值,故而证明了随机多智能体闭环系统(4)是一致稳定的,分布式控制律(3)为一致稳定性控制律.
4 结 论
本文研究了带通信噪声的随机多智能体系统一致稳定性问题,当随机多智能体系统的一致性增益函数c(t)为一常数函数时,尽管不满足鲁棒性条件:
[1] | Kar S, Moura J. Distributed consensus algorithms in sensor networks with imperfect communication:link failures and channel noise[J]. IEEE Transactions on Signal Process , 2009, 57 (1) : 355–369. DOI:10.1109/TSP.2008.2007111 (0) |
[2] | Palomares I, Martinez L, Herrera F. A consensus model to detect and manage noncooperative behaviors in large scale group decision making[J]. IEEE Transactions on Fuzzy System , 2014, 22 (3) : 516–530. DOI:10.1109/TFUZZ.2013.2262769 (0) |
[3] | OlfatiSaber R, Murray R M. Consensus problems in networks of agents with switching topology and time delays[J]. IEEE Transactions on Automatic Control , 2004, 49 (9) : 1520–1533. DOI:10.1109/TAC.2004.834113 (0) |
[4] | Li T, Zhang J. Consensus conditions of multiagent systems with timevarying topologies and stochastic communication noises[J]. IEEE Transactions on Automatic Control , 2010, 55 (9) : 2043–2057. DOI:10.1109/TAC.2010.2042982 (0) |
[5] | Cheng L, Hou Z, Tan M. Necessary and sufficient conditions for consensus of doubleintegrator multi agent systems with measurement noises[J]. IEEE Transactions on Automatic Control , 2011, 56 (8) : 1958–1963. DOI:10.1109/TAC.2011.2139450 (0) |
[6] | Miao G, Xu S, Zou Y. Consentability for highorder stochastic multi agent system under noise environment and time delays[J]. Journal of the Franklin Institute , 2013, 350 (2) : 244–257. DOI:10.1016/j.jfranklin.2012.10.015 (0) |
[7] | Amelina N, Fradkov A, Jiang Y, et al. Approximate consensus in stochastic networks with application to load balancing[J]. IEEE Transactions on Information Theory , 2015, 61 (4) : 1739–1752. DOI:10.1109/TIT.2015.2406323 (0) |
[8] | Mao X. Stochastic differential equations and applications[M]. Chichester: Horwood Publishing Limited,Coll House, 2007 . (0) |
[9] | Mao X. A note on the LaSalle type theorems for stochastic differential delay equations[J]. Journal of Mathematical Analysis and Applications , 2002, 268 (1) : 125–142. DOI:10.1006/jmaa.2001.7803 (0) |
[10] | Li T, Zhang J. Mean square average consensus under measurement noises and fixed topologies:necessary and sufficient conditions[J]. Automatica , 2009, 45 (8) : 1929–1936. (0) |
[11] | Horn R A, Johnson C R. Johnson C R.Matrix analysis[M]. Cambridge: Cambridge University Press, 1987 . (0) |
[12] | Olfati Saber R, Murray R M. Consensus and cooperation in networked multi agent systems[J]. Proceeding of the , 2007, 95 (1) : 215–233. DOI:10.1109/JPROC.2006.887293 (0) |