Abstract

This paper deals with the output consensus regulation problem for discrete-time multiagent systems with state-unmeasurable agents and external disturbances under directed communication network topologies. Firstly, the mathematical model for the output consensus problem of discrete-time multiagent systems is deduced and formulated via making matrix transformation. Then, based on state observers, a novel output consensus protocol with dynamic compensator which is used as observer for the exosystem is proposed to solve this problem. Some knowledge of matrix theory and graph theory is introduced to design protocol parameters and the convergence of output consensus errors is proved. Finally, a numerical simulation example is shown to verify the effectiveness of the proposed protocol design.

1. Introduction

Recently, the researches on coordination problems of multiagent systems have received more and more attention from different fields, for the multiagent systems lie in almost everywhere in our daily life such as communication networks, power grids, social networks, and genetic regulatory networks. Therefore, multiagent systems have broad applications in many areas including formation control [1, 2], flocking [3, 4], unmanned air vehicles (UAVs) [5], distributed sensor networks [6], and attitude alignment [7]. In addition, the directed information flow among dynamic agents is based on the communication network topology digraph. Compared with the much similar interconnected systems [8ā€“10], multiagent systems have advantages of reducing the cost and improving system efficiency as the distributed control protocols only require the information from the agent itself and its neighborhood agents through the communication digraph [11ā€“14].

Among the coordination problems of multiagent systems, one of the most interesting topics is the leader-following problem, in which the exosystem named leader is a special agent whose motion is followed by the others named followers [15, 16]. A leader-following consensus problem with coupling time delays was discussed by [17]. In [18], a frequency-domain leader-following consensus algorithm with communication input delays was proposed to find out the stability conditions. For the consensus problem under the case of an active leader and variable topologies, [19] gave an observer-based method for each agent to estimate the velocity of the leader. Reference [20] solves the leader-following formation problem of multirobot systems with switching interconnection topologies by using output feedback laws based on canonical internal model. An adaptive control law was designed to solve the robust leader-following formation problem in [21].

Output regulation for multiagent systems can be regarded as a special leader-following problem in which the output of the leader is tracked by the outputs of followers with rejection of the external disturbances generated by the exosystem [22, 23]. Therefore, the output regulation problem of multiagent systems is more challenging and receives much considerable attention in [24, 25]. In [26], the adaptive internal model technique was employed to achieve the disturbance rejection and output regulation. Reference [27] proposed a distributed coordinative control approach to solve the output regulation problem for a class of nonlinear multiagent systems. In [28], a novel dynamic distributed control protocol was designed by using output feedback laws to realize the cooperative output regulation of linear multiagent systems. The robust output regulation problem for a class of uncertain multiagent systems was addressed by using the internal model principle in [29]. Recently, the work of [30] studied the robust output regulation problem for a heterogeneous network of agents affected by parameter perturbations via constructing novel robust regulators. Based on a dynamic compensator, a cooperative output regulation approach for the continuous-time multiagent systems whose states are assumed measurable was given in [31].

There have been a great number of results for the output regulation problems of continuous-time multiagent systems, but few papers discuss discrete-time multiagent systems. It is known that the results of the continuous-time systems are hard to be applied to the practical applications, for the practical control systems are usually discrete-time sampling systems. In addition, the states of the multiagent systems in practical applications are usually unmeasurable, but the states are assumed measurable in many papers. Due to the communication topologies of multiagent systems, not all the agents can receive the information of the leader.

Therefore, according to the problems above, a novel output consensus protocol with a dynamic compensator based on state observers will be presented to solve the output consensus regulation problem for discrete-time multiagent systems with state-unmeasurable agents and external disturbances under directed communication network topologies.

The rest of the paper is organized as follows. In Section 2, some basic knowledge of graph theory for multiagent systems is introduced, and the mathematical model for the output consensus problem of discrete-time multiagent systems is formulated. Section 3 presents the main results of output consensus protocol design and output consensus error convergence proof. In Section 4, a numerical simulation example will be given to verify the effectiveness of the proposed control protocol. Finally, conclusions are drawn in Section 5.

The following notations are used throughout this paper. and denote the sets of the real numbers and complex numbers, respectively. denotes the set of matrices with rows and columns. For a given matrix , is the transpose of . For a given matrix , means that is a positive definite matrix. denotes the -dimension unit matrix, and represents with dimension . denotes the Kronecker product and the Kronecker sum of and can be defined as .

2. Preliminaries and Problem Formulation

This section introduces some basic knowledge and concepts of graph theory which will be used throughout this paper and formulates the mathematical model for the output consensus problem of discrete-time multiagent systems.

2.1. Algebraic Graph Theory

The topology of a communication network for a multiagent system can be expressed by a directed graph. A weighted digraph consists of a vertex set , an edge set , and a weighted adjacency matrix with nonnegative adjacent elements . If , then ; if , then . For all , . If and only if th agent can receive information from th agent directly, then . The set of neighbours of the node can be defined as . The in-degree and out-degree of the node can be given by The degree matrix is a diagonal matrix, whose elements are composed of . The Laplacian matrix consists of and . The exosystem which is usually defined as node only sends information to other agents without receiving any information from others. This means that , and if the th agent can receive information from the exosystem.

Remark 1. Laplacian matrix has all row sums equal to zero, which will be used for the following derivation later.

2.2. Problem Formulation

Consider a multiagent system consisting of nonidentical discrete-time agents with external disturbances. The dynamics of agents can be described bywhere is the state of each agent and denotes ; is the output consensus regulation protocol; denotes the external disturbance of each agent; and is the output of each agent.

A reference system, which can be also called leader or exosystem, is defined aswhere is the state of the leader and denotes ; is the reference output signal for the multiagent system.

