Volume 2014, Issue 1 239872
Research Article
Open Access

Output Feedback Control for Couple-Group Consensus of Multiagent Systems

Huanyu Zhao

Corresponding Author

Huanyu Zhao

Faculty of Electronic and Electrical Engineering, Huaiyin Institute of Technology, Huai’an, Jiangsu 223003, China hyit.edu.cn

Search for more papers by this author
Hongbiao Zhou

Hongbiao Zhou

Faculty of Electronic and Electrical Engineering, Huaiyin Institute of Technology, Huai’an, Jiangsu 223003, China hyit.edu.cn

Search for more papers by this author
Zhongyi Tang

Zhongyi Tang

Faculty of Electronic and Electrical Engineering, Huaiyin Institute of Technology, Huai’an, Jiangsu 223003, China hyit.edu.cn

Search for more papers by this author
First published: 24 April 2014
Academic Editor: Hao Shen

Abstract

This paper deals with the couple-group consensus problem for multiagent systems via output feedback control. Both continuous- and discrete-time cases are considered. The consensus problems are converted into the stability problem of the error systems by the system transformation. We obtain two necessary and sufficient conditions of couple-group consensus in different forms for each case. Two different algorithms are used to design the control gains for continuous- and discrete-time case, respectively. Finally, simulation examples are given to show the effectiveness of the proposed results.

1. Introduction

During the past decade, consensus problem of multiagent system has attracted a lot of attentions in control area [111]. It is mainly due to its wide applications in practice, such as sensor networks, unmanned aerial vehicles, and robotics. In [2], the authors studied the consensus seeking problem of multiagent systems with dynamically changing interaction topologies, where both discrete and continuous consensus algorithms were considered. In [9], the authors studied the containment problem of linear multiagent systems, where a pinning control strategy was designed for a part of agents such that all the agents can achieve a consensus with the leader asymptotically. A second-order consensus problem for multiagent systems with nonlinear dynamics and directed topologies was studied in [10]. More works about consensus problem were surveyed in [11].

Sometimes the interaction topology does not have a spanning tree, while it contains two or more subgraphs which include a spanning tree, respectively. In this case, some researchers studied the group consensus problem [1215]. In [12], the authors studied the group consensus problem of multiagent systems with switching topologies. The group consensus was proved to be equivalent to the asymptotical stability of a class of switched linear systems by a double-tree-form transformation. In [13], two different kinds of consensus protocols were given to deal with the group consensus problem for double-integrator dynamic multiagent systems. In [15], the sampled-data control method was employed to deal with the group consensus problem for multiagent systems, where the interaction topology is undirected.

Sometimes the system states are not known completely, while the output of the systems is measurable. The output will be used to design the controller for this case, that is, output feedback controller. Recently, the output feedback control problems have been reported in a lot of literature [1619]. In [16], the output feedback robust stabilization problem for a class of jump linear system was studied. In [17], the authors studied the finite-time stabilization of continuous-time linear systems via dynamic output feedback. In [18], the Lyapunov-Metzler inequalities were used to study the dynamic output feedback control problem of switched linear systems. Very recently, the method based on output feedback control has been used to analyze the networked systems [2023]. In [20], the consensusability of a class of linear multiagent systems was studied, where the agent updates its information by using the neighbor’s output. In [21], the output regulation theory was used to study the output consensus problems for heterogeneous uncertain linear multiagent systems. In [22], by using appropriate coordinate transformation, a new consensus algorithm via dynamic output feedback control for multiagent systems was studied. While in [23], the joint effects of agent dynamic and network topology on the consensusability of linear discrete-time multiagent systems via relative output feedback were studied.

Motivated by the aforementioned works, we will investigate the couple-group consensus problems for multiagent systems via output feedback control. The systems considered include both continuous-time case and discrete-time case. We convert the couple-group consensus problems of multiagent systems into the stability problems of the error systems by a system transformation. Based on linear system theory, some necessary and sufficient conditions for couple-group consensus are obtained. For continuous-time case, the algorithm based on homotopy method is given to compute the allowable control gain. For discrete-time case, the algorithm based on cone complementary linearization method is given to compute the allowable control gain.

