Abstract

We discuss linear multiagent systems consensus problem with distributed reduced-order observer-based protocol under switching topology. We use Jordan decomposition method to prove that the proposed protocols can solve consensus problem under directed fixed topology. By constructing a parameter-dependent common Lyapunov function, we prove that the distributed reduced-order observer-based protocol can also solve the continuous-time multi-agent consensus problem under the undirected switching interconnection topology. Then, we investigate the leader-following consensus problem and propose a reduced-order observer-based protocol for each following agent. By using similar analysis method, we can prove that all following agents can track the leader under a class of directed interaction topologies. Finally, the given simulation example also shows the effectiveness of our obtained result.

1. Introduction

Recently, a great number of researchers pay much attention to the coordination control of the multiagent systems, which have various subject background such as biology, physics, mathematics, information science, computer science, and control science in [14]. Consensus problem is one of the most basic problems of the coordination control of the multiagent systems, and the main idea is to design the distributed protocols which enable a group of agents to achieve an agreement on certain quantities of interest. The well-known early work [1] was done in the control systems community, which gave the theoretical explanation of the consensus behavior of the very famous Vicsek model [2]. Till now, many interesting results for solving similar or generalized consensus problems have been obtained.

The interaction topologies among agents include fixed and switching cases. Fixed topology may be easy to be handled by using eigenvalue decomposition method [5, 6]. Saber and Murray established a general model for consensus problems of the multiagent systems by introducing Lyapunov method to reveal the contract with the connectivity of the graph theory and the stability of the system in [7]. The Lyapunov-based approach is often chosen to solve high-order consensus problem [8, 9]. In most existing works, the dynamics of agents is assumed to be first-, second-, and, sometimes, high-order integrators, and the proposed consensus protocols are based on information of relative states among neighboring agents [1013]. However, the interacting topology between agents may change dynamically due to the changes of environment, the unreliable communication links and time-delay. It is more difficult to deal with switching interaction topology in mathematics than fixed interaction topology. The common Lyapunov method is fit to probe the switching interaction topology [8]. Too many results have been established for multiagent consensus under switching topology [1418]. Some other relevant research topics have also been addressed, such as oscillator network [19], cluster synchronization [20, 21], mean square consensus [22], fractional-order multiagent systems [23], descriptor multiagent system [24], random networks [25], and time-delay [26].

The leader-following configuration is very useful to design the multiagent systems. Leader-following consensus problems with first-order dynamics under jointly connected interacting topology were investigated by [1]. Hong et al. [8] considered a multiagent consensus problem with a second-order active leader and variable interconnection topology. A distributed consensus protocol was proposed for first-order agent with distributed estimation of the general active leader’s unmeasurable state variables in [15], while [16] extended the results of [15] to the case of communication delays among agents under switching topology. In [17], the authors considered leader-following problem in the multiagent system with general linear dynamics in both fixed topology case and switching topology case, respectively. The cooperative output regulation of linear multiagent systems can be viewed as a generalization of some results of the leader-following consensus problem of multiagent systems [27, 28].

In many practical systems, the state variables cannot be obtained directly. To achieve the state consensus, the agent has to estimate those unmeasurable state variables by output variables. In [8], the authors proposed a distributed observer-based tracking protocols for each first-order following agent. Under the assumption that the active leader’s velocity cannot be measured directly, [29] proposed a distributed observer-based tracking protocol for each second-order following-agent. To track the accelerated motion leader, [30] proposed an observer-based tracking protocol for each second-order follower agent to estimate the acceleration of the leader. A robust adaptive observer based on the response system was constructed to practically synchronize a class of uncertain chaotic systems [31]. In [23], the author proposed an observer-type consensus protocol to the consensus problem for a class of fractional-order uncertain multiagent systems with general linear dynamics. For the multiagent system with general linear dynamics, [32] established a unified framework and proposed an observer-type consensus protocol, and [33] proposed a framework including full state feedback control, observer design, and dynamic output feedback control for leader-following consensus problem. The leader-following consensus problem was investigated under a class of directed switching topologies in [34]. In [35], distributed reduced-order observer-based consensus protocols were proposed for both continuous- and discrete-time linear multiagent systems. Other observer-based previous works include [3638].