The local output consensus error can be defined as

The state observer for the multiagent system can be given bywhere denotes and is the gain matrix for the state observer which will be designed later.

In the multiagent system, not all the agents can directly receive information from the leader. For this situation, a dynamic compensator, which can be regarded as a distributed observer for the leader, is introduced aswhere , denotes , and is a constant parameter.

Based on the state observer and dynamic compensator, the output consensus protocol can be given bywhere and are the gain matrices which will be designed later.

Let , , and . Then one can obtain global model as follows:where and . is the Laplacian matrix of the digraph, and with

Let , , and

Then the global model can be rewritten aswhere denotes .

Problem 2. The output consensus regulation problem can be defined as follows: (1)The global model is asymptotically stable without external disturbance; that is, is Schur stable.(2)For all the initial conditions and , the output consensus errors satisfy

3. Main Results

In this section, two lemmas are introduced and two theorems are proposed to design the control parameters of the output consensus protocol and to prove the convergence of the output consensus errors, respectively.

Firstly, the gain matrices and are designed by the following lemma.

Lemma 3 (see [32]). Given the stabilizable pair , one gets the following discrete-time algebraic Riccati equation:with a unique solution , , and for symmetric matrix . Matrix is Schur stable with all its eigenvalues in the open unit disc if and only if lies in the stability region: where

Assumption 4. The pairs are controllable and the pairs are detectable, .

If Assumption 4 holds, the gain matrices and can be easily designed to make and Schur stable according to Lemma 3.

Remark 5. It is known that the detectable pairs are equivalent to the controllable pairs . Then Lemma 3 can be directly used to design to make Schur stable, which have all its eigenvalues in the open unit disc.

Let ; then one can obtain by direct calculation the following:Since are Schur stable, ; that is, , as .

Theorem 6. If Assumption 4 holds, then matrix is Schur stable.

Proof. Matrix is similar to matrix . The transformed matrix can be defined as . Therefore, .
It is obvious that and are Schur stable because and are designed to be Schur stable. Thus, is Schur stable; that is, is Schur stable.
The proof is completed.

Next, the constant parameter will be designed by the following lemma.

Lemma 7 (see [33]). Given the matrices and , the eigenvalues of are , , where and are the eigenvalues of and , respectively.

According to Lemma 7, the eigenvalues of matrix can be given by One can find out a proper constant parameter to make the magnitude of less than 1, that is, to make matrix Schur stable.

Theorem 8. Under Assumption 4, if there exist matrices and , , satisfying the following equations:then the output consensus protocol (7) solves the output consensus problem for the discrete-time multiagent system with external disturbances and heterogenous agents whose states are unmeasurable.

Proof. Let , , , and ; can be expressed byAccording to (19), one can obtainSince , (20) can be rewritten aswhere . Next, the gain matrices are designed asThen (18) can be expressed asSincethen one can attainSubstituting (25) into (21), then (21) can be rewritten asSince is the Laplacian matrix of the digraph for the multiagent systems, then which have been mentioned in Remark 1. Therefore, one getsLet ; combining (26) and (27), one hasBy using the proposed Theorem 6 and Lemma 7, and are designed to be Schur stable; that is, which has been defined before is Schur stable. Therefore, as ; that is, , .
Since , the output errors can be expressed asAs , thus, . The proof is completed.

Remark 9. Compared with the traditional methods of using LMI (Linear Matrix Inequality) and Lyapunov techniques, the proposed approach in this paper only needs to solve some simple linear matrix equations (18) and discrete-time algebraic Riccati equations in Lemma 3 to obtain the control parameters, which successfully reduces the expensive computation and computational complexity.

Remark 10. It is known that there are a great deal of works [24ā€“29] investigating the output regulation problems for continuous-time multiagent systems. However, these approaches under continuous-time cases are usually invalid for the real-world discrete-time sampling systems. Therefore, the proposed scheme which studies the discrete-time cases in this paper makes great sense for the real-world applications. Furthermore, this paper successfully solves the output regulation problems with unmeasurable states in contrast to the limit of measurable states in the previous works [31, 32], which will be very useful for the practical engineering applications.

4. Numerical Simulation Example

In this section, a numerical simulation example will be taken to verify the effectiveness of the proposed output consensus protocol for the discrete-time multiagent systems. For the sake of simplicity and without loss of generality, consider a multiagent system consisting of four agents with and the leader with

According to the digraph for the communication topology of the multiagent system shown in Figure 1, only node and node can receive information from the leader. The Laplacian matrix and matrix can be given by

By using Lemma 3, and can be designed such that and are, respectively, Schur stable.

According to Lemma 7, there exists constant parameter such that is Schur stable, which has all its eigenvalues in the open unit disc.

By solving (18), one can obtain , and , . Then .

The simulation results are shown in Figure 2. The output consensus errors converge to zero asymptotically, and finally the whole multiagent system achieves output consensus.

5. Conclusion

The output consensus regulation problem for discrete-time multiagent systems with state-unmeasurable agents and external disturbances under directed communication network topologies has been studied in this paper. A directed graph is used to describe the information exchange among the leader and the followers. Based on state observers, a novel output consensus protocol with dynamic compensator has been proposed to solve this problem. Compared with other control protocol designs, we take the case of unmeasurable agents and external disturbances into consideration and apply our results to the discrete-time multiagent systems. Therefore, our proposed results will be very useful for practical engineering applications.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work was supported by the National Natural Science Foundation of China (61273029), the Program for New Century Excellent Talents in University, China (NCET-12-0106), and the Basic Scientific Research Funding of Northeastern University (N130504004).