Notation. Let and represent, respectively, the real number set and the nonnegative integer set. Denote the spectral radius of the matrix M by ρ(M). Suppose that A, Bp×p. Let AB (resp., AB) denote that AB is symmetric positive semidefinite (resp., symmetric positive definite). In denotes the n × n identity matrix. Re(·) and Im⁡(·) represent, respectively, the real part and imaginary part of a number. Let 0 denote zero matrix with appropriate dimensions.

2. Preliminaries and Problem Formulation

Graph Theory. Let 𝒢 = (𝒱, , 𝒜) be a directed graph of order n, where 𝒱 = {v1, …, vn} and represent the node set and the edge set, respectively. 𝒜 = [aij] ∈ n×n is the adjacency matrix associated with 𝒢, where aij > 0 if (vi, vj) ∈ , otherwise, aij = 0. An edge (vi, vj) ∈ if agent j can obtain the information from agent i. We say agent i is a neighbor of agent j. Let Ni = {vj𝒱 : (vi, vj) ∈ } denote the neighbor set of agent i. The (nonsymmetrical) Laplacian matrix associated with 𝒜 and hence 𝒢 is defined as = [lij] ∈ n×n, where and lij = −aij, for all ij. A directed path is a sequence of edges in a directed graph in the form of , where . A directed tree is a directed graph, where every node has exactly one parent except for one node, called the root, which has no parent, and the root has a directed path to every other node. A directed spanning tree of 𝒢 is a directed tree that contains all nodes of 𝒢. A directed graph has or contains a directed spanning tree if there exists a directed spanning tree as a subset of the directed graph; that is, there exists at least one node having a directed path to all of the other nodes.

Suppose that the multiagent systems considered consist of n + m agents. In this paper, we will consider both continuous-time case and discrete-time case. We assume that the first n agents achieve a consistent state while the last m agents achieve another consistent state. Let 𝒢 = (𝒱, , 𝒜) denote the topology of multiagent system considered. Denote 1 = {1,2, …, n}, 2 = {n + 1, n + 2, …, n + m}. Let 𝒱1 = {v1, v2, …, vn} and 𝒱2 = {vn+1, vn+2, …, vn+m} represent the first n agents and the last m agents, respectively. Then, 𝒱 = 𝒱1𝒱2, 𝒱1𝒱2 = Φ. In addition, let N1i = {vj𝒱1 : (vi, vj) ∈ } and N2i = {vj𝒱2 : (vi, vj) ∈ }.

For continuous-time case, the ith agent’s dynamics are as follows:
(1)
where xi(t) ∈ is the state, ui(t) ∈ is the control input, and yi(t) ∈ is the output. A, B, C are the system coefficients.
For discrete-time case, the ith agent’s dynamics are as follows:
(2)
where xi[k] ∈ is the state, ui[k] ∈ is the control input, and yi[k] ∈ is the output. A, B, C are the system coefficients.

Sometimes the agent’s state is difficult to obtain, while the output is measurable. Our main purpose in this paper is to design consensus algorithm based on the output such that the multiagent systems can achieve couple-group consensus. We consider the following consensus algorithms for continuous-time case and discrete-time case, respectively.

Continuous-Time Case. Consider
(3)
where aij ≥ 0 for all i, j1, aij ≥ 0 for all i, j2, and aij for all (vi, vj) ∈ o = {(i, j) : i1, j2}∪{(i, j) : j1, i2}. α is the control gain to be designed.
Discrete-Time Case. Consider
(4)
where aij ≥ 0 for all i, j1, aij ≥ 0 for all i, j2, and aij for all (vi, vj) ∈ o = {(i, j) : i1, j2}∪{(i, j) : j1, i2}. γ is the control gain to be designed. In addition, we suppose the algorithms in (3) and (4) satisfy similar assumption to that of [24].

Assumption 1. for all i1; for all i2.

Assumption 2. The subgraphs 𝒢1 and 𝒢2 have a directed spanning tree, respectively.

Denote X(t)≜[x1(t), …, xn+m(t)] T. Using (3) in (1) yields
(5)
where 1 and 2 are the Laplacian matrices corresponding to subgraphs 𝒢1 and 𝒢2, respectively, and
(6)
Denote X[k]≜[x1[k], …, xn+m[k]] T. Using (4) in (2) yields
(7)
where 1, 2, Ω1, and Ω2 are the same as that of continuous-time case.

