第11卷第5期 智能系统学报 Vol.11 No.5 2016年10月 CAAI Transactions on Intelligent Systems 0ct.2016 D0I:10.11992/is.201601017 网络出版地址:http:/www.cnki.net/kcms/detail/23.1538.TP.20160913.0838.002.html 多信号输入下多智能体系统的图可控性分类 李自强,纪志坚,晁永翠,董洁 (青岛大学自动化工程学院,山东青岛266071) 摘要:在多信号输人情形下,对多智能体系统的图可控性分类进行了分析,构建了新的基于多信号输入下的系统 模型。进而利用秩判据和PBH判据,在新的模型下得到系统与可控性的关系,新的模型更方便地表现多智能体系统 的一般性。此外,在拉普拉斯矩阵下,对多智能体系统与可控性的关系做了详细的分析与研究,特别是在拉普拉斯 矩阵的特征值与系统能控性的关系方面进行了分析。解决了多信号输入下可控性分类的问题,并提高了研究可控 性的准确性。而且,在已有结论的基础上对多智能体系统可控性的内容进行了完善。 关键词:多信号输入系统:图可控性分类:秩判据和PBH判据:拉普拉斯矩阵:可控性 中图分类号:TP273文献标志码:A文章编号:1673-4785(2016)05-0680-08 中文引用格式:李自强,纪志坚,晁永翠,等.多信号输入下多智能体系统的图可控性分类[J].智能系统学报,2016,11(5):680-687. 英文引用格式:LI Ziqiang,JI Zhijian,CHAO Yongcui,etal.Graph controllability classes of networked multi-agent systems with multi-signal inputs[J].CAAI transactions on intelligent systems,2016,11(5):680-687. Graph controllability classes of networked multi-agent systems with multi-signal inputs LI Ziqiang,JI Zhijian,CHAO Yongcui,DONG Jie (School of Automation Engineering,Qingdao University,Qingdao 266071,China) Abstract:In this paper,we analyze graph controllability classes in networked multi-agent systems with multisignal inputs and construct a new system model.To determine the relationship between controllability and networked multi- agent systems,we used a controllability rank criterion and the Popov-Belevitch-Hautus criterion in our proposed model,which is more convenient and more general in its application.In addition,we analyzed in detail the rela- tionship between networked multi-agent systems and controllability,especially,between Laplacian eigenvalue and controllability.Based on our results,we conclude that we have solved the controllable classification problem associ- ated with multisignal input,improved research accuracy with respect to controllability,and improved the controlla- bility of networked multi-agent systems. Keywords:multi-signal input systems;graph controllability classes;rank criterion and PBH criterion;Laplacian matrix;controllability 近几年来学术界对多智能体系统已经有了广泛 统发挥最大的作用。所以,多智能体系统的可控性 的研究和关注[4,并且已经应用在多个领域中,如 研究具有重要的意义。 无人机的编队控制、机器人的编队控制,甚至在军事 在多智能体系统中,对具有领导者一跟随者结 上也有广泛的应用s。多智能体系统的核心问 构的图可控性研究大都是基于单信号输入下或者是 题是关于可控性的问题,可控性能够使每个智能体 更为简单的模型下3.】,在多智能体中,模型的建 的状态达到人们所期望的结果,并且使多智能体系 立对系统的可控性有着重要的影响。在所建立的模 型下,充分认识系统与可控性的关系,并理解系统对 收稿日期:2016-01-08.网络出版日期:2016-09-13. 基金项目:国家自然科学基金项目(61374062), 可控性的影响,这些无疑对解决多智能体系统的可 通信作者:纪志坚.E-mail:jizhijian@(pku.org.cn. 控性问题提供了很好的方法和帮助。所以研究特定
第 11 卷第 5 期 智 能 系 统 学 报 Vol.11 №.5 2016 年 10 月 CAAI Transactions on Intelligent Systems Oct. 2016 DOI:10.11992 / tis.201601017 网络出版地址:http: / / www.cnki.net / kcms/ detail / 23.1538.TP.20160913.0838.002.html 多信号输入下多智能体系统的图可控性分类 李自强,纪志坚,晁永翠,董洁 (青岛大学 自动化工程学院,山东 青岛 266071) 摘 要:在多信号输入情形下,对多智能体系统的图可控性分类进行了分析,构建了新的基于多信号输入下的系统 模型。 进而利用秩判据和 PBH 判据,在新的模型下得到系统与可控性的关系,新的模型更方便地表现多智能体系统 的一般性。 此外,在拉普拉斯矩阵下,对多智能体系统与可控性的关系做了详细的分析与研究,特别是在拉普拉斯 矩阵的特征值与系统能控性的关系方面进行了分析。 解决了多信号输入下可控性分类的问题,并提高了研究可控 性的准确性。 而且,在已有结论的基础上对多智能体系统可控性的内容进行了完善。 关键词:多信号输入系统;图可控性分类;秩判据和 PBH 判据;拉普拉斯矩阵;可控性 中图分类号:TP273 文献标志码:A 文章编号:1673⁃4785(2016)05⁃0680⁃08 中文引用格式:李自强,纪志坚,晁永翠,等.多信号输入下多智能体系统的图可控性分类[J]. 智能系统学报, 2016, 11(5):680⁃687. 英文引用格式:LI Ziqiang,JI Zhijian,CHAO Yongcui,et al.Graph controllability classes of networked multi⁃agent systems with multi⁃signal inputs[J]. CAAI transactions on intelligent systems, 2016,11(5):680⁃687. Graph controllability classes of networked multi⁃agent systems with multi⁃signal inputs LI Ziqiang, JI Zhijian, CHAO Yongcui, DONG Jie (School of Automation Engineering,Qingdao University, Qingdao 266071,China) Abstract:In this paper, we analyze graph controllability classes in networked multi⁃agent systems with multisignal inputs and construct a new system model. To determine the relationship between controllability and networked multi⁃ agent systems, we used a controllability rank criterion and the Popov⁃Belevitch⁃Hautus criterion in our proposed model, which is more convenient and more general in its application. In addition, we analyzed in detail the rela⁃ tionship between networked multi⁃agent systems and controllability, especially, between Laplacian eigenvalue and controllability. Based on our results, we conclude that we have solved the controllable classification problem associ⁃ ated with multisignal input, improved research accuracy with respect to controllability, and improved the controlla⁃ bility of networked multi⁃agent systems. Keywords:multi⁃signal input systems; graph controllability classes; rank criterion and PBH criterion; Laplacian matrix; controllability 收稿日期:2016⁃01⁃08. 网络出版日期 基金项目:国家自然科学基金项目(6137 近几年来 :2 4 0 0 1 6 6 2 ⁃ ) 09⁃13. 通信作者:纪志坚.E⁃mail:jizhijian@ pku.org.cn. 学术界对多智能体系统已经有了广泛 的研究和关注[1⁃14] ,并且已经应用在多个领域中,如 无人机的编队控制、机器人的编队控制,甚至在军事 上也有广泛的应用[15⁃17] 。 多智能体系统的核心问 题是关于可控性的问题,可控性能够使每个智能体 的状态达到人们所期望的结果,并且使多智能体系 统发挥最大的作用。 所以,多智能体系统的可控性 研究具有重要的意义。 在多智能体系统中,对具有领导者—跟随者结 构的图可控性研究大都是基于单信号输入下或者是 更为简单的模型下[13,18] ,在多智能体中,模型的建 立对系统的可控性有着重要的影响。 在所建立的模 型下,充分认识系统与可控性的关系,并理解系统对 可控性的影响,这些无疑对解决多智能体系统的可 控性问题提供了很好的方法和帮助。 所以研究特定
第5期 李自强,等:多信号输人下多智能体系统的图可控性分类 .681 模型下系统的可控性成为一个热点。 定义节点i和节点j之间的距离为dc(i,j),表示为 Tanner是最早通过系统中各节点之间的联系来 节点i和节点j之间最短的通道。当图中任意一对 研究可控性的。他通过邻居信息,提出了其中一 节点之间存在一条通道时,我们说图G是连通的。 个节点为领导者时系统可控的充分必要条件,并得 拉普拉斯矩阵是半正定且实对称的,因此L的特征 到了无向图下的能控性定理。这对后续有关可控性 值可以给定顺序为入1≤入2≤…≤入.,其中特征值 的研究给予了很大的帮助。早在Aguilar的文章 入1=0对应的特征向量为[11…1]'。如果图G是 中[u],Aguilar就整个图的可控性进行分类,根据图 连通的,则入,=0是L的非重特征根,此时有入2>0, 选取不同的领导者时图是否可控,来定义了3种图 本文中图G的特征值或特征向量即为图拉普拉斯 可控性,并就3种分类进行了详细的分析,但是 矩阵L的特征值或特征向量。 Aguilar的文章内容是在单信号输入的特殊模型下 给定域k上的向量空间P,Q是P的有限子集, 进行研究的,即每个领导者节点受到同一个信号的 则Q的生成空间为Q中元素的所有有限线性组合 输入,而本文是在更一般的多信号输入模型下进行 组成的集合。如果Q=[P1P2…P,],则生成空间 研究,每个领导者节点可能受到不同的多个信号的 span(Q)=span(p1,P2,…,P,)={入P1+入2P2…+入P,l 输人,这种多信号输入的模型更能准确地表现多智 A1,入2,…,入,∈k}。令(L:B〉表示包含B的最小L 能体系统的一般性,而且本文纠正了Aguilar文 不变子空间,即(L;B〉=span{LB|k∈No},并且,当 章[1)]中关于齐次向量的条件可控图问题。 dim((L;B〉)=k+1时,{B,LB,…,LB}是(L;B》 一些研究者[9]近几年对基于拉普拉斯矩阵 的一个基。其中dim((L;B〉)表示矩阵((L:B〉) 下的可控性作了很多的研究,本文也是在拉普拉斯 的空间维数。如果dim(〈L:B〉)=n,则系统(L,B) 矩阵下,结合矩阵论的知识[235],对系统的可控性 是可控的。 与拉普拉斯矩阵的关系进行了研究,特别是在拉普 本文主要分析G=(V,E)上的可控性问题,其 拉斯矩阵的特征值和特征向量等对系统可控性的影 中x,(t)∈R代表了节点i∈V在时刻t时的状态, 响方面进行了深入的研究,另外,本文主要在多输入 节点间的相互关系由边集E来表示。在时刻1时, 信号情况下,对多智能体系统中的图可控性进行分 一个外部控制向量通过一状态向量bm∈R”施加在 类,具体分为多信号输入下本质可控图,多信号输入 节点i上。单个节点的状态方程可以表示为 下完全不可控图以及多信号输入下条件可控图,并 .()=-∑(x:-x)+bu(t) lijl eE 就这3种分类的特殊性进行了描述,而且对它们的 另外,在时刻t,输出方程y(t)∈R”由输出矩阵 性质进行了相应的阐述。 C∈R"9表示。所以对于连通图G=(V,E),整个系 1预备知识 统方程表示为 (x=-L(G)x(t)+BU(t) 在多智能体系统中,图的节点代表智能体,图中 (1) =Cx(t) 的边线代表智能体之间的通信链接。本文中考虑的 式中B=[b,b2…b.]T∈Rax。 是简单图,即没有封闭环形或重边的无权重无向图。 定义1如果所有领导者节点都受到同一个信 图G表示为G=[VE],其中n个点的点集表示为 号的输入,那称这样的系统为单信号输入系统。当 V=[12…n],边集为E={(i,j)eV×V},输入节 系统受到多个信号输入时,称这样的系统为多信号 点集合表示为S=[i1i2…i,],并且满足 输入系统。 i1<i2<<i,输入节点称为领导者节点,剩下的跟随 在单信号输入系统下,对于具有n个点的图中, 者节点集合即为V\S。图G的邻接矩阵为A∈ 定义输入节点集合S={i1,i2,…,i,},并且满足 Rm,它的全部元素满足当(i,j)∈E时,a,=1;否则 i1<i2<…<i,每个输入节点都受到同一个信号的输 a,=0。如果(i,j)∈E,那么节点i和节点j是相邻 入时,相应的输入矩阵B可以改成输入向量b= 点,节点i的相邻点集合为N,={ka4=1},一个节 [b1b2…bn]T∈{0,1}",即b:∈{0,1},定义V。= 点i的度d:为它的相邻点的数量。图G的度矩阵 {i∈Vb:=1}为领导者节点集合,V八V,为跟随者节 为D∈R,它是对角矩阵,第i个对角元素为d:。 点集合,控制单信号为(t)。系统(1)可以改写为 图的拉普拉斯矩阵表示为L=D-A。 (x=-L(G)x(t)+bu(t) (2) 在图G中,对于点集合的两个节点i和节点j, y=Cx(t)
模型下系统的可控性成为一个热点。 Tanner 是最早通过系统中各节点之间的联系来 研究可控性的[19] 。 他通过邻居信息,提出了其中一 个节点为领导者时系统可控的充分必要条件,并得 到了无向图下的能控性定理。 这对后续有关可控性 的研究给予了很大的帮助。 早在 Aguilar 的文章 中[18] ,Aguilar 就整个图的可控性进行分类,根据图 选取不同的领导者时图是否可控,来定义了 3 种图 可控性,并就 3 种分类进行了详细的分析,但是 Aguilar 的文章内容是在单信号输入的特殊模型下 进行研究的,即每个领导者节点受到同一个信号的 输入,而本文是在更一般的多信号输入模型下进行 研究,每个领导者节点可能受到不同的多个信号的 输入,这种多信号输入的模型更能准确地表现多智 能体系统的一般性, 而且本文纠正了 Aguilar 文 章[18]中关于齐次向量的条件可控图问题。 一些研究者[19⁃22] 近几年对基于拉普拉斯矩阵 下的可控性作了很多的研究,本文也是在拉普拉斯 矩阵下,结合矩阵论的知识[23⁃25] ,对系统的可控性 与拉普拉斯矩阵的关系进行了研究,特别是在拉普 拉斯矩阵的特征值和特征向量等对系统可控性的影 响方面进行了深入的研究,另外,本文主要在多输入 信号情况下,对多智能体系统中的图可控性进行分 类,具体分为多信号输入下本质可控图,多信号输入 下完全不可控图以及多信号输入下条件可控图,并 就这 3 种分类的特殊性进行了描述,而且对它们的 性质进行了相应的阐述。 1 预备知识 在多智能体系统中,图的节点代表智能体,图中 的边线代表智能体之间的通信链接。 本文中考虑的 是简单图,即没有封闭环形或重边的无权重无向图。 图 G 表示为 G = [V E],其中 n 个点的点集表示为 V= [1 2 … n],边集为 E = {(i,j)∈V×V},输入节 点集 合 表 示 为 S = [ i 1 i 2 … i q ], 并 且 满 足 i 1<i 2<…<i q,输入节点称为领导者节点,剩下的跟随 者节点集合即为 V \ S。 图 G 的邻接矩阵为 A∈ R n×n ,它的全部元素满足当(i,j)∈E 时,aij = 1;否则 aij = 0。 如果(i,j)∈E,那么节点 i 和节点 j 是相邻 点,节点 i 的相邻点集合为 Ni = { k aik = 1},一个节 点 i 的度 di 为它的相邻点的数量。 图 G 的度矩阵 为 D∈R n×n ,它是对角矩阵,第 i 个对角元素为 di。 图的拉普拉斯矩阵表示为 L =D-A。 在图 G 中,对于点集合的两个节点 i 和节点 j, 定义节点 i 和节点 j 之间的距离为 dG( i,j),表示为 节点 i 和节点 j 之间最短的通道。 当图中任意一对 节点之间存在一条通道时,我们说图 G 是连通的。 拉普拉斯矩阵是半正定且实对称的,因此 L 的特征 值可以给定顺序为 λ1 ≤λ2 ≤…≤λn ,其中特征值 λ1 = 0对应的特征向量为[1 1 … 1] T 。 如果图 G 是 连通的,则 λ1 = 0 是 L 的非重特征根,此时有 λ2>0, 本文中图 G 的特征值或特征向量即为图拉普拉斯 矩阵 L 的特征值或特征向量。 给定域 k 上的向量空间 P,Q 是 P 的有限子集, 则 Q 的生成空间为 Q 中元素的所有有限线性组合 组成的集合。 如果 Q = [ p1 p2 … pr ],则生成空间 span(Q)= span(p1 ,p2 ,…,pr)= {λ1 p1 +λ2 p2…+λr pr | λ1 ,λ2 ,…,λr∈k}。 令〈L;B〉表示包含 B 的最小 L⁃ 不变子空间,即〈L;B〉 = span L kB k∈N0 { } ,并且,当 dim(〈L;B〉)= k+1 时,{B,LB,…,L kB} 是〈L;B〉 的一个基。 其中 dim(〈L;B〉) 表示矩阵(〈L;B〉) 的空间维数。 如果 dim(〈L;B〉)= n,则系统(L,B) 是可控的。 本文主要分析 G = (V,E)上的可控性问题,其 中 xi(t)∈R 代表了节点 i∈V 在时刻 t 时的状态, 节点间的相互关系由边集 E 来表示。 在时刻 t 时, 一个外部控制向量通过一状态向量 bm∈R q 施加在 节点 i 上。 单个节点的状态方程可以表示为 x · i(t) = - {i∑,j}∈E (xi - xj) + b T m u(t) 另外,在时刻 t,输出方程 y(t)∈R p 由输出矩阵 C∈R n×p表示。 所以对于连通图 G = (V,E),整个系 统方程表示为 x · = - L(G)x(t) + BU(t) y · = Cx(t) { (1) 式中 B= [b1 b2… bn ] T∈R n×q 。 定义 1 如果所有领导者节点都受到同一个信 号的输入,那称这样的系统为单信号输入系统。 当 系统受到多个信号输入时,称这样的系统为多信号 输入系统。 在单信号输入系统下,对于具有 n 个点的图中, 定义输入节点集合 S = { i 1 , i 2 , …, i q }, 并且满足 i 1<i 2<…<i q,每个输入节点都受到同一个信号的输 入时,相应的输入矩阵 B 可以改成输入向量 b = [b1 b2… bn ] T∈{0,1} n ,即 bi ∈{ 0,1},定义 Vb = {i∈V bi = 1}为领导者节点集合,V\Vb 为跟随者节 点集合,控制单信号为 u(t)。 系统(1)可以改写为 x · = - L(G)x(t) + bu(t) y · = Cx(t) { (2) 第 5 期 李自强,等:多信号输入下多智能体系统的图可控性分类 ·681·
.682. 智能系统学报 第11卷 在多信号输入系统下,系统可以分为2种,对于 判据rank[bLb…Lb]<6,系统(L,b)不可控。当 系统(1),一种情况是在n个点的图中,定义输入节点 选取节点1和节点5为领导者且2个节点受到不同 集合S每个点只收到一个信号的输入时(每个点收到 信号输入时,即在多信号输入系统下,令 的信号不一定相同),相应的输入矩阵B=[e,e B=[e,e],根据秩判据rank[BLB…LB]=6,此 e,]∈R,e表示第i.个元素为1,其他元素为零的 时系统(L,B)可控。 列向量,x{1,2,…,q},U(t)是有g个控制器的向 通过上文,可以看出多信号输入下可控性与单 量,即U(t)=[,(t)u2(t)…u,(t)]。 信号输入下可控性有很大的区别,那么就有必要讨 另一种情况是在n个点的图中,定义输入节点 论基于拉普拉斯矩阵下的多信号输入系统与系统可 集合S,每个点可能收到多个信号的输入,相应的输 控性的关系,本文通过下面的定理给出。 入矩阵为 定理1假定可对角化矩阵L无重特征值,矩 阵U是由L的线性无关的单位特征向量构成的矩 B= ∈RXq 阵,那么〈L:B〉的维数等于W=UB中非零列向量 … 的个数。特别地,系统(L,B)是可控的充要条件是 式中:b∈{0,1},1≤i≤n,1≤j≤9o W矩阵中无零列向量。当L有重特征值,且w:≠0, 时,系统(L,B)是不可控的,当且仅当重特征值入 2主要结论 所对应的向量组w:中,存在线性相关的向量,其中 首先讨论单信号输入下系统可控性与多信号输 i=1,2,…,n。 入下系统可控性的区别和联系。 证明令D为对角矩阵,其对角元素为L的特 多信号输入下系统可控性与单信号输入下系统 征值,则有L=UDU,令W=1B= 可控性是有很大区别的,在选取的领导者下,有些图 [w1,w2,…,wn]T,W∈R。其中w:为列向量,i∈ 在单信号输入系统下是不可控的,但在多信号输入 {1,2,…,n}。 系统下却不一定不可控。 [BLB…L"-1B]= 图1为具有4个节点的情形,选取节点2和节点4 [B UDU-B (UDU-)'B...(UDU-)"-B]= 为领导者,当这2个节点受到单信号输入时,b= [B UDU-B UD'U-'B ..UD"-U-'B] [0101]T,根据秩判据rak[bbL2bLb]<4,此时 U[U-BDUB…Dm-1U-B]= 在选取的领导者下,系统不可控。当2个节点受到不 U[WDW…D-1W]= 同信号输入时,即多信号输入系统下,令B=[e2e.],根 wA1w…A1-1w 据秩判据rank[B LBLBL3B]=4,此时系统可控。 w入2w5 A2-w? (3) 2 3 w入nw 入-w 图1具有4个节点的图 由于U是非奇异矩阵,所以它不影响式(3)右 Fig.1 The graph with 4vertices 当任意选取领导者节点时,有些图在单信号输 边矩阵的秩,右边的矩阵展开后即为 入系统下是完全不可控的,但在多信号输入系统下 01…01g入1011…入1101g A-01…'g 并非完全不可控的。 0a1…g入10n…入n0m A8-len1…A-'0g 对上式进行列变换得 01入01…入0H…0g入10g…入0g 图2具有6个节点的图 Fig.2 The graph with 6 vertices 图2中任选节点为领导者,该图在单信号输入 系统下是完全不可控的,即任选b∈{0,1}",根据秩
在多信号输入系统下,系统可以分为 2 种,对于 系统(1),一种情况是在 n 个点的图中,定义输入节点 集合 S 每个点只收到一个信号的输入时(每个点收到 的信号不一定相同),相应的输入矩阵 B = [ei1 ei2… eiq ]∈R n×q ,eix表示第 i x 个元素为 1,其他元素为零的 列向量,x{1,2,…,q},U( t) 是有 q 个控制器的向 量,即 U(t)= [u1(t) u2(t) … uq(t) ] T 。 另一种情况是在 n 个点的图中,定义输入节点 集合 S,每个点可能收到多个信号的输入,相应的输 入矩阵为 B = b11 … b1q ︙ ︙ ︙ bn1 … bnq é ë ê ê ê ê ù û ú ú ú ú ∈ R n×q 式中:bij∈{0,1} ,1≤i≤n,1≤j≤q。 2 主要结论 首先讨论单信号输入下系统可控性与多信号输 入下系统可控性的区别和联系。 多信号输入下系统可控性与单信号输入下系统 可控性是有很大区别的,在选取的领导者下,有些图 在单信号输入系统下是不可控的,但在多信号输入 系统下却不一定不可控。 图 1 为具有 4 个节点的情形,选取节点 2 和节点 4 为领导者,当这 2 个节点受到单信号输入时, b= [0 1 0 1] T ,根据秩判据 rank b Lb L 2 b L 3 [ b] <4,此时 在选取的领导者下,系统不可控。 当 2 个节点受到不 同信号输入时,即多信号输入系统下,令 B=[e2 e4 ],根 据秩判据 rank B LB L 2B L 3 [ B] =4,此时系统可控。 图 1 具有 4 个节点的图 Fig.1 The graph with 4vertices 当任意选取领导者节点时,有些图在单信号输 入系统下是完全不可控的,但在多信号输入系统下 并非完全不可控的。 图 2 具有 6 个节点的图 Fig.2 The graph with 6 vertices 图 2 中任选节点为领导者,该图在单信号输入 系统下是完全不可控的,即任选 b∈{0,1} n ,根据秩 判据 rank b Lb … L 5 [ b] <6,系统(L,b)不可控。 当 选取节点 1 和节点 5 为领导者且 2 个节点受到不同 信号 输 入 时, 即 在 多 信 号 输 入 系 统 下, 令 B= [e1 e5 ],根据秩判据 rank B LB … L 5 [ B] = 6,此 时系统(L,B)可控。 通过上文,可以看出多信号输入下可控性与单 信号输入下可控性有很大的区别,那么就有必要讨 论基于拉普拉斯矩阵下的多信号输入系统与系统可 控性的关系,本文通过下面的定理给出。 定理 1 假定可对角化矩阵 L 无重特征值,矩 阵 U 是由 L 的线性无关的单位特征向量构成的矩 阵,那么〈L;B〉的维数等于 W = U -1B 中非零列向量 的个数。 特别地,系统(L,B)是可控的充要条件是 W 矩阵中无零列向量。 当 L 有重特征值,且 wi≠0q 时,系统(L,B)是不可控的,当且仅当重特征值 λi 所对应的向量组 wi 中,存在线性相关的向量,其中 i = 1,2,…,n。 证明 令 D 为对角矩阵,其对角元素为 L 的特 征 值, 则 有 L = UDU -1 , 令 W = U -1 B = w1 ,w2 ,…,wn [ ] T ,W∈R n×q 。 其中 wi 为列向量,i∈ {1,2,…,n}。 B LB … L n-1 [ B] = B UDU -1B UDU -1 ( ) 2B … UDU -1 ( ) n-1 [ B] = B UDU -1B UD 2U -1B … UD n-1U -1 [ B] = U U -1B DU -1B … D n-1U -1 [ B] = U W DW … D n-1 [ W] = U w T 1 λ1w T 1 … λ1 n-1w T 1 w T 2 λ2w T 2 … λ n-1 2 w T 2 ︙ ︙ ︙ w T n λnw T n … λ n-1 n w T n é ë ê ê ê ê ê ê ù û ú ú ú ú ú ú (3) 由于 U 是非奇异矩阵,所以它不影响式(3)右 边矩阵的秩,右边的矩阵展开后即为 w11 …w1q ︙ ︙ wn1 …wnq λ1w11 … λ1w1q ︙ ︙ λnwn1 … λnwnq λ n-1 1 w11 … λ n-1 1 w1q ︙ ︙ λ n-1 n wn1 … λ n-1 n wnq é ë ê ê ê ê ù û ú ú ú ú 对上式进行列变换得 w11 λ1w11 …λ n-1 1 w11 ︙ ︙ ︙ ︙ wn1 λnwn1…λ n-1 n wn1 … … w1q λ1w1q … λ n-1 1 w1q ︙ ︙ ︙ wnq λnwnq … λn n-1wnq é ë ê ê ê ê ù û ú ú ú ú = w11 ⋱ wn1 é ë ê ê ê ê ù û ú ú ú ú 1 λ1 … λ n-1 1 ︙ ︙ ︙ 1 λn … λ n-1 1 é ë ê ê ê ê ù û ú ú ú ú … é ë ê ê ê ê ·682· 智 能 系 统 学 报 第 11 卷
第5期 李自强,等:多信号输人下多智能体系统的图可控性分类 ·683. 2和节点4为领导者节点时,此时W=U1B= [w,…w]TeRx2,其中w:=[w20a],i∈{1,2, …,n。根据定理1得 [BLB…La-B]=U[WDW…D-1W]= 0204入102入104入02入-'04 U …: 0204入.02入n0d Aw2 在L无重特征值下,仅当存在w2=wa=0时, (L;B〉的维数小于n,〈L:B〉的维数等于w:中非零 向量的个数。而且当且仅当w:≠0时,dim((L: B〉)=n,即此时系统可控。 对于具有2个节点的图,节点1和节点2为领 导者节点时,此时W=B=[w,w,]T∈R22,其中 w:=[ww2]T,i∈{1,2}。根据定理1得 (4) [B LB]=U[W DW]= 当特征值不同时,式(4)后面的矩阵是满秩的, wAw] U = 只需考虑式(4)前面1×g矩阵,其中每个元素为n×n w:w! 的对角矩阵,则此矩阵实际上是具有n行,n×g列的 011012入1011入1012 U (5) 矩阵: 02102入21021入202 01 由于U是非奇异矩阵,所以它不影响式(5)右 边矩阵的秩,对式(5)右边矩阵进行列变换得 1011入11012012入,012 根据此矩阵的特点,取第i行,当w=0时,此 1021 入2021 1022 入2102 矩阵的维数小于n,其j∈{1,2,…,9}。所以(L:B) 的维数取决于向量w;,即L无重特征值时,〈L:B〉 ] 的维数等于W=矿B中非零列向量的个数,而且当 且仅当W矩阵中无零列向量时,dim((L;B)=n, 即此时系统可控。 当L有重特征值情况时,根据无重特征值的情 况,证明如下: [B UDU-B (UDU-)2B...(UDU-)-B]= 在入1≠入2下,上式后面的矩阵是满秩的,根据 w入,w…A-1w 前面的矩阵,只有当01=02=0或021=02=0时, (L;B〉的维数小于2,而且当且仅当w:≠0时, w入2w…A2w2 dim(〈L;B〉)=2,即此时系统可控。 令En为n×g维的矩阵,并且矩阵中的每个元 wA.w…A-w 素为1:0,为n×g维的矩阵,并且矩阵中的每个元素 设入,=入,若w,=kw,其中keR,i,je1,2,…, 为0;1。为n维列向量,且每个元素都为1;0,为q维 n且i≠j,则rank[BLB…LrB]<n,此时,系统 列向量,且每个元素都为0。下面推论由定理1的 (L,B)不可控,而且当且仅当重特征值入所对应的 证明可得。 向量组w:中,存在线性相关的向量时,系统(L,B) 推论对于系统(1),假设L没有重特征值,则 是不可控的。证毕。 系统(L,B)是可控的,当且仅当L的任意一个特征 通过下面情况的论述都能够验证定理1中无重 向量的转置与矩阵B的乘积为非零向量,即uB= 特征值时的情况。对于具有个n个节点的图,节点 w≠0
w1q ⋱ wnq é ë ê ê ê ê ù û ú ú ú ú 1 λ1 … λ n-1 1 ︙ ︙ ︙ 1 λn … λ n-1 n é ë ê ê ê ê ù û ú ú ú ú ù û ú ú ú ú = w11 ⋱ wn1 é ë ê ê ê ê ù û ú ú ú ú … w1q ⋱ wnq é ë ê ê ê ê ù û ú ú ú ú é ë ê ê ê ê ù û ú ú ú ú 1 λ1 … λ1 n-1 ︙ ︙ ︙ 1 λn … λn n-1 é ë ê ê ê ê ù û ú ú ú ú ⋱ 1 λ1 … λ1 n-1 ︙ ︙ ︙ 1 λn … λn n-1 é ë ê ê ê ê ù û ú ú ú ú é ë ê ê ê ê ê ê ê ê ê ê ê ù û ú ú ú ú ú ú ú ú ú ú ú (4) 当特征值不同时,式(4)后面的矩阵是满秩的, 只需考虑式(4)前面 1×q 矩阵,其中每个元素为 n×n 的对角矩阵,则此矩阵实际上是具有 n 行,n×q 列的 矩阵: w11 ⋱ wn1 … w1q ⋱ wnq é ë ê ê ê ê ù û ú ú ú ú 根据此矩阵的特点,取第 i 行,当 wij = 0 时,此 矩阵的维数小于 n,其 j∈{1,2,…,q}。 所以〈L;B〉 的维数取决于向量 w T i ,即 L 无重特征值时,〈L;B〉 的维数等于 W=U -1B 中非零列向量的个数,而且当 且仅当 W 矩阵中无零列向量时,dim(〈L;B〉) = n, 即此时系统可控。 当 L 有重特征值情况时,根据无重特征值的情 况,证明如下: B UDU -1B UDU -1 ( ) 2B … UDU -1 ( ) n-1 [ B] = U w T 1 λ1w T 1 … λ n-1 1 w T 1 w T 2 λ2w T 2 … λ n-1 2 w T 2 ︙ ︙ ︙ w T n λnw T n … λ n-1 n w T n é ë ê ê ê ê ê ê ù û ú ú ú ú ú ú 设 λi =λj,若 wi = kwj,其中 k∈R,i,j∈1,2,…, n 且 i≠j, 则 rank B LB … L n-1 [ B] < n, 此时, 系统 (L,B)不可控,而且当且仅当重特征值 λi 所对应的 向量组 wi 中,存在线性相关的向量时,系统(L,B) 是不可控的。 证毕。 通过下面情况的论述都能够验证定理 1 中无重 特征值时的情况。 对于具有个 n 个节点的图,节点 2 和节点 4 为领导者节点时,此时 W = U - 1B = w1… wn [ ] T∈R n×2 ,其中 wi = wi2 wi4 [ ] T ,i∈{ 1,2, …,n}。 根据定理 1 得 B LB … L n-1 [ B] = U W DW … D n-1 [ W] = U w12 w14 ︙ ︙ wn2 wn4 λ1w12 λ1w14 ︙ ︙ λnwn2 λnwn4 … λ n-1 1 w12 λ n-1 1 w14 ︙ ︙ λ n-1 n wn2 λ n-1 n wn4 é ë ê ê ê ê ù û ú ú ú ú 在 L 无重特征值下,仅当存在 wi2 = wi4 = 0 时, 〈L;B〉的维数小于 n,〈L;B〉的维数等于 wi 中非零 向量的个数。 而且当且仅当 wi ≠0 时, dim (〈 L; B〉)= n,即此时系统可控。 对于具有 2 个节点的图,节点 1 和节点 2 为领 导者节点时,此时 W = U -1B = w1 w2 [ ] T∈R 2×2 ,其中 wi = wi1wi2 [ ] Τ ,i∈{1,2}。 根据定理 1 得 [B LB] = U [W DW] = U w T 1 λ1w T 1 w T 2 λ2w T 2 é ë ê ê ù û ú ú = U w11 w12 λ1w11 λ1w12 w21 w22 λ2w21 λ2w22 é ë ê ê ù û ú ú (5) 由于 U 是非奇异矩阵,所以它不影响式(5)右 边矩阵的秩,对式(5)右边矩阵进行列变换得 w11 λ1w11 w12 λ1w12 w21 λ2w21 w22 λ2w22 é ë ê ê ù û ú ú = w11 0 0 w21 é ë ê ê ù û ú ú 1 λ1 1 λ2 é ë ê ê ù û ú ú w12 0 0 w22 é ë ê ê ù û ú ú 1 λ1 1 λ2 é ë ê ê ù û ú ú é ë ê ê ù û ú ú = w11 0 0 w21 é ë ê ê ù û ú ú w12 0 0 w22 é ë ê ê ù û ú ú é ë ê ê ù û ú ú 1 λ1 1 λ2 é ë ê ê ù û ú ú 1 λ1 1 λ2 é ë ê ê ù û ú ú é ë ê ê ê ê ê ê ù û ú ú ú ú ú ú 在 λ1≠λ2 下,上式后面的矩阵是满秩的,根据 前面的矩阵,只有当 w11 = w12 = 0 或 w21 = w22 = 0 时, 〈L;B〉 的维数小于 2,而且当且仅当 wi ≠0 时, dim(〈L;B〉)= 2,即此时系统可控。 令 En 为 n×q 维的矩阵,并且矩阵中的每个元 素为 1;0n 为 n×q 维的矩阵,并且矩阵中的每个元素 为 0;1n 为 n 维列向量,且每个元素都为 1;0q 为 q 维 列向量,且每个元素都为 0。 下面推论由定理 1 的 证明可得。 推论 对于系统(1),假设 L 没有重特征值,则 系统(L,B)是可控的,当且仅当 L 的任意一个特征 向量的转置与矩阵 B 的乘积为非零向量,即u T i B= w T i ≠0 T q 。 第 5 期 李自强,等:多信号输入下多智能体系统的图可控性分类 ·683·
.684. 智能系统学报 第11卷 注释单信号输入系统下,对应的拉普拉斯矩 从(6)中可以看出对所有的i=2,…,n,有w= 阵如果存在重特征值,则系统不可控:但是在多信号 -w,另外 输入系统下,并不能单纯依靠存在重特征值来判断 w=uB==(Ib,‖Ib2I…lbnl) 系统的不可控性。 √n 推论2对于系统(1),无论L有无重特征值 =B=m-Ib,n-Ib,…n-1b.) 时,若B=0n,即W=UB=[w1…wn]T=0n,则系统 √n (L,B)不可控。 因为B生{En,0n},所以w1≠0,w:≠0,。这样 证明同理定理1证明为 可以证明在B生{En,O。}下W和W有相同数目的 [B UDU-B (UDU-)B...(UDU-)B]= 非零向量。而且因为对于所有的i=2,3,…,n,有 w=-w,无论L有无重特征值,〈L;B〉的维数都等 U[wDW…D"-1W]=U[0.D0。…D"-0n] 则rank[BLB…L-B]<n,即系统(L,B)不可控。 于(L;B〉,即dim((L;B〉)=dim(L:B〉)。而且它 们的维数相同时,可控性也相同。 令b,‖=∑,b,表示列向量b,中非零元素 通过上文的阐述,可以给出多信号输入下图可 之和。令B=E-B表示B的补集。 控性分类的定义。 定理2让n≥2,对于系统(1),系统(L,B)是 定义2在连通图G中,对于系统(1) 1)如果除去图中每个点都是输人节点以及每 可控的,当且仅当系统(L,B)是可控的。而且B 个点都不是输入节点的2种情况后,任意选取图中 {En,0n}时,dim(〈L:B〉)=dim((L;B〉)成立。 的点为输入节点时,系统(L,B)是可控的,则图关于 证明U为L标准正交基组成的矩阵,其中U B是多信号输入下本质可控图: 2)如果在图中选取任意点为输入节点时,系统 的第一列特征向量为41=1。B生E。,0,,B中 (L,B)都是不可控的,则图关于B是多信号输入下 √n 完全不可控图: 元素为正实数。令W=UB=[w,…w]T,并且 3)如果图关于B即不是多信号输入下本质可 W=B=[w,…wn]T,其中W和WeR。*表 控图也不是多信号输入下完全不可控图,则图关于 示任意实数,但它们满足的第2行到第n行向量 B是多信号输人下条件可控图。 都与1.正交。那么, 下面是分情况讨论3种情况下的图性质。 W=UE。-U'B= 2.1多信号输入下本质可控图 在本节中,主要给出2个多输入下本质可控图 1 的必要条件,通过下面的命题论证。 n n 命题1多输入下本质可控图是不对称的。 W 证明设G是多输入下本质可控图,则L必须 1 有不同的特征值。在这用反证法,假设多输入下本质 可控图是对称的,则G有一个非平凡自同构群,设 n n J是置换矩阵代表G的一个非恒等自同构,那么存在 √n 2个不同的标准正交基e:和e,使得Je:=e,和Je,= 0 0 0 -W e。则有J[e:0n…]=[e0。…]和J[0ne…]=[0ne …]。并且有JL(G)=L(G)J,令B=[e:0.…]+[0。 0 0 0 e…]。可以得到JB=B。设入为矩阵L的特征值, 即 其对应的特征向量为v,满足Lv=入y。两边同乘以J, 有JLv=JA,因为JL(G)=L(G)J,则有L(JP)= n n n A(J),即Jy也是对应于特征值A的特征向量。因 为L有一系列正交特征向量,-Jy也是L的特征向 W= 0 0 0 -[w1…w] (6) 量。而且JB=B=B,则有(v-JP)IB=vB- vB=vB-vB=O即B正交于L的特征向量。 0 0 0 因此系统(L,B)是不可控的。这与G是多输入下本
注释 单信号输入系统下,对应的拉普拉斯矩 阵如果存在重特征值,则系统不可控;但是在多信号 输入系统下,并不能单纯依靠存在重特征值来判断 系统的不可控性。 推论 2 对于系统(1),无论 L 有无重特征值 时,若 B= 0n ,即 W= U -1B= w1… wn [ ] T = 0n ,则系统 (L,B)不可控。 证明 同理定理 1 证明为 B UDU -1B UDU -1 ( ) 2B … UDU -1 ( ) n-1 [ B] = U W DW … D n-1 [ W] = U 0n D0n … D n-1 0n [ ] 则 rank B LB … L n-1 [ B] <n,即系统(L,B)不可控。 令 ‖bj‖ = ∑ n i = 1 bij 表示列向量 bj 中非零元素 之和。 令 B - =En -B 表示 B 的补集。 定理 2 让 n≥2,对于系统(1),系统(L,B)是 可控的,当且仅当系统(L,B - )是可控的。 而且 B∉ {En ,0n }时,dim(〈L;B〉)= dim 〈L;B - ( 〉 ) 成立。 证明 U 为 L 标准正交基组成的矩阵,其中 U 的第一列特征向量为 u1 = 1 n 1n 。 B∉{En ,0n },B 中 元素为正实数。 令 W = U -1 B = w1… wn [ ] T ,并且 W - =U -1B - = w - 1… w - n [ ] T ,其中 W 和 W - ∈R n×q 。 ∗表 示任意实数,但它们满足 U T 的第 2 行到第 n 行向量 都与 1n 正交。 那么, W - = U TEn - U TB = 1 n 1 n … 1 n ∗ ∗ … ∗ ︙ ︙ ︙ ∗ ∗ … ∗ é ë ê ê ê ê ê ê ê ù û ú ú ú ú ú ú ú 1 1 … 1 1 1 … 1 ︙ ︙ ︙ 1 1 … 1 é ë ê ê ê ê ê ù û ú ú ú ú ú - W = n n n n … n n 0 0 … 0 ︙ ︙ ︙ 0 0 … 0 é ë ê ê ê ê ê ê ê ù û ú ú ú ú ú ú ú - W 即 W - = n n n n … n n 0 0 … 0 ︙ ︙ ︙ 0 0 … 0 é ë ê ê ê ê ê ê ê ù û ú ú ú ú ú ú ú - [w1 … wn ] T (6) 从(6)中可以看出对所有的 i = 2,…,n,有 w - T i = -w T i ,另外 w T 1 = u T 1B = 1 n (‖b1‖ ‖b2‖ … ‖bn‖) w - T 1 = u T 1B - = 1 n (n - ‖b1‖,n - ‖b2‖,…,n - ‖bn‖) 因为 B∉{En ,On },所以 w1≠Oq,w - i≠Oq。 这样 可以证明在 B∉{En ,On }下 W - 和 W 有相同数目的 非零向量。 而且因为对于所有的 i = 2,3,…,n,有 w - T i = -w T i ,无论 L 有无重特征值,〈L;B〉的维数都等 于〈L;B - 〉,即 dim(〈L;B〉)= dim 〈L;B - ( 〉 ) 。 而且它 们的维数相同时,可控性也相同。 通过上文的阐述,可以给出多信号输入下图可 控性分类的定义。 定义 2 在连通图 G 中,对于系统(1) 1)如果除去图中每个点都是输入节点以及每 个点都不是输入节点的 2 种情况后,任意选取图中 的点为输入节点时,系统(L,B)是可控的,则图关于 B 是多信号输入下本质可控图; 2)如果在图中选取任意点为输入节点时,系统 (L,B)都是不可控的,则图关于 B 是多信号输入下 完全不可控图; 3)如果图关于 B 即不是多信号输入下本质可 控图也不是多信号输入下完全不可控图,则图关于 B 是多信号输入下条件可控图。 下面是分情况讨论 3 种情况下的图性质。 2.1 多信号输入下本质可控图 在本节中,主要给出 2 个多输入下本质可控图 的必要条件,通过下面的命题论证。 命题 1 多输入下本质可控图是不对称的。 证明 设 G 是多输入下本质可控图,则 L 必须 有不同的特征值。 在这用反证法,假设多输入下本质 可控图是对称的,则 G 有一个非平凡自同构群,设 J 是置换矩阵代表 G 的一个非恒等自同构,那么存在 2 个不同的标准正交基 ei 和 ej,使得 Jei = ej 和 Jej = ei。 则有 J[ei 0n…] =[ej 0n…]和 J[0n ej…] = [0n ei …]。 并且有 JL(G)= L(G)J,令 B = [ei 0n…] +[0n ej…]。 可以得到 JB = B。 设 λ 为矩阵 L 的特征值, 其对应的特征向量为 v,满足 Lv =λv。 两边同乘以 J, 有 JLv = Jλv,因为 JL(G) = L(G) J,则有 L(Jv) = λ(Jv),即 Jv 也是对应于特征值 λ 的特征向量。 因 为 L 有一系列正交特征向量,v-Jv 也是 L 的特征向 量。 而且 JB = J TB = B,则有 (v - Jv) T B = v TB - v T J TB = v TB - v TB = 0 即 B 正交于 L 的特征向量。 因此系统(L,B)是不可控的。 这与 G 是多输入下本 ·684· 智 能 系 统 学 报 第 11 卷
第5期 李自强,等:多信号输人下多智能体系统的图可控性分类 ·685 质可控图相矛盾。所以多输人下本质可控图是不对 并不与多信号输入下完全不可控图有关联。对于系 称的。结论得证。 统(1),对称的图并不都是多输入下完全不可控图。 任何少于6个点的图都可以改为对称的图。如 如图1为对称图,当B=[e2e4]时,根据秩判据,此 图3(a)中,5个点的情况可以改为图3(b)中对称的 时系统可控。 图形。由此启发可以得到下面的命题。 给定图G,则可以写出图的拉普拉斯矩阵,也可 以求出图的特征值,特征值所对应的特征向量也可 以求出,由此启发,给出下面的命题。 命题3图G在有重特征值的情况下,对任意 1 的B使得:线性相关,那么这样的图为多信号输 入下完全不可控图。其中w=uB,u:为重特征值 所对应的特征向量,i=1,…,n。 证明根据定理1,得证。 3 命题4在图G中,如果存在一个L的特征向 (a)改变前 (b)改变后 量的转置与B的乘积为0,则这样的图为多信号输 入下完全不可控图。 图3具有5个节点的图 证明根据定理1,得证。 Fig.3 The graph with 5 vertices 命题2多输入下本质可控图至少有6个点。 2.3多信号输入下条件可控图 证明根据命题1,并且由任何不对称的图形 在本节中,主要提出文献[18]中的错误,并举 至少有6个点得证。 例进行阐述。 对于系统(1),不对称的图并不都是多输入下 对于文献[18]中的模型(2)实际上是系统(1) 本质可控图。通过图(4)可以进行验证。 的特殊情况,即单信号输入系统,此时要在系统(2) 下进行分析与讨论文献[18]中的问题。 定义318]在图G=(V,E)中,r,seR,称b∈ R”在图G中是一个(r,s)-齐次可控向量,如果对 于每一个i∈V.,有r=|N,nV八V.|,并且对每一个 je八V,有s=|NnV。|。即每一个领导节点i与r 个跟随者相邻,并且每一个跟随者节点j与s个领导 者相邻。 对于文献[18]中推论4.2:G是一个含有n个 点的连通图,并且n≥3时,如果G有一个(r,s)-齐 次可控向量,则G是条件可控的。 图4具有6个节点的不对称图 如图5,在系统(2)下,令b=[001100],其 Fig.4 The asymmetric graph with 6 vertices 中ieV。={3,4},若i=3,则N,={1,2}且j∈V八V。= 图4是一个在给定点标记下的不对称图,它的 {1,2,5,6},得r=2,即领导节点3与2个跟随者邻 拉普拉斯矩阵为 接,若=1,则N={3},得s=1,即跟随者节点1与1 「2 -1-1 0 0 个领导者邻接。由此称b=[001100]T在图G -13-1 0 -1 0 中是一个(2,1)-齐次可控向量。则根据文献[18] -1-1 4 -1 0 -1 中推论4.2得图G是条件可控的。 L= 00-12 -1 0 图5的拉普拉斯矩阵为 0-10-13 -1 「10-10 0 0 00-10-12 1 -10 0 0 当输入矩阵B=-[e,e2]时,可以求出 -1-13 -1 0 0 L= ank[BLB…LB]<6。此时系统(L,B)是不可控的。 00 -1 3 -1 -1 2.2多信号输入下完全不可控图 0 0 0 -1 2 -1 相对于多信号输入下本质可控图,图对称与否 00 0 -1 -12」
质可控图相矛盾。 所以多输入下本质可控图是不对 称的。 结论得证。 任何少于 6 个点的图都可以改为对称的图。 如 图 3(a)中,5 个点的情况可以改为图 3(b)中对称的 图形。 由此启发可以得到下面的命题。 (a)改变前 (b)改变后 图 3 具有 5 个节点的图 Fig.3 The graph with 5 vertices 命题 2 多输入下本质可控图至少有 6 个点。 证明 根据命题 1,并且由任何不对称的图形 至少有 6 个点得证。 对于系统(1),不对称的图并不都是多输入下 本质可控图。 通过图(4)可以进行验证。 图 4 具有 6 个节点的不对称图 Fig.4 The asymmetric graph with 6 vertices 图 4 是一个在给定点标记下的不对称图,它的 拉普拉斯矩阵为 L = 2 - 1 - 1 0 0 0 - 1 3 - 1 0 - 1 0 - 1 - 1 4 - 1 0 - 1 0 0 - 1 2 - 1 0 0 - 1 0 - 1 3 - 1 0 0 - 1 0 - 1 2 é ë ê ê ê ê ê ê ê ê ù û ú ú ú ú ú ú ú ú 当 输 入 矩 阵 B = [e1 e2] 时, 可 以 求 出 rank B LB … L 5 [ B] <6。 此时系统(L,B)是不可控的。 2.2 多信号输入下完全不可控图 相对于多信号输入下本质可控图,图对称与否 并不与多信号输入下完全不可控图有关联。 对于系 统(1),对称的图并不都是多输入下完全不可控图。 如图 1 为对称图,当 B = [ e2 e4 ]时,根据秩判据,此 时系统可控。 给定图 G,则可以写出图的拉普拉斯矩阵,也可 以求出图的特征值,特征值所对应的特征向量也可 以求出,由此启发,给出下面的命题。 命题 3 图 G 在有重特征值的情况下,对任意 的 B 使得 wi 线性相关,那么这样的图为多信号输 入下完全不可控图。 其中 w T i = u T i B,ui 为重特征值 所对应的特征向量,i = 1,…,n。 证明 根据定理 1,得证。 命题 4 在图 G 中,如果存在一个 L 的特征向 量的转置与 B 的乘积为 0 T q ,则这样的图为多信号输 入下完全不可控图。 证明 根据定理 1,得证。 2.3 多信号输入下条件可控图 在本节中,主要提出文献[18] 中的错误,并举 例进行阐述。 对于文献[18]中的模型(2)实际上是系统(1) 的特殊情况,即单信号输入系统,此时要在系统(2) 下进行分析与讨论文献[18]中的问题。 定义 3 [18] 在图 G = (V,E)中,r,s∈R,称 b∈ R n 在图 G 中是一个( r,s) - 齐次可控向量,如果对 于每一个 i∈Vb,有 r = Ni∩V\Vb ,并且对每一个 j∈V \Vb,有 s = Nj∩Vb 。 即每一个领导节点 i 与 r 个跟随者相邻,并且每一个跟随者节点 j 与 s 个领导 者相邻。 对于文献[18]中推论 4.2:G 是一个含有 n 个 点的连通图,并且 n≥3 时,如果 G 有一个(r,s) -齐 次可控向量,则 G 是条件可控的。 如图 5,在系统(2)下,令 b = [0 0 1 1 0 0] T ,其 中 i∈Vb = {3,4},若 i = 3,则 Ni = {1,2}且 j∈V\Vb = {1,2,5,6},得 r = 2,即领导节点 3 与 2 个跟随者邻 接,若 j = 1,则 Nj = {3},得 s = 1,即跟随者节点 1 与 1 个领导者邻接。 由此称 b = [0 0 1 1 0 0] T 在图 G 中是一个(2,1) -齐次可控向量。 则根据文献[18] 中推论 4.2 得图 G 是条件可控的。 图 5 的拉普拉斯矩阵为 L = 1 0 - 1 0 0 0 0 1 - 1 0 0 0 - 1 - 1 3 - 1 0 0 0 0 - 1 3 - 1 - 1 0 0 0 - 1 2 - 1 0 0 0 - 1 - 1 2 é ë ê ê ê ê ê ê ê ê ù û ú ú ú ú ú ú ú ú 第 5 期 李自强,等:多信号输入下多智能体系统的图可控性分类 ·685·
·686 智能系统学报 第11卷 6 [J].系统科学与数学,2015(3):298-307. LIU Fei,JI Zhijian.Controllability of second-order discrete- time multi-agent systems with time-delay[].Journal of sys- tems science and mathematical sciences,2015(3):298- 307. [5]董洁,纪志坚,王晓晓.多智能体网络系统的能控性代 数条件[J].智能系统学报,2015,10(5):747-754. DONG Jie,JI Zhijian,WANG Xiaoxiao.Algebraic condi- tions for the controllability of multi-agent systems[J].CAAI transactions on intelligent systems,2015,10(5):747-754. 2 「6]晁永翠,纪志坚,王耀威,等.复杂网络在路形拓扑结 图5具有6个节点的对称图 构下可控的充要条件[J].智能系统学报,2015,10(4): Fig.5 The symmetric graph with 6 vertices 577.582. 可以求出它有一个两重的特征值为3。即图5 CHAO Yongcui,JI Zhijian,WANG Yaowei,et al.Necessa- 具有重特征值,根据注释,在单信号输入系统下可以 ry and sufficient conditions for the controllability of complex 得到图G是完全不可控的,显然是矛盾的,所以文 networks with path topology[J].CAAI transactions on intel- 献[18]中推论4.2是错误的。在多信号输入系统 ligent systems,2015,10(4):577-582. 下,更不能通过齐次向量来判断图的条件可控性。 [7]王晓晓,纪志坚.广播信号下非一致多智能体系统的能 控性[J].智能系统学报,2014,9(4):401-406 3结束语 WANG Xioaxiao,JI Zhijian.Controllability of non-identical 本文就多信号输入系统下的可控性分类问题进 multi-agent systems under a broadcasting control signal[J]. 行了详细的研究与分析,并对拉普拉斯矩阵下特征 CAAI transactions on intelligent systems,2014,9(4): 401-406 值和特征向量与可控性的关系进行了阐述和论证, [8]JI M,EGERSTEDT M.A graph-theoretic characterization of 论述了单信号输入系统与多信号输入系统的区别和 controllability for multi-agent systems[C]//Proceeding of 联系,而且纠正了文献[18]中关于齐次可控向量应 the American Control Conference,2007.New York:IEEE, 用在条件可控图上的错误。本文对可控性分类的研 2007:4588-4593. 究方法和结果,为以后研究更复杂的图可控性问题 [9 JIANG Fangcui,WANG Long,XIE Guangming,et al.On 提供了方向和帮助。 the controllability of multiple dynamic agents with fixed to- 参考文献: pology[C]//Proceeding of the American Control Confer- ence,2009.St.Louis,Missouri,USA:IEEE,2009:5665- [1]OLFATI-SABER R,MURRAY R M.Consensus problems in 5670. networks of agents with switching topology and time-delays [10]JI Zhijian,WANG Zidong,LIN Hai,et al.Controllability [J].IEEE transactions on automatic control,2004,49 of multi-agent systems with time-delay in state and switc- (9):1520-1533. hing topology[J].Interational journal of control,2010, [2]JADBABAIE A,LIN J,MORSE A S.Coordination of 83(2):371-386. groups of mobile autonomous agents using nearest neighbor [11]LIU Bo,CHU Tianguang,WANG Long,et al.Controlla- rules[J].IEEE transactions on automatic control,2003, bility of a leader-follower dynamic network with switching 48(6):988-1001. topology [J].IEEE transactions on automatic control, [3]JIZ J,LIN H,LEE T H.Controllability of multi-agent sys- 2008,53(4):1009-1013. tems with switching topology [C]//Proceeding of the 2008 [12]RAHMANI A,JI Meng,MESBAHI M,et al.Controllabil- IEEE Conference on Robotics,Automation and Mechatron- ity of multi-agent systems from a graph-theoretic perspec- ics.Chengdu:IEEE,2008:421-426. tive[J].SIAM journal on control and optimization,2009, [4]刘菲,纪志坚.时滞二阶离散多智能体系统的可控性 48(1):162-186
图 5 具有 6 个节点的对称图 Fig.5 The symmetric graph with 6 vertices 可以求出它有一个两重的特征值为 3。 即图 5 具有重特征值,根据注释,在单信号输入系统下可以 得到图 G 是完全不可控的,显然是矛盾的,所以文 献[18]中推论 4.2 是错误的。 在多信号输入系统 下,更不能通过齐次向量来判断图的条件可控性。 3 结束语 本文就多信号输入系统下的可控性分类问题进 行了详细的研究与分析,并对拉普拉斯矩阵下特征 值和特征向量与可控性的关系进行了阐述和论证, 论述了单信号输入系统与多信号输入系统的区别和 联系,而且纠正了文献[18]中关于齐次可控向量应 用在条件可控图上的错误。 本文对可控性分类的研 究方法和结果,为以后研究更复杂的图可控性问题 提供了方向和帮助。 参考文献: [1]OLFATI⁃SABER 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. [2 ] JADBABAIE A, LIN J, MORSE A S. Coordination of groups of mobile autonomous agents using nearest neighbor rules[ J]. IEEE transactions on automatic control, 2003, 48(6): 988⁃1001. [3]JI Z J, LIN H, LEE T H. Controllability of multi⁃agent sys⁃ tems with switching topology[ C] / / Proceeding of the 2008 IEEE Conference on Robotics, Automation and Mechatron⁃ ics. Chengdu: IEEE, 2008: 421⁃426. [4]刘菲, 纪志坚. 时滞二阶离散多智能体系统的可控性 [J]. 系统科学与数学, 2015(3): 298⁃307. LIU Fei, JI Zhijian. Controllability of second⁃order discrete⁃ time multi⁃agent systems with time⁃delay[J]. Journal of sys⁃ tems science and mathematical sciences, 2015 ( 3): 298⁃ 307. [5]董洁, 纪志坚, 王晓晓. 多智能体网络系统的能控性代 数条件[J]. 智能系统学报, 2015, 10(5): 747⁃754. DONG Jie, JI Zhijian, WANG Xiaoxiao. Algebraic condi⁃ tions for the controllability of multi⁃agent systems[J]. CAAI transactions on intelligent systems, 2015, 10(5): 747⁃754. [6]晁永翠, 纪志坚, 王耀威, 等. 复杂网络在路形拓扑结 构下可控的充要条件[J]. 智能系统学报, 2015, 10(4): 577⁃582. CHAO Yongcui, JI Zhijian, WANG Yaowei, et al. Necessa⁃ ry and sufficient conditions for the controllability of complex networks with path topology[J]. CAAI transactions on intel⁃ ligent systems, 2015, 10(4): 577⁃582. [7]王晓晓, 纪志坚. 广播信号下非一致多智能体系统的能 控性[J]. 智能系统学报, 2014, 9(4): 401⁃406. WANG Xioaxiao, JI Zhijian. Controllability of non⁃identical multi⁃agent systems under a broadcasting control signal[ J]. CAAI transactions on intelligent systems, 2014, 9 ( 4 ): 401⁃406. [8]JI M, EGERSTEDT M. A graph⁃theoretic characterization of controllability for multi⁃agent systems [ C] / / Proceeding of the American Control Conference, 2007. New York: IEEE, 2007: 4588⁃4593. [9]JIANG Fangcui, WANG Long, XIE Guangming, et al. On the controllability of multiple dynamic agents with fixed to⁃ pology [ C] / / Proceeding of the American Control Confer⁃ ence, 2009. St. Louis, Missouri, USA: IEEE, 2009: 5665⁃ 5670. [10]JI Zhijian, WANG Zidong, LIN Hai, et al. Controllability of multi⁃agent systems with time⁃delay in state and switc⁃ hing topology[ J]. International journal of control, 2010, 83(2): 371⁃386. [11]LIU Bo, CHU Tianguang, WANG Long, et al. Controlla⁃ bility of a leader⁃follower dynamic network with switching topology [ J ]. IEEE transactions on automatic control, 2008, 53(4): 1009⁃1013. [12]RAHMANI A, JI Meng, MESBAHI M, et al. Controllabil⁃ ity of multi⁃agent systems from a graph⁃theoretic perspec⁃ tive[J]. SIAM journal on control and optimization, 2009, 48(1): 162⁃186. ·686· 智 能 系 统 学 报 第 11 卷
第5期 李自强,等:多信号输人下多智能体系统的图可控性分类 ·687. [13]MARTINI S,EGERSTEDT M,BICCHI A.Controllability [22]OGREN P,EGERSTEDT M,HU Xiaoming.A control analysis of multi-agent systems using relaxed equitable par- Lyapunov function approach to multiagent coordination titions[J].International journal of systems,control and [C]//Proceedings of the 40th IEEE Conference on Deci- communications,2010,2(1/2/3):100-121. sion and Control.Orlando,Florida,USA:IEEE,2001: [14]CHAPMAN A,MESBAHI M.On symmetry and controlla- 1150-1155. bility of multi-agent systems[C]//Proceeding of the 2014 [23]BIGGS N.Algebraic graph theory M].2nd ed.Cam- IEEE 53rd Annual Conference on Decision and Control. bridge:Cambridge University Press,1993. Los Angeles,CA,USA:IEEE,2014:625-630. [24]王树禾.图论[M].北京:科学出版社,2004 [15]刘金琨,尔联洁.多智能体技术应用综述[J].控制与 [25]CHARTRAND G,ZHANG Ping.图论导引[M].范益政, 决策,2001,16(2):133-140,180. 译.北京:人民邮电出版社,2007:1-17 LIU Jinkun,ER Lianjie.Overview of application of multia- CHARTRAND G,ZHANG Ping.Introduction to graph the- gent technology[J].Control and decision,2001,16(2): ory[M].FAN Yizheng,trans.Beijing:The People's Posts 133-140.180. and Telecommunications Press,2007:1-17. [16]朱战霞,郑莉莉.无人机编队飞行控制器设计[J].飞 作者简介: 行力学,2007,25(4):22-24. 李自强,男,1991年生,硕士研究 ZHU Zhanxia,ZHENG Lili.The controller design of UAV 生,主要研究方向为多智能体系统。 formation flight[J].Flight dynamics,2007,25(4):22- 24. [17]LANE D M,MCFADZEAN A G.Distributed problem sol- ving and real-time mechanisms in robot architectures[J]. Engineering applications of artificial intelligence,1994,7 (2):105-117. 纪志坚,男,1973年生,博士,教授, [18]AGUILAR C O,GHARESIFARD B.Graph controllability 博士生导师,主要研究方向为群体系统 classes for the laplacian leader-follower dynamics [J]. 动力学与协调控制、复杂网络、切换动 IEEE transactions on automatic control,2014,60(6): 力系统的分析与控制、系统生物以及基 1611-1623 于网络的控制系统等。曾主持国家自 [19]TANNER H G.On the controllability of nearest neighbor 然科学基金3项。发表学术论文70余篇 interconnections[C]//Proceeding of the 43rd IEEE Con- 70余篇,其中被SCI检索23篇,EI检索50余篇。 ference on Decision and Control.Nassau,Bahamas: EEE,2004:2467-2472. [20]HONG Yiguang,GAO Lixin,CHENG Daizhan,et al.Lya- 晁永翠,女,1990年生,硕士研究 punov-based approach to multiagent systems with switching 生,主要研究方向为复杂网络的可 jointly connected interconnection[J.IEEE transactions on 控性。 automatic control,2007,52(5):943-948. [21]MOREAU L.Stability of multiagent systems with time-de- pendent communication links[J].IEEE transactions on au- tomatic control,2005,50(2):169-182
然科学基金 3 项。发表学术论文70余篇 [13]MARTINI S, EGERSTEDT M, BICCHI A. Controllability analysis of multi⁃agent systems using relaxed equitable par⁃ titions[ J]. International journal of systems, control and communications, 2010, 2(1 / 2 / 3): 100⁃121. [14]CHAPMAN A, MESBAHI M. On symmetry and controlla⁃ bility of multi⁃agent systems[C] / / Proceeding of the 2014 IEEE 53rd Annual Conference on Decision and Control. Los Angeles, CA, USA: IEEE, 2014: 625⁃630. [15]刘金琨, 尔联洁. 多智能体技术应用综述[ J]. 控制与 决策, 2001, 16(2): 133⁃140, 180. LIU Jinkun, ER Lianjie. Overview of application of multia⁃ gent technology[J]. Control and decision, 2001, 16(2): 133⁃140, 180. [16]朱战霞, 郑莉莉. 无人机编队飞行控制器设计[ J]. 飞 行力学, 2007, 25(4): 22⁃24. ZHU Zhanxia, ZHENG Lili. The controller design of UAV formation flight[ J]. Flight dynamics, 2007, 25( 4): 22⁃ 24. [17]LANE D M, MCFADZEAN A G. Distributed problem sol⁃ ving and real⁃time mechanisms in robot architectures[ J]. Engineering applications of artificial intelligence, 1994, 7 (2): 105⁃117. [18]AGUILAR C O, GHARESIFARD B. Graph controllability classes for the laplacian leader⁃follower dynamics [ J ]. IEEE transactions on automatic control, 2014, 60 ( 6): 1611⁃1623. [19]TANNER H G. On the controllability of nearest neighbor interconnections[C] / / Proceeding of the 43rd IEEE Con⁃ IEEE, 2004: 2467⁃2472. [20]HONG Yiguang, GAO Lixin, CHENG Daizhan, et al. Lya⁃ punov⁃based approach to multiagent systems with switching jointly connected interconnection[J]. IEEE transactions on automatic control, 2007, 52(5): 943⁃948. [21]MOREAU L. Stability of multiagent systems with time⁃de⁃ pendent communication links[J]. IEEE transactions on au⁃ tomatic control, 2005, 50(2): 169⁃182. [ 22] OGREN P, EGERSTEDT M, HU Xiaoming. A control Lyapunov function approach to multiagent coordination [C] / / Proceedings of the 40th IEEE Conference on Deci⁃ sion and Control. Orlando, Florida, USA: IEEE, 2001: 1150⁃1155. [23] BIGGS N. Algebraic graph theory [ M]. 2nd ed. Cam⁃ bridge: Cambridge University Press, 1993. [24]王树禾. 图论[M]. 北京: 科学出版社, 2004. [25]CHARTRAND G, ZHANG Ping. 图论导引[M]. 范益政, 译. 北京: 人民邮电出版社, 2007: 1⁃17. CHARTRAND G, ZHANG Ping. Introduction to graph the⁃ ory[M]. FAN Yizheng, trans. Beijing: The People's Posts and Telecommunications Press, 2007: 1⁃17. 作者简介: 李自强,男,1991 年生,硕士研究 生,主要研究方向为多智能体系统。 纪志坚,男,1973 年生,博士,教授, 博士生导师,主要研究方向为群体系统 动力学与协调控制、复杂网络、切换动 于网络的控制系统等。 曾主持国家 力系统的分析与控制、系统生物以及基 自 ference on Decision and Control. Nassau, Bahamas: 晁永翠,女,1990 年生,硕士研究 生, 主 要 研 究 方 向 为 复 杂 网 络 的 可 控性。 第 5 期 李自强,等:多信号输入下多智能体系统的图可控性分类 ·687· 70 余篇,其中被 SCI 检索 23 篇,EI 检索 50 余篇