Admissible Consensus for Descriptor Multi-Agent Systems with Exogenous Disturbances.

In this paper, we study the admissible consensus for descriptor multi-agent systems (MASs) with exogenous disturbances that are generated by some linear systems. The topology among agents is represented by a directed graph. For solving the admissible consensus problem, the exogenous disturbance observer and distributed control protocol are proposed. With the help of the graph theory and the generalized Riccati equation, some conditions for admissible consensus of descriptor MASs with exogenous disturbances are obtained. Finally, we provide a numerical simulation to effectively illustrate the results we have reached before.

1. Introduction

The descriptor multi-agent systems (MASs) is a combination of the descriptor system and the MASs. The descriptor system was first mentioned in [1], and is also referred to as generalized system, singular system, or implicit system. Since its introduction, it has been widely used [2,3]. For MASs, its definition is given in [4], and its application has also become more and more widespread in real life [5], industry [6] and technology [7,8] with the rapid development of science and technology. Moreover, the three-link manipulators has been taken as an example of the descriptor MASs in [9].

As is well known, the consensus problem is one of the hot topics of coordinated control theory [10,11,12,13,14]. The main task of the consensus problem is to design distributed protocol according to the information obtained from neighbors, so that the states of a group of agents can reach an agreement. Until now, there exist many studies of the consensus problem of MASs. For example, the first-order system consensus problem [15,16], second-order system consensus problem [17], general system consensus problem [18,19,20]. For instance, in [16], the average consensus problem was explored for the first order multi-agent systems with uncertain topologies as well as multiple time-varying delays; in [18], the consensus problem was addressed for general linear multi-agent systems with a time-invariant communication topology. In addition, the admissible consensus problem of the descriptor MASs was further studied in [21]. The conditions of consensus-ability with respect to a set of admissible consensus protocols were investigated in [9]. It is worth mentioning that the observer-based design approach of [19] that can solve the consensus problem of general system was generalized to resolve the admissible consensus problem in [22]. In [23], a distributed observer is used to solve the admissible consensus problem of descriptor MAS, and a new framework is proposed.

However, in the real life, the exogenous disturbances exist and cannot be neglected, for example, the wind, and the electromagnetic interference. Therefore, in this paper, we study the admissible consensus problem of the descriptor MASs with exogenous disturbances. Many researchers have studied the consensus problem of MASs with exogenous disturbance [24,25,26,27,28,29]. For example, in [28], group consensus problems of first order dynamic agents in the presence of random noises and communication delays were investigated, while group consensus problem of discrete-time multi-agent systems with external stochastic inputs was studied in [29]. In addition, [30] also studied the consensus problem of linear MASs with exogenous disturbances generated from heterogeneous exosystems. However, there is little research on the admissible consensus problem for descriptor MASs with exogenous disturbances. For example, [31] only studied cooperative output regulation of singular heterogeneous MASs. This situation also appears in other literature, and there are few relevant results on this issue. Therefore, in this paper, we further study the admissible consensus problem of descriptor MASs with exogenous disturbances. The main contributions of this paper are (1) Consider a descriptor MASs with exogenous disturbances, the consensus problem of general linear system is extended to the descriptor MASs; (2) The disturbance observer for descriptor MASs is designed by state feedback; (3) The disturbance observer is used for disturbance attenuation.

The rest of the paper is organized as follows: In Section 2, we introduce some basic concepts and related theorems to describe descriptor MASs. Then, the formulation of the considered problem is introduced. In Section 3, the disturbance observer is proposed, the corresponding distributed control protocol is designed and sufficient conditions that ensure the states of a group of agents can reach an agreement are obtained. Section 4 gives a numerical example. Finally, conclusions are given in Section 5.

2. Preliminaries and Problem Formulation

2.1. Preliminaries

In this subsection, some notations and preliminaries involved in this paper are introduced. denotes the identity matrix. For a matrix A (or a vector x), (or ) represents the transpose of A (or x). Let be the set of all eigenvalues of the square matrix A, and let be . represents the open left-half complex plane. Let ⊗ denotes the Kronecker product of matrix and , which is defined as and satisfies the following properties

In this paper, the information interaction topology is modeled by a weighted digraph = , where is the set of vertices, is the set of edges, is a weighted adjacency matrix. An edge of that is from node to node is denoted by , which represents node can get information from node , but not necessarily vice versa. The set of neighbors of node is . denotes the weight of the edge and . The degree matrix of digraph is a diagonal matrix with . Then, the Laplacian matrix of is defined as , which has at least one zero eigenvalue with as its corresponding right eigenvector. In addition, L has exactly one zero eigenvalue if and only if the directed graph contains a directed spanning tree.