Motivated by the previous works, especially by [35], we do some further investigations on the reduced-order observer-based consensus protocol problem which had been studied by [35] under directed fixed interconnection topology. We first correct some errors and propose a new proof of the main result established in the aforementioned paper based on the Jordan decomposition method. Moreover, by constructing a parameter-dependent common Lyapunov function, we prove that the proposed protocol can guarantee the multiagent consensus system to achieve consensus under undirected switching topology. Although the Lyapunov function method is conservative and is not easy to be constructed, it is fit to solve the problem under the switching interconnection topology. We propose distributed protocol to solve leader-following consensus with a little simple modification to the reduced-order observer-based consensus protocol. Similarly, we can prove that all following agents can track the leader under a class of directed interaction topologies. As the special cases, the consensus conditions for balanced and undirected interconnection topology cases can be obtained directly. Although the leader-following consensus problem in this paper has been studied in many papers with the aid of internal model principle, we obtain a low-dimensional controller in our model.

The paper is organized as follows. In Section 2, some notations and preliminaries are introduced. Then, in Section 3 and Section 4, the main results on the consensus stability are obtained for both leaderless and leader-following cases, respectively. Following that, Section 5 provides a simulation example to illustrate the established results, and finally, the concluding remarks are given in Section 6.

2. Preliminaries

To make this paper more readable, we first introduce some notations and preliminaries, most of which can be found in [35]. Let and be the set of real matrices and complex matrices, respectively. denotes the real part of . is the identity matrix with compatible dimension. and represent transpose and conjugate transpose of matrix , respectively. . For symmetric matrices and , means that is positive (semi-) definite. denotes the Kronecker product, which satisfies and . A matrix is said to be Hurwitz stable if all of its eigenvalues have negative real parts.

A weighted digraph is denoted by , where is the set of vertices, is the set of edges, and a weighted adjacency matrix has nonnegative elements . The set of all neighbor nodes of node is defined by . The degree matrix of digraph is a diagonal matrix with diagonal elements . Then, the Laplacian matrix of is defined as , which satisfies . The Laplacian matrix has following interesting property.

Lemma 1 (see [14]). The Laplacian matrix associated with weighted digraph has at least one zero eigenvalue and all of the non-zero eigenvalues are located on the open right half plane. Furthermore, has exactly one zero eigenvalue if and only if the directed graph has a directed spanning tree.

A weighted graph is called undirected graph if for all , we have and . It is well known that Laplacian matrix of weighted undirected graph is symmetric positive semidefinite, which can be derived from Lemma 1 by noticing the fact that all eigenvalues of symmetric matrix are real and nonnegative. Furthermore, Laplacian matrix has exactly one zero eigenvalue if and only if the undirected graph is connected.

To establish our result, the well-known Schur Complement Lemma is introduced.

Lemma 2 (see [39]). Let be a symmetric matrix of the partitioned form with , , and . Then, if and only if or equivalently,

3. Multiagent Consensus Problem

Consider a multiagent system consisting of identical agents, whose dynamics are modeled by where is the agent ’s state, agent ’s control input, and the agent ’s measured output. , , and are constant matrices with compatible dimensions. It is assumed that is stabilizable, is observable, and has full row rank.

To solve consensus problem, a weighted counterpart of the distributed reduced-order observer-based consensus protocol proposed in [35] for agent is given as follows: where is the protocol state, the weight is chosen as is the coupling strength, and , , , and, are constant matrices, which will be designed later.

For the multiagent system under consideration, the interconnection topology may be dynamically changing, which is assumed that there are only finite possible interconnection topologies to be switched. The set of all possible topology digraphs is denoted as with index set . The switching signal is used to represent the index of topology digraph; that is, at each time , the underlying graph is . Let be an infinite time sequence at which the interconnection graph switches. Certainly, it is assumed that chattering does not occur when the switching interconnection topology is considered. The main objective of this section is to design protocol (4), which is used to solve the consensus problem under switching interconnection topology.

Let and . Then, after manipulation with combining (3) and (4), the closed-loop system can be expressed as

We first discuss consensus problem under fixed interconnection topology, which has been investigated by [35]. In this case, the subscript in closed-loop system (6) should be dropped. Algorithm  3.1 in [35] is slightly modified to present as follows, which is used to choose control parameters in protocol (4).