Remark 3. The group consensus problem of continuous time multiagent systems was studied in [12, 13, 15]. In [14], the authors studied the group consensus problem for discrete-time multiagent systems. However, the couple-group consensus problem for the multiagent systems with stochastic switching topologies has not been researched. In addition, our method in this paper is based on the output feedback control, which is different from the existing results.

Our main purpose is to give the conditions for couple-group consensus. We next convert the consensus problem of multiagent system into the stability problem of the error systems. Before giving the main results, the following definitions and lemma are needed.

Definition 4 (see [24].)The multiagent system in (5) is said to achieve couple-group consensus if the states of agents satisfy (i) lim⁡txi(t) − xj(t)∥ = 0, for all i, j1 and (ii) lim⁡txi(t) − xj(t)∥ = 0, for all i, j2.

Definition 5 (see [24].)The multiagent system in (7) is said to achieve couple-group consensus if the states of agents satisfy (i) lim⁡kxi[k] − xj[k]∥ = 0, for all i, j1 and (ii) lim⁡kxi[k] − xj[k]∥ = 0, for all i, j2.

Lemma 6 (see [25] Schur complements.)Consider a hermitian matrix Q such that . Then, Q≻0 if and only if

(8)
or
(9)

3. Main Results

In this section, we will give the main results of this paper.

3.1. Continuous-Time Case

Let
(10)
Then by some computations, we obtain the error systems as follows:
(11)
where
(12)
Here we have used Assumption 1 and the property of Laplacian matrix.

Now the couple-group consensus problem of (5) has been converted into the stability problem of error system (11). We next give our main results.

Theorem 7. The multiagent system (5) can achieve couple-group consensus asymptotically if and only if α satisfies A + αBCRe(μi) < 0, where μi (i = 1, …, n + m − 2) is the ith eigenvalue of .

Proof. According to the aforementioned discussion, we know that the multiagent systems (5) can achieve couple-group consensus asymptotically if and only if the error system (11) is asymptotically stable. It follows from linear system theory [26] that system (11) which is asymptotically stable is equivalent to all eigenvalues of Fc having negative real parts. Denote the ith eigenvalues of Fc and , respectively, by ηi and μi  (i = 1, …, n + m − 2). Then, ηi = A + αBCμi. Re(ηi) < 0 is equivalent to A + αBCRe(μi) < 0. This completes the proof.

Remark 8. Theorem 7 provides a necessary and sufficient condition of couple-group consensus for multiagent system (5). According to linear system theory, we know that system (11) which is asymptotically stable is equivalent to that in which there exists a positive matrix P such that . Hence, we can get another condition of couple-group consensus for multiagent systems (5).

Theorem 9. The multiagent system (5) can achieve couple-group consensus asymptotically if and only if there exists a positive definite matrix P such that

(13)
holds.

Proof. The proof is straightforward; here is omitted.

Remark 10. Theorem 9 gives a necessary and sufficient condition for couple-group consensus in forms of matrix inequality. However, the matrix inequality in (13) is nonlinear with regard to variables α and P. Here we provide a numerical algorithm based on homotopy method to solve this problem. The similar method can be found in [22, 27, 28].

Algorithm 11. Consider the following

Step 1. Introduce a real number λ varying from 0 to 1, and construct a matrix function
(14)

with F1(P) = 2AP, .

Step 2  (Set  λ = 0). Compute the initial value of P0 by solving the LMI H(α, P, 0)≺0.

Step 3. Increase λ by some homotopy path, such as λ = (k/M) (k = 1,2, …, M). M is a large positive integer, for example, M = 1000. Compute α0 by solving LMI H(α, P0, 1/M)≺0.

Step  4. Increase λ by the same homotopy path as Step 3. Compute P1 by solving LMI H(α0, P, 2/M)≺0.

Step  5. Repeat Steps 3 and 4 until λ reaches Step  1.

3.2. Discrete-Time Case

Similar to continuous-time case, we can get the similar results for discrete-time case.

Let
(15)
Then by some computations, we obtain the error systems as follows:
(16)
where
(17)
Here we have used Assumption 1 and the property of Laplacian matrix.

Now the couple-group consensus problem of (7) has been converted into the stability problem of error system (16). We next give our main results.