[

2.2. Problem Formulation

In this subsection, we will establish the model of the descriptor MASs with exogenous disturbances and propose the corresponding consensus problem for this system. In addition, the corresponding model of the exogenous disturbances system is also given.

Consider a descriptor MASs composing of n identical agents. The dynamic of agent i is modeled by the following descriptor linear system where is the state variable, is the measured output, is the control input, is exogenous disturbance. E, A, B, C, D are real constant matrices with appropriate dimensions, and .

Since E is a singular matrix, the initial state cannot be arbitrarily chosen, which needs to satisfy some algebraic conditions.

The descriptor MASs (1) is said to achieve consensus, if the states of all agents satisfy for any initial states , .

If the closed-loop system is admissible and achieves consensus, we say the protocol can solve the admissible consensus problem.

In this paper, we suppose that the disturbance is generated by the following linear exogenous system where is the state of the exogenous system, and are the matrices of the disturbance system.

[ has at least one admissible solution P, that is,

[ Then,

3. Main Results

In this section, we will design a disturbance observer to solve the problem caused by exogenous disturbances. Moreover, in order to resolve admissible consensus problem, we propose the distributed consensus protocol.

The disturbance observer is designed as follows where is the internal state variable of the observer, and are the estimated values of and , respectively. is the gain matrix of the observer.

Let , we can get

That is

Denoting then, one has

We can get that the tracking errors , converge to 0, when the matrix is Hurwitz.

In order to resolve admissible consensus problem, we consider the following distributed consensus protocol where K is the gain matrix to be designed.

For the descriptor MASs (

The matrix

By substituting the control protocol (10) into the system (1), one has

Next, we write formula (11) in the following form

Denote , . Then, it follows that

Then, after manipulations with combining (9) and (13), the closed-loop system can be expressed as

Since the topology contains a directed spanning tree, L has exactly one zero eigenvalue. Let be the left zero eigenvector of L with . With the help of the Jordan decomposition theory, there exists a transformation matrix S with form and such that , where is the Jordan block diagonal matrix. The diagonal entries of the upper triangular matrix are non-zero eigenvalue of L.

Furthermore, define the following state transformation:

Then, (14) can be divided into the following two subsystems and where , , and is the first m components of , is the first l components of .

At the same time, we have

Obviously, if the system (16) is admissible, we can get , as . Thus, , as , which means that .

Next, we will prove that the descriptor system (16) is admissible. Due to the matrix is Hurwitz, the admissibility of the system (16) is equivalent to the admissibility of all pairs . According to Lemma 1, P is the unique admissible solution of (5), therefore, is admissible. Due to , where , according to Lemma 2, is admissible. So far, the proof is finished. ☐

4. Simulations

In this section, a simulation result is presented to illustrate the previous theoretical results. The network includes five agents. The topology can be described in Figure 1. The following matrix is the weighted adjacency matrix of the topology:

Figure 1

Communication topology.

Choosing matrices

Solving the Equation (5), we obtain that

Then, we have and

For the simulation, let initial states of the agents be the following:

Figure 2, Figure 3 and Figure 4 show the states trajectory for all agents, indicating that the states trajectory of agents reach an agreement by the distributed control protocol (10). If we take the of Figure 4 as an example, although its initial state and direction of movement are very different from those of other agents, they can eventually reach the consensus agreement by the distributed control protocol (10).

Figure 2

The first component of the states.

Figure 3

The second component of the states.

Figure 4

The third component of the states.

The time evolutions of tracking errors are depicted in Figure 5, Figure 6 and Figure 7, we can get that the tracking errors converge to zero asymptotically.

Figure 5

The first component of tracking errors.

Figure 6

The second component of tracking errors.

Figure 7

The third component of tracking errors.

5. Conclusions

In this paper, we study the admissible consensus for descriptor MASs with exogenous disturbances. A design method of disturbance observer is proposed, so that the states of all agents reach an agreement. Through the use of graph theory and the generalized Riccati equation, some conditions were obtained for admissible consensus of descriptor MASs with exogenous disturbances. The future work is to consider the admissible consensus of the descriptor MASs with leaders. In addition, since this paper does not consider the time delay, the perspective of considering the time delay will also be an interesting topic.