Algorithm 3. Given with properties that is stabilizable, is observable, and has full row rank , the control parameters in the distributed consensus protocol (4) are selected as follows.
Select a Hurwitz matrix with a set of desired eigenvalues that contains no eigenvalues in common with those of . Select randomly such that is controllable.
Solve Sylvester equation to get the unique solution , which satisfies that is nonsingular. If is singular, go back to Step  2 to select another , until is nonsingular. Compute matrices and by .
For a given positive definite matrix , solve the following Riccati equation: to obtain the unique positive definite matrix . Then, the gain matrix is chosen by .
Select the coupling strength , where is the th eigenvalue of Laplacian matrix .

Remark 4. According to Theorem  8.M6 in [40], if and have no common eigenvalues, then the matrix is nonsingular only if is observable and is controllable. Thus, the assumptions that is detectable and is stabilizable in Algorithm  3.1 of [35] may be questionable. Step  3 of Algorithm  3.1 in [35] is an LMI inequality. Here, we propose the Riccati equation to replace the LMI inequality in Step  3 of the algorithm. If we use the LMI design approach proposed by [35], all our following analysis process is also right as long as we do some sight modification. The Riccati equation has been widely studied in the subsequent centuries and has known an impressive range of applications in control theory, which will make the condition expressed in Riccati equation easy to be generalized to other cases such as descriptor multiagent system. If is stabilizable and is a positive definite matrix, the Riccati equation (8) has a unique positive definite matrix , which can be found in many books such as [41]. On the other hand, it is convenient for us to solve Riccati equation by using Matlab toolbox.

The following theorem is a modified vision of Theorem  3.3 in [35], which is the main result of [35]. To prove Theorem  3.3 in [35], the authors mainly use the following assumption. Let be such a unitary matrix that , where the diagonal entries of are the nonzero eigenvalues of . Unfortunately, this assumption is not right.

Since Laplacian matrix of directed topology graph is not symmetric, it can only be assumed that there exists a unitary matrix satisfying , where is an upper triangular matrix and is a nonzero row vector (see [39]). Thus, I think the proof in [35] is not strict too. On the other hand, the limit function of in Theorem  3.3 of [35] is not right, which should be . Now, we propose a strict proof, which is based on Jordan decomposition and may be easier to be understood. Before giving our proof, we present the theorem as follows.

Theorem 5. For the multiagent system (3) whose interconnection topology graph contains a directed spanning tree, the dynamic protocol (4) constructed by Algorithm 3 can solve the consensus problem. Moreover, where is a nonnegative vector such that and .

Proof. By Lemma 1, the assumption that contains a directed spanning tree means that zero is a simple eigenvalue of and all other eigenvalues of have positive real parts. From Jordan decomposition of , let be nonsingular matrix such , where the Jordan matrix is an upper triangular matrix and the diagonal entries of are the nonzero eigenvalues of .
Let and . Then, system (6) can be represented in terms of and as follows: Certainly, system (10) can be divided into the following two subsystems: one is and the other one is where and with and being their first and column, respectively.
Denote for agent as Obviously, for all , if and only if ; that is, the consensus is achieved. Let . Then, we have . Let . We know that if and only if . Since , the first column of is right zero eigenvector of . Similarly, implies that the first row of is is left zero eigenvector . Set and . Due to , we have , , and . Since and are the right and left zero eigenvectors of , respectively, and zero is simple eigenvalue of , there exists constant such that and . Then, we can verify directly that
Thus, we have From the previous analysis, we know that . Thus, the stability of system (12) implies that multiagent system (6) can achieve consensus. Let , which is nonsingular and . Let . By Step of Algorithm 3, system (12) is equivalent to the following system: The matrix is block upper triangular matrix with diagonal block matrix entries () and . By Step and Step of Algorithm 3, the unique positive definite solution of Riccati equation (8) satisfies that is, () are stable. Thus, is stable. Moreover, system (12) is asymptotically stable; that is, the consensus problem can be solved by protocol (4).
From the first equation of system (11), we have . In addition, the solution of system (6) under fixed topology satisfies , as . Thus,         ,   as . From the second equation of system (11), we have Since is Hurwitz stable, we know that . Noticing that , we can also obtain , as . Thus, we have , as . The proof is now completed.

Next, we probe the consensus problem under switching interconnection topology. For the switching interconnection topology case, we always assume that all interconnection topology graphs , are undirected and connected. Choose an orthogonal matrix with form with . Noticing that the Laplacian matrix of () is symmetric and , we have where is an symmetric matrix. Since all are undirected and connected, is positive semidefinite and is positive definite.