Theorem 12. The multiagent system (7) can achieve couple-group consensus asymptotically if and only if γ and (A, B, C) satisfy

(18)
where μi (i = 1, …, n + m − 2) is the ith eigenvalue of .

Proof. According to the aforementioned discussion, we know that the multiagent systems (7) can achieve couple-group consensus asymptotically if and only if the error system (16) is asymptotically stable. It follows from linear system theory [26] that system (16) which is asymptotically stable is equivalent to all eigenvalues of Fc being within the unit circle. Denote the ith eigenvalues of by μi  (i = 1, …, n + m − 2). Then ρ(Fd) < 1 is equivalent to (A + αBCRe(μi)) 2 + (αBCIm⁡(μi)) 2 < 1. That is,

(19)
By some computations, we know that if the conditions in (18) hold, then the inequality (19) is solvable. This completes the proof.

Remark 13. Theorem 12 provides a necessary and sufficient condition of couple-group consensus for multiagent system (7). According to linear system theory, we know that system (16) which is asymptotically stable is equivalent to that in which there exists a positive matrix P such that . Hence, we can get another condition of couple-group consensus for multiagent systems (7).

Theorem 14. The multiagent system (7) can achieve couple-group consensus asymptotically if and only if there exist positive definite matrices P, Q and scalar γ such that the following LMI

(20)
holds with the constraint P−1 = Q. Here Fd is defined in (16).

Proof. According to the discussion in Remark 13, and by using Schur complement lemma (Lemma 6) and letting QP−1, the proof can be obtained. This completes the proof.

Remark 15. Theorem 14 provides a necessary and sufficient condition of couple-group consensus for multiagent systems (7). We can get γ by solving LMI in (20) with constrain P−1 = Q. The cone complementarity linearization (CCL) method can be used to solve this problem [19, 29]. We next summarize the algorithm as follows.

Algorithm 16. Consider the following

Step  1. Find a feasible point of LMI (20) γ0, P0, Q0, set k = 0. If there are none, exit.

Step  2. Find γk+1, Pk+1, Qk+1 by solving the convex minimization problem
(21)
s.t.
(22)

Step  3. If tk = 2(n + m − 2), end this algorithm, and the feasible γ is given by γ = γk+1. Otherwise, set k = k + 1 and go to Step 2.

4. Simulation Examples

In this section, two examples will be given to show the usefulness of the theoretical results. For simplicity, we let aij = 1 if (i, j) ∈ . On the other hand, we suppose that aij takes values in a set {−1,0, 1} for vi, vj belonging to different node sets, respectively.

Example 1. This example is for continuous-time multiagent systems. The interaction topology is as shown in Figure 1, which includes six nodes. It can be seen that the graph contains two subgraphs 𝒢1 and 𝒢2. (v1, v2, v3) ∈ 𝒢1, (v4, v5, v6) ∈ 𝒢2. Each of them has a directed spanning tree. Let A = 0.3, B = 0.8, and C = −0.9. By solving the optimization problem in Algorithm 11, we obtain α = 0.6304 and

(23)
The state trajectories of the agents are as shown in Figure 2. It can be seen that the agents belonging to 𝒢1 and 𝒢2 achieve two different consistent states, respectively.

Details are in the caption following the image
Topology 𝒢.
Details are in the caption following the image
State trajectories for continuous-time case.

Example 2. This example is for discrete-time multiagent systems. For simplicity, we suppose that the interaction topology is the same as that of continuous-time case, that is, 𝒢. Let A = 0.4, B = 0.7, and C = −0.8. By solving the optimization problem in Algorithm 16, we obtain γ = −0.2531 and

(24)
Figure 3 shows the consensus results.

Details are in the caption following the image
State trajectories for discrete-time case.

5. Conclusion

In this paper, we have studied the couple-group consensus problems for both continuous-time and discrete-time multiagent systems via output feedback control. By a system transformation, the consensus problems of multiagent systems have been converted into the stability problems of the error systems. Some necessary and sufficient conditions of couple-group consensus for multiagent systems have been obtained. Two algorithms have been given to compute the allowable control gains. The effectiveness of the proposed results has been shown by the simulation examples.

Conflict of Interests

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

Acknowledgment

The work was supported by the National Natural Science Foundation of China under Grants nos. 61203056, 61104007, 61203024, 61273123, and 61374061.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.