Pure Mathematics
Vol.08 No.03(2018), Article ID:25206,10
pages
10.12677/PM.2018.83042
Group Consensus of Third-Order Multi-Agent Systems with Fixed Topology
Jiahuan Sima, Xiaoquan Ding*
School of Mathematics and Statistics, Henan University of Science and Technology, Luoyang Henan
Received: May 11th, 2018; accepted: May 23rd, 2018; published: May 30th, 2018
ABSTRACT
This paper is concerned with the group consensus problem for third-order multi-agent systems with fixed directed topology. By using algebraic graph theory and matrix theory, necessary and sufficient conditions are derived for multi-agent systems to achieve group consensus. Finally, a simulation example is given to verify the effectiveness of the theoretical results.
Keywords:Third-Order Multi-Agent System, Group Consensus, Fixed Topology
三阶多智能体系统在固定拓扑下的分组一致性
司马嘉欢,丁孝全*
河南科技大学数学与统计学院,河南 洛阳
收稿日期:2018年5月11日;录用日期:2018年5月23日;发布日期:2018年5月30日
摘 要
本文讨论三阶多智能体系统在固定有向拓扑下的分组一致性。利用代数图论和矩阵理论,建立了三阶多智能体系统实现分组一致性的充要条件。数值模拟验证了理论结果的有效性。
关键词 :三阶多智能体系统,分组一致性,固定拓扑
Copyright © 2018 by authors and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
1. 引言
多智能体系统的一致性作为复杂网络动力学当前研究的热点,吸引了数学、物理学、社会学、信息科学和控制工程等领域学者的极大关注。一致性是指系统中的各智能体随着时间的变化,最终都趋于相同的状态。一致性作为协调控制的基础,其理论成果被无人机编队、水下作战潜艇、聚集问题和智能机器人等领域广泛应用。
2003年,Jababaie等人 [1] 运用代数图论首次对一阶多智能体系统的一致性问题进行理论分析,证明了当通讯拓扑为无向连通图时,系统实现一致性。2004年,Olfati-Saber和Murray [2] 提出了多智能体系统的理论框架和一致性协议的基本形式,证明了系统的收敛速度与通讯拓扑的代数连通度有关。2005年,Ren和Beard [3] 将一阶多智能体系统实现一致性的条件放宽为通讯拓扑有生成树。2008年,Ren [4] 指出在固定有向拓扑下,有生成树仅是二阶多智能体系统实现一致性的必要条件但非充分条件,为实现一致性,控制参数还需要满足一定的条件。2010年,Yu等人 [5] 建立了在固定有向拓扑下二阶多智能体系统实现一致性的充要条件,发现拉普拉斯矩阵特征值的实部和虚部都会影响系统的一致性。
相比较而言,目前关于高阶系统的研究比较少,但其应用价值显而易见。2007年,Ren等人 [6] 通过讨论固定有向拓扑下的拉普拉斯矩阵的特征值与系统矩阵的特征值之间的关系,给出高阶多智能体系统实现一致性的条件。2013年,Miao等人 [7] 利用李雅普诺夫函数研究了在无向拓扑下带有噪声和时滞的高阶多智能体系统的一致性。2016年,Cao和Sun [8] 讨论了离散时间固定有向拓扑下三阶多智能体系统实现一致性的充要条件和参数范围。
2009年,Yu和Wang [9] 首次提出分组一致性的概念,讨论了无向拓扑下一阶多智能体系统的分组一致性。分组一致性是指在多智能体系统的协调控制中,根据环境、任务等实际需要,要求一个多智能体系统中的智能体同时协调完成两个甚至两个以上的不同任务。2014年,Xie等人 [10] 建立了固定有向拓扑下一阶多智能体系统实现分组一致性的充要条件,Feng等人 [11] 则建立了固定有向拓扑下二阶多智能体系统实现分组一致性的充要条件。Zhao和Ju [12] 对固定有向拓扑和随机切换拓扑,分别给出了离散时间一阶多智能体系统实现分组一致性的充要条件。
本文在已有研究基础上,讨论三阶多智能体系统在固定有向拓扑下的分组一致性。首先,利用代数图论和矩阵理论,建立了系统实现分组一致性的充要条件。然后,利用复系数多项式稳定性理论,探讨了系统实现分组一致性与控制参数之间的关系。最后,用数值模拟验证了理论结果的有效性。
2. 预备知识和问题描述
考虑由 个三阶智能体组成的多智能体系统,每个智能体的状态遵循如下动力学模型
(1)
其中 、 、 和 分别表示第i个智能体的位置、速度、加速度和控制输入。假定 个智能体分为 和 两组,其中
并记
定义2.1:如果存在控制算法 ,使得对任意初始条件 、 和 ,多智能体系统(1)的状态满足
则称多智能体系统(1)在控制算法 作用下渐近实现分组一致性。
我们用加权有向图 表示各智能体之间的通讯关系,其中 为的节点集, 为的边集, 为的加权邻接矩阵。矩阵元素 当且仅当 ,即第i个智能体能接收到来自第j个智能体的信息。 为的拉普拉斯矩阵,其中 为对角阵,并且对 ,对角线元素
本文约定 表示n阶单位矩阵, 表示所有元素均为1的n维列向量, 表示所有元素均为0的n维列向量, 表示所有元素均为0的 矩阵。当维数已经明了或者不紧要时,可省略表示它们维数的下标。假定邻接矩阵 满足下列条件:
假设2.1:
为解决多智能体系统(1)的分组一致性问题,在文献 [5] [6] [9] [11] 的基础上,我们提出下列一致性算法:
(2)
其中 为控制参数。
在一致性算法(2)作用下,多智能体系统(1)可表示成下列矩阵形式
其中
(3)
根据矩阵理论, 的特征多项式为
(4)
其中 是L的第i个特征值。
引理2.1:( [9] ) 若假设2.1成立,则L有一个几何重数至少为2的零特征值,并且
和
是L对应于零特征值的两个线性无关的右特征向量。
给定n阶复系数方程
(5)
其中j为虚数单位, 和 为实数, 。令 ,以及
(6)
,其中 ,以及
引理2.2:( [13] )方程(5)的根全部都具有负实部的充要条件是(6)成立,并且对任意 ,有。
3. 主要结论
定理3.1:在一致性算法(2)的作用下,当且仅当 有一个代数重数为6的零特征值且非零特征值都具有负实部时,多智能体系统(1)可渐近实现分组一致性。此外,当渐近实现分组一致性时,有
其中 和 是L对应于零特征值且满足 和 的左特征向量, 和 的定义见引理2.1。
证明:(充分性)由(4)可知,若 的零特征值的代数重数为6,则L的零特征值的代数重数等于2。再由引理2.1可知,L的零特征值的几何重数也等于2。令 和 为L对应于零特征值且满足
和
的左特征向量,其中 和 为n维向量, 和 为m维向量,则
设 为 对应于零特征值的右特征向量,则
(7)
由(7)可得
和
因此, 是L对应于零特征值的右特征向量。结合引理2.1可知,
和
是 对应于零特征值的两个线性无关的右特征向量。进而, 的零特征值的几何重数等于2。类似地可以证明,
和
是 的对应于零特征值的两个线性无关的左特征向量。
注意到
其中
于是, 和 是 对应于零特征值的广义右特征向量。类似地可以证明,
和
也是 对应于零特征值的广义右特征向量,而
和
是 对应于零特征值的广义左特征向量。
设J为 的若当标准形,则存在非退化矩阵 使得
其中
是 的零特征值对应的若当块,而 是 的非零特征值对应的若当块。故而
其中
由于 的非零特征值都具有负实部,因此
经简单的计算可知,
(8)
注意到
以及
由(8)可知,当 时,有
充分性得证。
(必要性) 根据引理2.1,L的零特征值的代数重数至少为2。结合(4), 的零特征值的代数重数至少为6。设
是 的若当标准形,则
其中 是 的零特征值对应的阶数至少为6的若当块,而 是 的非零特征值对应的若当块。当 存在一个具有非负实部的非零特征值时,有
(9)
若 的零特征值的代数重数大于6或存在一个具有非负实部的非零特征值,则 的秩大于6或(9)成立。从而,当 时, 的秩大于6。进而,当 时, 的秩也大于6。另一方面,若在一致性算法(2)作用下,多智能体系统(1)可渐近实现分组一致性,则当 时, 的秩等于6。由此推出矛盾,必要性得证。
定理3.2:在一致性算法(2)的作用下,当且仅当L有一个代数重数为2的零特征值且其非零特征值都具有正实部,同时控制参数满足下列条件:
(10)
时,多智能体系统(1)可渐近实现分组一致性,其中 是L的非零特征值。
证明:由(4)可知, 的零特征值的代数重数为6,当且仅当L的零特征值的代数重数等于2。进一步, 的非零特征值必是方程
(11)
的根,其中 是L的非零特征值。根据引理2.2,经简单计算可知,方程(11)的根全部都具有负实部的充要条件是(10)成立。根据定理3.1,本定理得证。
4. 数值模拟
本节利用数值模拟验证理论结果的有效性。考虑由5个智能体组成的三阶多智能体系统,各智能体之间的有向通讯拓扑如图1所示,其中智能体1、2和3属于一个子系统,而智能体4和5属于另一个子系统。系统通讯拓扑的拉普拉斯矩阵为
经计算可得L的特征值为 、 、 和 。选取满足定理
Figure 1. The digraph of communication with five agents
图1. 智能体1~5间的信息交流图
Figure 2. The state trajectories of position
图2. 位置的状态轨迹
Figure 3. The state trajectories of velocity
图3. 速度的状态轨迹
Figure 4. The state trajectories of acceleration
图4. 加速度的状态轨迹
3.2条件的控制参数 、 和 ,在一致性算法(2)的作用下,当初始条件为 、 和 时,智能体的位置、速度和加速度的状态轨迹模拟结果如图2~图4所示。由图2可知, 、 和 渐进趋于同一个时变状态,而 和 渐进趋于另一个时变状态。由图3可知, 、 和 渐进趋于同一个时变状态,而 和 渐进趋于另一个时变状态。由图4可知, 、 和 渐进趋于同一个常值状态,而 和 渐进趋于另一个常值状态。这些结果与定理3.2的结论是一致的。
基金项目
本文得到国家自然科学基金项目(11271110)和河南省教育厅科技攻关项目(15A120009)的支持。
文章引用
司马嘉欢,丁孝全. 三阶多智能体系统在固定拓扑下的分组一致性
Group Consensus of Third-Order Multi-Agent Systems with Fixed Topology[J]. 理论数学, 2018, 08(03): 315-324. https://doi.org/10.12677/PM.2018.83042
参考文献
- 1. Jababaie, A., Lin, J. and Morse, A.S. (2003) Coordination of Groups of Mobile Autonomous Agent Using Nearest Neighbor Rules. IEEE Transactions on Automatic Control, 48, 988-1001. https://doi.org/10.1109/TAC.2003.812781
- 2. Olfati-Saber, R. and Murray, R.M. (2004) Consensus Problems in Network of Agents with Switching Topology and Time-Delays. IEEE Transactions on Automatic Control, 49, 1520-1533. https://doi.org/10.1109/TAC.2004.834113
- 3. Ren, W. and Beard R.W. (2005) Consensus Seeking in Multi-Agent Systems under Dynamically Changing Interaction Topologies. IEEE Transactions on Automatic Control, 50, 655-661. https://doi.org/10.1109/TAC.2005.846556
- 4. Ren, W. (2008) On Consensus Algorithms for Double-Integrator Dy-namics. IEEE Transaction on Automatic Control, 53, 1503-1509. https://doi.org/10.1109/TAC.2008.924961
- 5. Yu, W.W., Chen, G.R. and Cao, M. (2010) Some Necessary and Sufficient Conditions for Second Order Consensus in Multi-Agent Dynamical Systems. Automatica, 46, 1089-1095. https://doi.org/10.1016/j.automatica.2010.03.006
- 6. Ren, W., Moore, K. and Chen, Y.Q. (2007) High-Order and Model Reference Consensus Algorithms in Cooperative Control of Multi-Vehicle Systems. Journal of Dy-namic Systems Measurement and Control, 129, 678-688. https://doi.org/10.1115/1.2764508
- 7. Miao, G., Xu, S. and Zou, Y. (2013) Consentability for High-Order Multi-Agent Systems under Noise Environment and Time Delays. Journal of the Franklin Institute, 350, 244-257. https://doi.org/10.1016/j.jfranklin.2012.10.015
- 8. Cao, Y.F. and Sun, Y.G. (2016) Consensus of Discrete-Time Third-Order Multi-Agent Systems in Directed Network. Neurocomputing, 177, 394-400. https://doi.org/10.1016/j.neucom.2015.11.039
- 9. Yu, J.Y. and Wang, L. (2009) Group Consensus of Multi-Agent Systems with Undirected Communication Graphs. 7th Asian Control Conference, 43, 105-110.
- 10. Xie, D.M., Liu, Q.L., Lv, L.F. and Li, S.Y. (2014) Necessary and Sufficient Condition for the Group Consensus of Multi-Agent Systems. Applied Mathematics and Computation, 243, 870-878. https://doi.org/10.1016/j.amc.2014.06.069
- 11. Feng, Y.Z., Xu, S.Y. and Zhang, B.Y. (2014) Group Consensus Control for Double Integrator Dynamic Multi-Agent Systems with Fixed Communication Topology. International Journal of Robust and Nonli-near Control, 24, 532-547. https://doi.org/10.1002/rnc.2904
- 12. Zhao, H.Y. and Ju, H.P. (2014) Group Consensus of Discrete-Time Multi-Agent Systems with Fixed and Stochastic Switching Topologies. Nonlinear Dynamics, 77, 1297-1307. https://doi.org/10.1007/s11071-014-1379-0
- 13. 范弘毅. 复常系数线性系统稳定性的新判据[J]. 沈阳建筑工程学院学报, 1997(13): 96-100.