Then, we can define where is the second small eigenvalue of . Since is finite set, and are fixed and positive.

To measure the disagreement of to the average state of all agents, denote for agent as Obviously, for any if and only if , for any ; that is, the consensus is achieved. Let . Then, we have where which satisfies . It can be verified that , from which we have

Let , , and . Then, system (6) can be expressed in terms of and as follows: Similarly, system (25) can be divided into the following two subsystems: where and with and being their first and columns, respectively.

We know that if and only if . On the other hand, we have from which we know that is equivalent to . Thus, the stability of the switching system (27) implies that multiagent system (6) can achieve consensus.

Denote that . By Step of Algorithm 3, system (27) is equivalent to the following switching system: where

Next, we investigate consensus problem of multiagent system under switching interconnection topology based on convergence analysis of the switching system (29) and present our main result as follows.

Theorem 6. For the multiagent system (3) whose interconnection topology graph associated with any interval is assumed to be undirected and connected, suppose that the parameter matrices , , , , , and used in control protocol (4) are constructed by Steps of Algorithm 3 and the coupling strength is satisfied as Then, the distributed control protocol (4) can guarantee that the multiagent system achieves consensus from any initial condition. Moreover,

Proof. Till now, we know that the multiagent system achieves consensus if the state of systems (29) satisfies . Although system (29) is switching in , it is time-invariant in any interval . Assume that , which belongs to . Since is undirected and connected, is positive definite. Let be an orthogonal matrix such that where is th eigenvalue of matrix . The unique positive definite solution of Riccati equation (8) satisfies from which we can obtain
Pre- and postmultiplying inequality (63) by and its transpose, respectively, we get
In addition, for stable matrix , there exist positive definite matrices and satisfying the Lyapunov equation or equivalently,
Consider the parameter-dependent Lyapunov function for dynamic system (29) where matrix has the form with positive parameter . In interval , the time derivative of this Lyapunov function along the trajectory of system (29) is where
From (64) and (65), we have Since the constant can be chosen large enough to satisfy this implies that According to Lemma 2, we know that is positive definite. Because there are only finite interconnection topology graphs to be switched, we know that system (29) is asymptotically stable; that is, system (6) achieves consensus. Similarly, we can prove that The proof is now completed.

Remark 7. Here, the topological graph is assumed to be undirected for convenience. If all graphs are directed and balanced with a directed spanning tree, we also have where is positive definite (see [18]). Define where is the second small eigenvalue of . Following the similar line to analyze the directed topology as Theorem 11 in the next section, it is not difficult to establish similar condition to guarantee that the multiagent system achieves consensus.

4. Multiagent Consensus Problem with a Leader

In this section, we consider the multiagent system consisting of identical agent and a leader. The dynamics of the following agents are described by system (3), and the dynamics of the leader are given as where is the state of the leader, and is the measured output of the leader.

Our aim is to construct the distributed control protocol for each agent to track the leader; that is, , for any . To this end, we propose a reduced-order observer-based consensus protocol for each agent as follows: where is the protocol state, is the coupling strength, is chosen by (5), and is chosen by where is positive connected weight of edge .

Remark 8. The leader’s dynamics is only based on itself, but its system matrices are the same as all following agents. In [17], the authors investigated this leader-following consensus problem by using the distributed state feedback control protocol. In this paper, we will solve the problem via the distributed reduced-order observer-based protocol (50), which needs to be assumed that only the neighbors of leader can obtain the state information of the leader.

In what follows, the digraph of order is introduced to model interaction topology of the leader-following multiagent system, whose nodes , , are used to label following agents and is labeled leader. In fact, contains graph , which models the topology relation of these followers, and with the directed edges from some agents to the leader describes the topology relation among all agents. Node is said to be globally reachable, if there is a directed path from every other node to node in digraph .

Let be the Laplacian matrix of the interaction graph , and let be an diagonal matrix whose th diagonal element is at time . For convenience, denote that . The matrix has the following property.

Lemma 9 (see [9]). Matrix is positive stable if and only if node is globally reachable in .

Let , and . Then, the dynamics of and are described as follows: According to (7) and (53), we can obtain

Let , , and . From (52) and (54), the error dynamics can be represented as

Let . Similarly, system (55) is equivalent to the following switching system: where

