In this paper, the concept of consensus is generalized to weighted consensus, by which the conventional consensus, the bipartite consensus, and the cluster consensus problems can be unified in the proposed weighted consensus frame. The dynamics of agents are modeled by the general linear time-invariant systems. The interaction topology is modeled by edge- and node-weighted directed graphs. Under both state feedback and output feedback control strategies, the weighted consensus problems are transformed into the equivalent conventional consensus problems. Then, some distributed state feedback and output feedback protocols are proposed to solve the weighted consensus problems. For output feedback case, a unified frame to construct the state-observer-based weighted consensus protocols is proposed, and different design approaches are discussed. As special cases, some related results for bipartite consensus and cluster consensus can be obtained directly. Finally, a simple example is given to illustrate the effectiveness of our proposed approaches.
Natural Science Foundation of Zhejiang ProvinceLY17F030003LY15F030009National Natural Science Foundation of China615013311. Introduction
Synchronization phenomena were observed in different fields, such as synchronization of oscillators, swarms of birds, schools of fish, and robot rendezvous [1–5]. Synchronization is one of the fundamental aspects of self-organization in networks of systems. Many interesting results have been obtained. The analysis and control of the synchronized states thus becomes an interesting task. Recently, more and more researchers are putting their attention on consensus control, and it is well accepted as one of the most important and fundamental issues in the fields of coordination control for multiagent systems, which aims to develop distributed control policies that enable a group of agents to reach an agreement on some quantities [6].
The pioneering work [6] gave the theoretical explanation for the consensus behavior of the well-known Vicsek’s model. Till now, a great number of interesting and useful results have been established for the consensus problems with different agent’s dynamics, including first-order systems [6–8], second-order systems [9], general linear system [10–12], descriptor system [13], discrete-time systems [14], time-delay systems [15], fractional-order systems [16], and nonlinear system [17]. In many practical systems, some state variables cannot be obtained directly due to the technical constraints or economic cost. In this case, state observers may be adopted to estimate those unmeasurable state variables. The observer-based consensus protocols were investigated extensively [9–14].
The conventional consensus is achieved through collaboration, which normally focuses on cooperative systems. Since only collaborative interactions are considered in the systems, the edge weights of the interaction topology among agents are assumed to be nonnegative. When both collaborative and antagonistic interactions coexist within a group of agents, the interaction topology can be more suitably modeled by signed graphs, in which a positive edge means collaboration and a negative edge represents an antagonistic interaction [18]. Signed graphs can be applied in scenarios of social networks, predator-prey dynamics, and biological systems [19–21]. Based on conventional consensus theory, the bipartite consensus problem based on signed graph was introduced by the authors in [18]. The bipartite consensus problem of first-order multiagent systems under directed signed graphs was discussed in [22]. A state feedback bipartite consensus law was proposed for linear time-invariant (LTI) single-input systems in [23]. The equivalence of bipartite consensus and conventional consensus under state feedback and output control laws were discussed in [24]. A unified framework for bipartite output synchronization of heterogeneous linear multiagent systems was proposed in [25]. In [26], the authors discussed the effects of measurement noises on bipartite consensus problem with first-order multiagent systems under undirected signed graphs. An adaptive bipartite consensus was proposed for high-order multiagent systems with unknown disturbances in [27]. An adaptive protocol was proposed in [28] to solve the bipartite output consensus problem over signed graphs. The sign consensus problem and bipartite sign consensus problem under signed graphs have been discussed in [29]. The bipartite containment tracking problem for leader-following networks associated with signed digraphs was addressed in [30]. Most previous investigations of the interaction topology have focused on edge-weighted graphs, and node weights have been largely neglected. In [31], an algorithmic technique was proposed to deal with the graph covering problem in node-weighted graphs.
Cluster synchronization requires that the system splits into several clusters and synchronization occurs in each cluster, which can find many applications in biological, social, and technological networks. In [32], some sufficient conditions were proposed to guarantee the cluster synchronization. An intermittent control law was proposed to solve cluster synchronization problem in [33]. Cluster synchronization problem of linear multiagent systems was investigated via a pinning control strategy under directed interaction topology in [34]. An adaptive pinning control strategy for cluster synchronization problem was proposed in [35]. The couple-group consensus for the discrete-time heterogeneous MASs with input and communication time delays was investigated in [36].
Motivated by the above studies, especially by [24], this paper considers the distributed weighted consensus problem for multiagent systems with general continuous-time linear dynamics. The main contributions of this paper are listed as follows: (1) We first propose weighted consensus problem, which generalizes the concept of conventional consensus to weighted consensus case. The conventional, bipartite, and cluster consensus problems can be unified in our given weighted consensus frame. (2) To solve weighted consensus problem, the edge- and node-weighted digraph is adopted to model the interaction topology among agents, by which the distributed protocol to solve the weighted consensus problem is provided. (3) The equivalence between weighted consensus and conventional consensus is established, by which most conventional consensus protocols can be generalized to solve the weighted consensus problem directly. Since the conventional, bipartite, and cluster consensus problems can be unified in our given weighted consensus frame, the established results for the weighted consensus problem can be applied to solve the conventional, bipartite, and cluster consensus problems directly. For output feedback case, we propose a unified frame to construct the state-observer-based weighted consensus protocols, which extends the existed results of [10–12] even in conventional consensus case.
The rest of the paper is organized as follows. In Section 2, the considered weighted consensus problem is formulated with the help of graph theory. Then, the equivalence between weighted consensus and conventional consensus is discussed in Section 3. The distributed weighted state feedback consensus protocols and output feedback consensus protocols are proposed in Section 4. The observer’s gain matrix construct approaches and the bipartite consensus case are discussed in Section 5. Following that, Section 6 provides a numerical example to illustrate our established results, and finally, the concluding remarks are given in Section 7.
The notations of this paper are standard. Let Rm×n be the set of m×n real matrices. The real part of complex number s is denoted by Res. 1n=1,…,1T∈Rn. In represents the identity matrix with dimension n. AT and AH represent transpose and conjugate transpose of matrix A, respectively. RankA represents the rank of matrix A. diagg1,g2,…,gn represents a diagonal matrix with diagonal elements gii=1,2,…,n. Matrix A is called Hurwitz matrix if every eigenvalue of A has strictly negative real part. λiA represents i-th eigenvalue of A. ⊗ denotes the Kronecker product.
2. Preliminaries and Problem Formulation2.1. Interaction Topology
To formulate our considered problem, the interaction topology of the multiagent systems is modeled by a simple edge- and node-weighted digraph G. Let G=V,Ε,W,A be an edge- and node-weighted digraph with node set V=υ1,υ2,…,υN, edge set Ε⊂V×V, a vector W=w1,w2,…,wN with (wii=1,2,…,N) being the weight associated to node i, and a nonnegative weighted adjacency matrix A=aij∈RN×N. aij>0 if and only if νj,νi∈Ε, and aij=0 otherwise. We do not consider the graph with self-loops, that is, all aii=0. When the node-weight is neglected, the edge- and node-weighted digraph degenerates to the normal digraph. The neighbor set of node υi is denoted by Ni=jυi,υj∈Ε. The degree matrix of graph G is C=diag∑j∈N1a1j,∑j∈N2a2j,…,∑j∈NNaNj. Then, the Laplacian matrix of G is defined as L=C−A, which has the following property:
Lemma 1 (see [8]).
Zero is an eigenvalue of L with 1 as a right eigenvector, and all nonzero eigenvalues have positive real parts. Furthermore, zero is a simple eigenvalue of L if and only if G has a directed spanning tree.
2.2. Weighted Consensus
The considered multiagent system is composed of N agents, whose dynamics is assumed to be modeled by a linear time-invariant system (LTI).(1)x˙i=Axi+Bui,yi=Cxi,where xi∈Rn, yi∈Rq, and ui∈Rp are the state, measured output, and control input of agent i, respectively. A, B, and C are constant system matrices with compatible dimensions. Throughout this paper, we always assume that A,B is stabilizable and A,C is detectable. Without loss of generality, we assume that matrix C is full row rank, that is, rankC=q.
Definition 1 (weighted consensus).
Multiagent system (1) achieves weighted consensus with weights w1,w2,…,wN if there exists some nontrivial trajectory x∗t such that limt⟶∞xit=wix∗t, ∀i=1,2,…,N.
From Definition 1, it is easy to see that multiagent system (1) achieves weighted consensus with weights w1,w2,…,wN if the states of all agents satisfy that(2)limt⟶∞1wixit−1wjxjt=0,∀i,j=1,2,…,N.
We say the protocol uit can solve the weighted consensus problem, if the closed-loop feedback system achieves weighted consensus. Our main objective is to construct the distributed control law uit to solve the weighted consensus problem.
Definition 2 (conventional consensus [6]).
Multiagent system (1) achieves conventional consensus if there exists some nontrivial trajectory x∗t such that limt⟶∞xit=x∗t, ∀i=1,2,…,N.
Obviously, while all weights are taken by wi=1, weighted consensus problem reduces to the well-known conventional consensus problem. Till now, the conventional consensus problems have been widely investigated by many researchers, and numerous interesting and useful results have been obtained.
Definition 3 (bipartite consensus [18]).
Multiagent system (1) achieves bipartite consensus if there exists some nontrivial trajectory x∗t such that limt⟶∞xit−x∗t=0, ∀i∈P and limt⟶∞xjt+x∗t=0, ∀j∈Q where P∪Q=1,2,…,N and P∩Q=∅.
The signed graph G=V,Ε,A¯ was introduced by [18] to probe the bipartite consensus problem. In contrast to the normal weighted digraph, the weight a¯ij associated with edge vi,vj can be negative. Let the signature matrices set as D=diagσ1,σ2,…,σNσi∈−1,1. A signed directed graph G is structurally balanced if and only if ∃D∈D, such that DA¯D is a nonnegative matrix. To achieve bipartite consensus, G is required to be structurally balanced [18]. Based on the above analysis, we have the following lemma.
Lemma 2.
If a signed graph G is structurally balanced, then ∃D∈D such that G can be modeled by a simple edge- and node-weighted digraph G=V,Ε,W,A with W=D and nonnegative weighted matrix A=DA¯D.
It is easy to see that while the weights are taken by wi=1, ∀i∈P and wj=−1, ∀j∈Q, the weighted consensus problem degenerates to the bipartite consensus problem. Thus, the bipartite consensus can be unified in the frame of weighted consensus. By our proposed approach, the bipartite consensus problems of [18, 22–24] can be translated into the equivalent conventional consensus problems to be addressed. By our established results, some results of [18, 22–24] can be obtained directly.
Let I1,I2,…,Iq be a partition of the set I=1,2,…,N. If Ii≠∅, ∪i=1qIi=I, and Ii∩Ij=∅ for i≠j, i,j∈I, the partition is called as cluster partition. For i∈I, let i^ be the subscript of the subset in which the number i is, i.e., i∈Ii^.
Definition 4 (cluster consensus [32]).
Multiagent system (1) achieves cluster consensus with partition I1,I2,…,Iq if the agent’s states satisfy limt⟶∞xit−xjt=0, i^=j^ and limt⟶∞xit−xjt≠0, i^≠j^.
Let w1,w2,…,wq be weight set associated with cluster partition I1,I2,…,Iq. When the multiagent system achieves the weighted consensus, the multiagent system must achieve cluster consensus. Thus, our proposed approaches for weighted consensus problem can be used to solve the cluster consensus problem directly.
3. Equivalence between Weighted Consensus and Conventional Consensus
For multiagent systems, we will pay more attention to the distributed control protocols. To solve the conventional consensus problem, the authors in [7] proposed a general form of the distributed state feedback for first-order multiagent systems. Similarly, for weighted consensus problem, the state feedback protocol for agent i is said to be distributed if it has the form(3)ui=fixi,xj,wi,wj,aijj∈Ni.
While the state information cannot be available directly, the distributed output feedback protocol is considered, which has the form(4)ui=fiyi,yj,wi,wj,aijj∈Ni.
In this section, while the state feedback and output feedback control protocols have a particular form, we will prove that the weighted consensus problem is equivalent to the conventional consensus problem. Furthermore, a systematic design approach can be provided to construct weighted consensus protocols from the well-investigated conventional consensus problems.
3.1. Equivalence via State Feedback Law
We first introduce the state feedback problems related with weighted consensus problem and conventional consensus problem.
Problem 1 (state feedback weighted consensus).
Consider a multiagent system (1) under a directed interaction topology G with node weights w1,w2,…,wN, whose interaction topology contains a directed spanning tree. The closed-loop multiagent system can achieve weighted consensus via a distributed state feedback protocols with the form(5)ui=wifi1wixi,1wjxjj∈Ni,aij,where fi∈Rp is the given vector function.
Problem 2 (state feedback conventional consensus).
Consider the following multiagent system(6)ξ˙i=Aξi+Bu¯i,ζi=Cξi,i=1,2,…,N,under a directed interaction topology G, whose interaction topology contains a directed spanning tree. The closed-loop multiagent system can achieve conventional consensus via a distributed state feedback protocol with the form(7)u¯i=fiξi,ξjj∈Ni,aij.
The equivalence between Problem 1 and Problem 2 is given in the following theorem.
Theorem 1.
The state feedback weighted consensus problem (Problem 1) is equivalent to the state feedback conventional consensus problem (Problem 2), that is, if the distributed state feedback protocol (7) can solve Problem 2, then it means that the distributed state feedback protocol (5) can also solve Problem 1, and vice versa.
Proof.
For Problem 1, it is not too difficult to rewrite the dynamics for closed-loop system as(8)x˙=IN⊗Ax+IN⊗BW⊗IpfW−1⊗Inx,A,where x=x1T,x2T,…,xNTT, W=diagw1,w2,…,wN, and f=f1T,f2T,…,fNTT. On the contrary, for Problem 2, the dynamics for closed-loop system can be rewritten as(9)ξ˙=IN⊗Aξ+IN⊗Bfξ,A,where ξ=ξ1T,ξ2T,…,ξNTT.
For simplicity, we use the same notation to define a state transformation ξ=W−1⊗Inx. It follows the from (8) that(10)ξ˙=W−1⊗InIN⊗Ax+IN⊗BW⊗IpfW−1⊗Inx,A=IN⊗Aξ+IN⊗Bfξ,A,which is exactly the closed-loop dynamics (9) for Problem 2. Thus, it is easy to see that if the protocol (7) can solve Problem 2, then the protocol (5) can also solve Problem 1. Since Problem 2 is a special case of Problem 1, the converse part is self-evident.
3.2. Equivalence via Dynamical Output Feedback Law
Since the state of agent i is not available directly, only the output yi can be used in the control protocols. To achieve the control objective, state observers are adopted to estimate the unmeasured states.
Problem 3 (dynamical output feedback weighted consensus).
Consider a multiagent system (1) under a directed interaction topology G with node weights w1,w2,…,wN, whose interaction topology contains a directed spanning tree. The closed-loop multiagent system can achieve weighted consensus via a distributed observer-based protocols with the form(11)z˙i=wigi1wiyi,1wjyjj∈Ni,1wizi,1wjzjj∈Ni,aij,x^i=wih1wiyi,1wjyjj∈Ni,1wizi,1wjzjj∈Ni,aij,ui=wifi1wix^i,1wjx^jj∈Ni,aij,where zi and x^i are the state estimation and output estimation for agent i, respectively.
Problem 4 (dynamical output feedback conventional consensus).
Consider a multiagent system (6) under a directed interaction topology G, whose interaction topology contains a directed spanning tree. The closed-loop multiagent system can achieve conventional consensus via a distributed state feedback protocol with the form(12)η˙i=giζi,ζjj∈Ni,ηi,ηjj∈Ni,aij,ξ^i=hζi,ζjj∈Ni,ηi,ηjj∈Ni,aij,u¯i=fiξ^i,ξ^jj∈Ni,aij,where ηi and ξ^i are the state estimation and output estimation for agent i, respectively.
Similarly, Problem 3 is equivalent to Problem 4. The proof is omitted because it is very similar to that of Theorem 1.
Theorem 2.
The dynamical output feedback weighted consensus problem (Problem 3) is equivalent to the dynamical output feedback conventional consensus problem (Problem 4), that is, if the distributed state feedback protocol (12) can solve Problem 4, the it means that the distributed state feedback protocol (11) can also solve Problem 3, and vice versa.
4. Distributed Weighted Consensus Protocol4.1. State Feedback Protocol
In this subsection, we investigate weighted consensus problem via state feedback control law. The state feedback protocol for agent i is taken as(13)ui=cwiK∑j∈Niaij1wixi−1wjxj,where c is the positive coupling strength and K∈Rp×n is the feedback gain matrix.
Theorem 3.
Consider a multiagent system (1) under a directed interaction topology G with node weights w1,w2,…,wN, whose interaction topology contains a directed spanning tree. Take(14)K=−R−1BTP,with P being the unique positive definite solution of the Riccati equation(15)PA+ATP−PBR−1BTP+Q=0,where Q and R are given positive definite matrices with appropriate dimensions, and the coupling strength c is selected to satisfy(16)c≥12minλiL≠0ReλiL.
Then, the multiagent system achieves weighted consensus via the proposed protocol (13).
Proof.
According to the equivalence between Problem 1 and Problem 2, this result can be obtained directly from the related result for the conventional consensus in [11].
Remark 1.
While all nodes’ weights wi, i=1,2,…,N, are taken same constant the protocol (13) degenerates to the well-known conventional state consensus protocol ui=cK∑j∈Niaijxi−xj, which has been discussed in many studies. Here, the feedback gain matrix K and the convergence condition for c are same as those in [11]. Unfortunately, the eigenvalue of the Laplacian matrix involved in (16) depends on the entire communication graph and belongs to the global information, which implies that the proposed protocols might not be implemented in a fully distributed fashion. To overcome this limitation, the adaptive parameter approach can be adopted to solve this problem (see [37–39]). By following the line of the equivalence result presented in Section 3, the adaptive parameter laws of [37–39] can be modified to solve the weighted consensus problem.
4.2. Output Feedback Protocol via Local Observer
The weighted consensus proposed for agent i is proposed with the form(17)z˙i=Fizi+Giyi+TiBui,x^i=Mizi+Niyi,ui=cwiK∑j∈Niaij1wix^i−1wjx^j,where zi is the observer’s state and x^i is the estimated state of xi.
Theorem 4.
Consider a multiagent system (1) under a directed interaction topology G with node weights w1,w2,…,wN, whose interaction topology contains a directed spanning tree. Gain matrixes Fi, Gi, Ti, Mi, and Ni are chosen to satisfy the following condition:(18)iTiA−FiTi=GiC,iiMiTi+NiC=I,iiiFi is a Hurwitz matrix.
The coupling strength and feedback gain matrix K are chosen as (16) and (14), respectively. Then, the multiagent system can achieve weighted consensus via the distributed protocols (15).
Proof.
Take variable transformation ξi=1/wixi, ξ^i=1/wix^i, ζi=1/wiyi, and ηi=1/wizi. According to the equivalence between Problem 3 and Problem 4, the result of Theorem 4 can be obtained if the following protocol(19)η˙i=Fiηi+Giζi+TiB¯ui,ξ^i=Miηi+Niζi,u¯i=cK∑j∈Niaijξ^i−ξ^j,can solve the conventional consensus problem for the multiagent system (6) with same coupling strength c and gain matrices K, Fi, Gi, Ti, Mi, and Ni.
Let εi=ηi−Tiξi and ei=ξ^i−ξi. From (6), (18), and (19), we have(20)ε˙i=Fiηi+Giζi+TiBu¯i−TiAξi+Bu¯i=Fiεi+GiC−TiA+FiTiξi=Fiεi.
From (17) and (18), we have(21)ei=Miηi+Niζi−MiTi+NiCξi=Miεi,
From (1), (19), and (21), we have(22)ξ˙i=Aξi+Bu¯i=Aξi+cBK∑j∈Niaijξ^i−ξ^j=Aξi+cBK∑j∈Niaijξi−ξj+cBK∑j∈Niaijei−ej=Aξi+cBK∑j∈Niaijξi−ξj+cBK∑j∈NiaijMiεi−Mjεj.
Denote i-th column of Laplacian matrix L by Li. Let ε=ε1T,…,εNTT. Then, by (20) and (22), the equivalent dynamics of the closed-loop system can be expressed in a compact form as follows:(23)ddtξε=I⊗A+cL⊗BKL1⊗BKM1⋮LN⊗BKMN0diag F1,…,FNξε.
Since L1=0, there exists a Schur orthogonal matrix with the form U=1/N1,U1 such that(24)UTLU=0∗⋯∗0λ2⋯∗⋮⋮⋱⋮00⋯λn≜0l10L1.
By using variable substitution ξ¯=UT⊗Ix to system (23), we have(25)ddtξ¯ε=I⊗A+c0l10L1⊗BK∗0diagF1,…,FNξ¯ε,from which a subsystem can be obtained with the form(26)dtdξ¯1ε=I⊗A+cL1⊗BK∗0diagF1,…,FNξ¯1ε,where ξ¯=ξ¯0T,ξ¯1TT with ξ¯0 being its first n components.
According to Lemma 1, all λi≠0 and Reλi>0 (i=12,…,N). It follows the from (16) that 2cReλiL≥2cminλiL≠0ReλiL≥1. From (14) and (15), we have(27)A+cλiBKHP+PA+cλiBK=ATP+PA−cλi+λiHPBR−1BTP=−Q−2cReλi−1PBR−1BTP≤−Q<0,which implies that A+cλiBK (i=2,3,…,N) are stable. Noticing that (28)I⊗A+cL1⊗BK=A+cλ2BK∗⋯∗0A+cλ3BK⋯∗⋮⋮⋱⋮00⋯A+cλNBK.we know that I⊗A+cL1⊗BK is stable. On the contrary, all Fi are stable. Thus, system (26) is also stable, which implies limt⟶∞ξ¯1=0. Moreover, we have(29)ξt−1N1⊗ξ¯0t=1N1⊗I,U1⊗Iξ¯0tξ¯1t−1N1⊗ξ¯0t=1N1⊗I,U1⊗I0ξ¯1t⟶0, as t⟶∞,which means limt⟶∞ξi−ξj=0. Thus, the multiagent system (6) achieves consensus via protocol (19).
According to the equivalence between Problem 3 and Problem 4, the multiagent system (1) can achieve weighted consensus via the distributed protocols (17). Now, the proof is completed.
4.3. Output Feedback Protocol via Cooperative Observer
Suppose that each agent can only obtain the relative input and output measurements with its neighbors.
Then, the weighted consensus proposed for agent i is proposed with the form(30)z˙i=Fizi+wiGi∑j∈Niaij1wiyi−1wjyj+cwiTiBK∑j∈Niaij1wix^i−1wjx^j,x^i=Mizi+wiNi∑j∈Niaij1wiyi−1wjyj,ui=cKx^i,where zi is the observer’s state and x^i is the estimated output.
Theorem 5.
Consider a multiagent system (1) under a directed interaction topology G with node weights w1,w2,…,wN, whose interaction topology contains a directed spanning tree. Gain matrixes Fi, Gi, Ti, Mi, and Ni are chosen to satisfy condition (18). The feedback gain matrix K is chosen as (14), and the coupling strength is selected to satisfy (16). Then, the multiagent system can achieve weighted consensus via the distributed protocols (30).
Proof.
Similarly, take variable transformation ξi=1/wixi, ξ^i=1/wix^i, ζi=1/wiyi, and ηi=1/wizi. According to the equivalence between Problem 3 and Problem 4, the result of Theorem 4 can be obtained if the following protocol(31)η˙i=Fiηi+Gi∑j∈Niaijζi−ζj+cTiBK∑j∈Niaijξ^i−ξ^j,ξ^i=Miηi+Ni∑j∈Niaijζi−ζj,u¯i=cKξ^,can solve the conventional consensus problem for the multiagent system (6) with the same coupling strength c and gain matrices K, Fi, Gi, Ti, Mi, and Ni.
Let εi=ηi−Ti∑j∈Niaijξi−ξj and ei=ξ^i−∑j∈Niaijξi−ξj. From (6), (18), and (31), we have(32)ε˙i=Fiηi+Gi∑j∈Niaijζi−ζj+cTiBK∑j∈Niaijξ^i−ξ^j−Ti∑j∈NiaijAξi−Aξj+Bu¯i−Bu¯j=Fiεi+GiC−TiA+FiTi∑j∈Niaijξi−ξj=Fiεi.
From (30) and (18), we have(33)ei=Miηi+Ni∑j∈Niaijζi−ζj−MiTi+NiC∑j∈Niaijξi−ξj=Miεi,
From (1), (31), and (33), we have(34)ξ˙i=Aξi+Bu¯i=Aξi+cBKξ^=Aξi+cBK∑j∈Niaijξi−ξj+cBKei=Aξi+cBK∑j∈Niaijξi−ξj+cBKMiεi.
Then, from (20) and (22), the equivalent dynamics of the closed-loop system can be expressed as (35)ddtξε=I⊗A+cL⊗BKdiagcBKM1,…,cBKMN0diagF1,…,FNξε.
The rest proof is omitted because it is very similar to that of Theorem 4.
Remark 2.
Based on the proof process of Theorem 4, we know that the following dynamical estimator(36)z˙i=Fizi+Giyi+TiBui,x^i=Mizi+Niyi,is the state observer to estimate the state xi. Similarly, according to the proof process of Theorem 5, the dynamical estimator with the form (37)z˙i=Fizi+wiGi∑j∈Niaij1wiyi−1wjyj+cwiTiBK∑j∈Niaij1wix^i−1wjx^j,x^i=Mizi+wiNi∑j∈Niaij1wiyi−1wjyj,is the state observer to estimate the relative weighted state information of its neighbors ∑j∈Niaij1/wixi−1/wjxj. Most existed references adopted the observers with identical gain matrices for all agents. According to Theorems 4 and 5, different agents can choose observers with different gain matrices which only satisfy condition (18). Thus, all observers can be designed parallelly. The solvability of condition (18) is discussed in the next section.
5. More Discussions5.1. Gain Matrix Construct Approach for Observer
In the sequel, we present some special solutions of condition (18). Correspondingly, the consensus protocols can be obtained from (17). For brevity, we adopt identical observers for all agents here. Certainly, the agents can equip observer with different forms.
Special Case 1.
Take T=I, N=0, M=I, and H=TB. Then, F=A−GC. Since A,C is observable, it is easy to choose G such that F is stable. Then, a kind of distributed full-order observer-based consensus protocols are obtained as(38)z˙i=A−GCzi+Gyi+Bui,ui=cwiK∑j∈Niaij1wizi−1wizj.
Special Case 2.
Select a Hurwitz matrix F∈Rn×n with a set of desired eigenvalues that contains no eigenvalues in common with those of A. Solve Sylvester equation TA−FT=GC to get a nonsingular matrix T. If T is singular, select another G to solve Sylvester equation until T is nonsingular. Take N=0, M=T−1, and H=TB. Then, another kind of distributed full-order observer-based consensus protocols are obtained as (39)z˙i=Fzi+Gyi+TBui,ui=−cwiK∑j∈Niaij1wizi−1wjzj,
Special Case 3. Without lost of generalization, C is assumed to have full row rank q. Select a Hurwitz matrix F∈Rn−q×n−q with a set of desired eigenvalues that contains no eigenvalues in common with those of A. Select G∈Rs×q randomly such that F,G is controllable. Solve Sylvester equation TA−FT=GC to get matrix T until CT is nonsingular, otherwise select another G. Let CT−1=Q1,Q2, where Q1∈Rn×q and Q2∈Rn×n−q. Take M=Q2, N=Q1, and H=TB. Then, a kind of distributed reduce-order observer-based consensus protocols are obtained as(40)z˙i=Fzi+Gyi+THui,ui=−cwiKQ2∑j∈Niaij1wizi−1wjzj+Q1∑j∈Niaij1wiyi−1wjyj.
Special Case 4.
C is assumed to have full row rank q. Select T∈Rn−q×n such that CT1 is nonsingular. Let CT1−1=Q1,Q2, where Q1∈Rn×q and Q2∈Rn×n−q. Thus, we know that Q1C+Q2T1=I. While A,C is detectable, we can prove that T1AQ2,CAQ2 is also detectable. Then, choose G1 such that T1AQ2−G1CAQ2 is stable. Take F=T1AQ2−G1CAQ2 and T=T1−G1C. Then, we have TA−FT=T1A−G1CA−T1AQ2T1+G1CAQ2T1−T1AQ2G1C+G1CAQ2G1C=T1AQ1C+G1CAQ1C−T1AQ2G1C+G1CAQ2G1C, from which G is chosen as G=T1AQ1+G1CAQ1−T1AQ2G1+G1CAQ2G1 such that TA−FT=GC is satisfied. Obviously, take M=Q2 and N=Q1+Q2G1, which satisfies MT+NC=I. Then, another kind of distributed reduce-order observer-based consensus protocols are obtained as(41)z˙i=T1AQ2−G1CAQ2zi+T1AQ1+G1CAQ1−T1AQ2G1+G1CAQ2G1yi+T1−G1CBui,ui=−cwiKQ2∑j∈Niaij1wizi−1wjzj+Q1∑j∈Niaij1wiyi−1wjyj.
Remark 3.
Based on the above analysis, the observer’s gain matrices involved in (38)–(41) satisfy condition (18). According to Theorem 4, while interaction topology G contains a directed spanning tree, c≥1/2minλiL≠0ReλiL and K=BTP, the weighted consensus problem can be solved via all kinds of protocols (38)–(41), respectively. Certainly, based on the protocol (30), we can also provide special kinds of protocols as (38)–(41). Some conventional consensus protocols discussed by [10–12] can be unified in our proposed protocol (17). By using our proposed design approach, the protocol containing a neighbor-based controller together with a neighbor-based observer proposed in [11] can also be generalized to solve the weighted consensus problem easily.
5.2. Bipartite Consensus under Signed Graph
In [18,22–24], the bipartite consensus problem under signed graphs was addressed. When the signed graph G=V,Ε,A¯ is structurally balanced, there exists ∃D=σ1,σ2,…,σN∈D such that DA¯D is a nonnegative matrix, by which an edge- and node-weighted digraph G=V,Ε,W,A with W=D and A=DA¯D=a¯ijN×N can be constructed. When interaction topology modeled by a signed graph, all σi (i=1,2,…,N) are unknown. It follows from the nonnegative matrix A=DA¯D that a¯ijσiσj=aij. Then, we know that sgna¯ij=σiσj=σi/σj. Thus, the protocol (13) can be expressed as follows:(42)ui=cK∑j∈Nia¯ijxi−sgna¯ijxj.
This protocol was proposed in [24] to solve the bipartite consensus problem under structurally balanced signed graphs.
Furthermore, by using a similar approach to (17) and (30), the following two protocols are obtained to solve the bipartite consensus problem under signed graphs(43)z˙i=Fizi+Giyi+TiBui,x^i=Mizi+Niyi,ui=cK∑j∈Niaijx^i−sgna¯ijx^j,(44)z˙i=Fizi+Gi∑j∈Niaijyi−sgna¯ijyj+cTiBK∑j∈Niaijx^i−sgna¯ijx^j,x^i=Mizi+Ni∑j∈Niaijyi−sgna¯ijyj,ui=cKx^i.
According to Theorems 4 and 5, the following result can be obtained directly.
Corollary 1.
Consider a multiagent system (1) under the signed directed graph G¯A. Suppose that G¯A is structurally balanced and contains a directed spanning tree. Gain matrixes Fi, Gi, Ti, Mi, and Ni are chosen to satisfy condition (18). The coupling strength and feedback gain matrix K are chosen as (16) and (14), respectively. Then, the two distributed protocols (43) and (44) can solve the bipartite consensus problem.
6. Numerical Example
Consider a multiagent system with six agents labeled by i=1,2,…,6, whose dynamics is modeled by the third-order integrator system(45)x˙i=Axi+Bui,yi=Cxi,where(46)A=010001000,B=001,C=100010.
The kinematic model of several real physical and mechanical systems can be transformed into the integrators system.
By taking a positive definite matrix Q=17/247/2141541517, solve the Riccati equation (15) to get the unique positive definite solution P=1/211144145. Then, K=BTP=1,4,5.
The interaction topology G¯ is directed and contains a directed spanning tree, whose Laplacian matrix is given by(47)L=200−1−1004−20−200−25−20−1−20−2400−1−2005−200−10−23.
By simple calculation, take c=0.5, which satisfies c≥1/2minλiL≠0ReλiL. When all node weight wi are taken same, it is easy to see that all wi adopted in the protocols (13), (17), and (30) can be removed. Then, the protocols (13), (17), and (30) degenerate to the conventional consensus protocols, which have been discussed in many studies [10–12].
Here, we only discuss the case that the node weights are different. The weighted vector is chosen as W=1,−1,2,1,2,−1, by which six agents are divided into three groups x1,x4, x2,x6, and x3,x5. According to Definition 1, when the system achieves weighted consensus, each group converges to the same value, the consensus value of group x3,x5 is double the consensus value of group x1,x4, and the consensus values of group x2,x6 and group x1,x4 are opposite numbers. By using the state feedback protocol (13) to solve the weighted consensus problem, the trajectories of xi,1, xi,2, and xi,3 (i=1,2,…,6) are depicted in Figures 1–3, respectively, which shows that the multiagent system can achieve weighted consensus.
Trajectories of xi,1 via protocol (13).
Trajectories of xi,2 via protocol (13).
Trajectories of xi,3 via protocol (13).
When the output feedback can be used in the protocols, we can use condition (18) to compute gain matrices involved in the protocols. By using the design approach proposed in subsection 5.1, four different observers including two full-order observers and two reduced-order observers are adopted for the six agents, whose gain matrices are taken as F1=F5=−310−301−100, G1=G5=303010, M1=M5=I, N1=N5=0, T1=T5=I, F2=−310−8/3010−1/30, G2=308/3001/3, M2=I, N2=0, T2=I, F3=F6=−1, G3=G6=0,−1, M3=M6=001, N3=N6=100101, T3=T6=0,−1,1, F4=−1, G4=−1,−2, M4=001, N4=100111, T4=−1,−1,1.
The weighted consensus protocols via local observers (17) are used to solve the weighted consensus problem. The trajectories of xi,1, xi,2, and xi,3 (i=1,2,…,6) are depicted in Figures 4–6, respectively, which shows that the consensus values are compatible with the weighted vector W=1,−1,2,1,2,−1. Although four different observers are adopted, the multiagent system also achieves weighted consensus.
Trajectories of xi,1 via protocol (17).
Trajectories of xi,2 via protocol (17).
Trajectories of xi,3 via protocol (17).
The weighted consensus protocols via cooperative observers (30) are used to solve the weighted consensus problem. The trajectories of xi,1, xi,2, and xi,3 (i=1,2,…,6) are depicted in Figures 7–9, respectively, which also show that the multiagent system achieves weighted consensus.
Trajectories of xi,1 via protocol (30).
Trajectories of xi,2 via protocol (30).
Trajectories of xi,3 via protocol (30).
7. Conclusion
In this paper, the concept of consensus was generalized to weighted case. The conventional consensus, bipartite consensus, and cluster consensus problems can be unified in our proposed weighted problem frame. To solve our proposed problem, the edge- and node-weighted digraph is used to describe the interaction topology, which is different to the conventional consensus and bipartite consensus cases. The equivalence between the conventional consensus problems and the weighted consensus problems provides an approach to construct the weighted consensus protocols. For linear multiagent systems, both state feedback and state-observer-based protocols were provided to solve the weighted consensus problem. By our proposed approaches, the involved feedback gain matrix and the observer’s gain matrices are decoupled to the interaction topology. The algebraic Riccati equation are used to design the feedback gain matrix. The unified form of full-order and reduced-order observers was given in our proposed protocols, and an algebraical condition was established. Furthermore, all agents can adopt different forms of state observers, which means that the state observers can be designed parallelly. Since the bipartite consensus and cluster consensus problems can be viewed as the special cases, our proposed method can be applied to solve the bipartite consensus and cluster consensus problems directly. More generalized cases such as uncertain dynamics, time delays, and adaptive control will be probed in our future work.
Data Availability
The data used to support the findings of this study are available from the corresponding author upon request.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Acknowledgments
This work was supported by the Zhejiang Provincial Natural Science Foundation of China under Grant nos. LY17F030003 and LY15F030009 and the National Natural Science Foundation of China under Grant no. 61501331.
SoorkiM. N.TavazoeiM. S.Asymptotic swarm stability of fractional-order swarm systems in the presence of uniform time-delays20179061182119110.1080/00207179.2015.11250192-s2.0-84952802643PaunonenL.SeifertD.Asymptotic behaviour in the robot rendezvous problem20177912713010.1016/j.automatica.2017.02.0152-s2.0-85014150245KunduP.HensC.BarzelB.PalP.Perfect synchronization in networks of phase-frustrated oscillators201712044000210.1209/0295-5075/120/400022-s2.0-85042149894KhanraP.KunduP.HensC.PalP.Explosive synchronization in phase-frustrated multiplex networks201898505231510.1103/physreve.98.0523152-s2.0-85057561324JalanS.RathoreV.KachhvahA. D.YadavA.Inhibition-induced explosive synchronization in multiplex networks201999606230510.1103/physreve.99.062305JadbabaieA.LinJ.MorseA. S.Coordination of groups of mobile autonomous agents using nearest neighbor rules2003486988100110.1109/tac.2003.8127812-s2.0-0038548185Olfati-SaberR.MurrayR. M.Consensus problems in networks of agents with switching topology and time-delays20044991520153310.1109/tac.2004.8341132-s2.0-4644244041RenW.BeardR. W.Consensus seeking in multiagent systems under dynamically changing interaction topologies200550565566110.1109/tac.2005.8465562-s2.0-20344399896HongY.HuJ.GaoL.Tracking control for multi-agent consensus with an active leader and variable topology20064271177118210.1016/j.automatica.2006.02.0132-s2.0-33646814428LiZ.DuanZ.ChenG.HuangL.Consensus of multiagent systems and synchronization of complex networks: a unified viewpoint201057121322410.1109/tcsi.2009.2023937ZhangH.LewisF. L.DasA.Optimal design for synchronization of cooperative systems: state feedback, observer and output feedback20115681948195210.1109/tac.2011.21395102-s2.0-80051540957GaoL.XuB.LiJ.ZhangH.Distributed reduced-order observer-based approach to consensus problems for linear multi-agent systems20159578479210.1049/iet-cta.2013.11042-s2.0-84961290986GaoL.CuiY.ChenW.Admissible consensus for descriptor multi-agent systems via distributed observer-based protocols2017354125727610.1016/j.jfranklin.2016.10.0172-s2.0-85005952422XuX.ChenS.HuangW.GaoL.Leader-following consensus of discrete-time multi-agent systems with observer-based protocols201311833434110.1016/j.neucom.2013.02.0232-s2.0-84881237160WangJ.TianZ.ZhuX.AlotaibiN. D.Finite-time consensus with a time-varying reference state and switching topology201720179603858410.1155/2017/60385842-s2.0-85021632629LiuJ.QinK.ChenW.LiP.Consensus of delayed fractional-order multiagent systems based on state-derivative feedback2018201812878963210.1155/2018/87896322-s2.0-85057282584LiZ.RenW.LiuX.FuM.Consensus of multi-agent systems with general linear and lipschitz nonlinear dynamics using distributed adaptive protocols20135871786179110.1109/tac.2012.22357152-s2.0-84878887145AltafiniC.Consensus problems on networks with antagonistic interactions201358493594610.1109/tac.2012.22242512-s2.0-84875588811LeeS.-H.Predator’s attack-induced phase-like transition in prey flock20063574-527027410.1016/j.physleta.2006.04.0652-s2.0-33746227590ParisienC.AndersonC. H.EliasmithC.Solving the problem of negative synaptic weights in cortical models20082061473149410.1162/neco.2008.07-06-2952-s2.0-45749090054FacchettiG.IaconoG.AltafiniC.Computing global structural balance in large-scale signed social networks201110852209532095810.1073/pnas.11095211082-s2.0-84855504473HuJ.ZhengW. X.Emergent collective behaviors on coopetition networks201437826-271787179610.1016/j.physleta.2014.04.0702-s2.0-84901641121ValcherM. E.MisraP.On the consensus and bipartite consensus in high-order multi-agent dynamical systems with antagonistic interactions2014669410310.1016/j.sysconle.2014.01.0062-s2.0-84894624208ZhangH.ChenJ.Bipartite consensus of multi-agent systems over signed graphs: state feedback and output feedback control approaches201727131410.1002/rnc.35522-s2.0-84963787412YaghmaieF. A.SuR.LewisF. L.OlaruS.Bipartite and cooperative output synchronizations of linear heterogeneous agents: a unified framework20178017217610.1016/j.automatica.2017.02.0332-s2.0-85016160974MaC.-Q.QinZ.-Y.Bipartite consensus on networks of agents with antagonistic interactions and measurement noises201610172306231310.1049/iet-cta.2016.01282-s2.0-84994706863WuY.HuJ.ZhangY.ZengY.Interventional consensus for high-order multi-agent systems with unknown disturbances on coopetition networks201619412613410.1016/j.neucom.2016.01.0702-s2.0-84977829682LiE.MaQ.ZhouG.Bipartite output consensus for heterogeneous linear multi-agent systems with fully distributed protocol201935652870288410.1016/j.jfranklin.2019.01.0182-s2.0-85061829679JiangY.ZhangH.ChenJ.Sign-consensus of linear multi-agent systems over signed directed graphs20176465075508310.1109/tie.2016.26428782-s2.0-85028057445MengD.Bipartite containment tracking of signed networks20177928228910.1016/j.automatica.2017.01.0442-s2.0-85014373959FukunagaT.Covering problems in edge- and node-weighted graphs201620406110.1016/j.disopt.2016.03.0012-s2.0-84962419874WuW.ZhouW.ChenT.Cluster synchronization of linearly coupled complex networks under pinning control200956482983910.1109/tcsi.2008.20033732-s2.0-65549129494LiuX.ChenT.Cluster synchronization in directed networks via intermittent pinning control20112271009102010.1109/tnn.2011.21392242-s2.0-79960118796YuC.QinJ.GaoH.Cluster synchronization in directed networks of partial-state coupled linear systems under pinning control20145092341234910.1016/j.automatica.2014.07.0132-s2.0-84908506881ShiL.ZhuH.ZhongS.ShiK.ChengJ.Cluster synchronization of linearly coupled complex networks via linear and adaptive feedback pinning controls201788285987010.1007/s11071-016-3280-52-s2.0-85009251179QuJ.JiZ.LinC.YuH.Group consensus for discrete-time heterogeneous multiagent systems with input and communication delays2018201812831953710.1155/2018/83195372-s2.0-85062723537LiZ.WenG.DuanZ.RenW.Designing fully distributed consensus protocols for linear multi-agent systems with directed graphs20156041152115710.1109/tac.2014.23503912-s2.0-84926302548ChuH.CaiY.ZhangW.Consensus tracking for multi-agent systems with directed graph via distributed adaptive protocol201516681310.1016/j.neucom.2015.04.0572-s2.0-84931575860XuX.LiZ.GaoL.Distributed adaptive tracking control for multi-agent systems with uncertain dynamics20179042729274410.1007/s11071-017-3833-22-s2.0-85031415536