From the previous transformation, we know that the stability of error system (29) means that all following agents can track the leader. First, we consider fixed topology case and give the result as follows.

Theorem 10. For the leader-following multiagent systems (3) and (49), whose interconnection topology graph is fixed and has a globally reachable node , suppose that the parameter matrices , , , , , and in the dynamic protocol (50) are constructed by Steps of Algorithm 3 and the coupling strength is satisfied as Then, the distributed control protocol (50) guarantees that all following agents can track the leader from any initial condition.

Proof. Of course, in dynamical equation can also be removed. According to Lemma 9, we know that is positive stable; that is, all eigenvalues of satisfy . Similarly, we can do similarity transformation to matrix , which can be similar to block upper triangle matrix with diagonal block matrix entries and . Based on Step of Algorithm 3 and (58), we know that is stable. Thus, the error system is stable.
Next, we probe the leader-following consensus problem under switching interconnection topology. Unlike undirected switching topology assumption in the previous section, we assume that the interconnection topology switches in a class of directed topologies. For convenience, the interconnection topology switches in finite set, which is defined by with index set .
Therefore, define Noticing that the set is finite set and is positive definite, we know that is well defined, which is positive and depends directly on the constants, all constants and () given in (5) and (51).

Theorem 11. For the leader-following multiagent system (3) and (49), whose interconnection topology graph associated with any interval is assumed to have a globally reachable node , suppose that the parameter matrices , , , , , and used in control protocol (50) are constructed by Steps of Algorithm 3 and the coupling strength is satisfied as Then, the distributed control protocol (50) guarantees that all following agents can track the leader from any initial condition.

Proof. In time interval , assume that . There exists an orthogonal transformation such that is a diagonal matrix , where is th eigenvalue of matrix .
According to Algorithm 3 and condition (61), we can know that the unique solution of Riccati equation satisfies form which we can obtain the following inequality: By pre- and postmultiplying (63) with and its transpose, respectively, we have Since is a symmetric matrix, we know that the following inequality holds: Similarly, as the proof of the stability of system (29) in the proof of Theorem 6, we can prove that the error system is stable.

5. Simulation Example

The multiagent system contains four agents with each one modeled by the following linear dynamics:

The interconnection topologies are arbitrarily switched with period 0.1 s among three graphs , which are shown in Figure 1. For simplicity, all nonzero weighting factors of the graphs are taken as (1).

Each agent uses the reduced-order observer-based protocol (4). Take and . To solve the Sylvester equation (7), one can get , which satisfies that is nonsingular. Then, we know that and . Taking a positive definite matrix , we have by solving the Riccati equation (8). Take , which satisfies condition (31).

Let () denote the th component of . The trajectories of are depicted in Figure 2, which shows that the multiagent system can achieve consensus. The trajectories of and are depicted in Figure 3, which is also shown that as .

For simplicity, we consider the group to consist of four followers and one leader; that is, . Assume that the interconnection topologies are arbitrarily switched among three graphs () and the communication graph given by Figure 4. All nonzero weighting factors of the graphs are taken as (1).

Take , which satisfies condition (61). All other parameters used in protocol (50) are chosen as aforementioned. The trajectories of , , are depicted in Figure 5, which shows that the follower agents can track the leader agent.

6. Conclusion

In this paper, we investigate the consensus problem for a group of agents with high-dimensional linear coupling dynamics under undirected switching interaction topology. We propose a strict proof of main result in [35] based on the Jordan decomposition method and generalize the proposed protocol to solve the consensus problem under undirected switching interconnection topology. To solve the leader-following consensus problem, we propose a neighbor-based track law for each following agent with a little simple modification to the reduced-order observer-based consensus protocol. The control parameters used in protocol can be constructed by solving the Riccati equation and the Sylvester equation. The parameter-dependent common Lyapunov function method is involved to analyze the consensus problems under undirected switching topology. Since common Lyapunov function method is conservative, the less conservative method should be probed. Of course, more generalized and interesting cases, such as switching directed interaction topology, random interaction topology, jointly connected convergence condition, and the effect of time delays arising in the communication between agents, will be investigated in our future work.

Acknowledgments

This work was supported by the National Nature Science Function of China under Grant nos. 61074123 and 61174063 and the open project of State Key Laboratory of Industrial Control Technology in Zhejiang University, China, under Grant no. ICT1218.