Discrete Dynamics in Nature and Society
Volume 2017 (2017), Article ID 9394751, 7 pages
https://doi.org/10.1155/2017/9394751

Research Article

Consensus of Fractional-Order Multiagent Systems with Double Integrator under Switching Topologies

Shiyun Shen, Wenjing Li, and Wei Zhu

Research Center of System Theory and Application, Chongqing University of Posts and Telecommunications, Chongqing 400065, China

Correspondence should be addressed to Wei Zhu; zhuwei@cqupt.edu.cn

Received 27 April 2017; Accepted 6 July 2017; Published 16 August 2017

Academic Editor: Antonio Iannizzotto

Copyright © 2017 Shiyun Shen et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

Due to the complexity of the practical environments, many systems can only be described with the fractional-order dynamics. In this paper, the consensus of fractional-order multiagent systems with double integrator under switching topologies is investigated. By applying Mittag-Leffler function, Laplace transform, and dwell time technique, a sufficient condition on consensus is obtained. Finally, a numerical simulation is presented to illustrate the effectiveness of the theoretical result.

1. Introduction

In recent years, cooperative control of multiagent systems has received compelling attention due to its wide applications such as minisatellites [1], unmanned vehicle [2], deployment [3], and rendezvous [4]. A significant and fundamental problem for cooperative control of multiagent systems (MASs) is consensus, which has broad applications in so many fields such as multivehicle systems [5], swarms, and flocks [6]. It was found that many MASs can be explained in the framework of fractional-order dynamics and the distributed control of fractional-order multiagent systems is becoming an important issue.

Consensus of FMASs was early discussed by Cao and Ren in [7–9] and then attracted many researchers’ attention. In [10], by using the matrix theory, graph theory and the frequency-domain analysis method, the control algorithm with absolute damping and communication delay was proposed to discuss the distributed formation control of FMASs. In [11], a distributed control law with a constant reference state was given, which ensured the consensus of FMASs with a time-varying reference state. In [12], the fractional Lyapunov direct method and Mittag-Leffler stability were used to study the consensus of nonlinear FMASs with directed topology, some sufficient conditions were given to guarantee the consensus of nonlinear FMASs withwithout a virtual leader. In [13], based on the connectivity of the graph and Riccati equation, the control gain matrix was designed and a sufficient condition on leader-following consensus of FMASs with general linear models was obtained. In [14, 15], the authors studied the leader-following consensus of FMASs with nonlinear dynamics by Lyapunov direct method, respectively. In [16], based on the properties of Mittag-Leffler function, matrix theory, and stability theory of fractional-order differential equations, some sufficient conditions on consensus were derived to guarantee the consensuses of linear and nonlinear FMASs for any bounded input time delay. In [17], a distributed observer-type protocol was proposed to study the consensus of FMASs by applying the properties of the Kronecker product, Mittag-Leffler function, and Laplace transform.

Most of the existing literatures about FMASs consensus focused on the fixed topology. In fact, when the multiagent system moves harmoniously, communications between agents are usually intermittent due to external disturbances, limited communication range, or the instability of wireless communication itself. The consensus of FMASs under switching topologies is a more important and challenging problem. In this paper, the consensus of FMASs with double integrator under switching topologies is investigated. By using Mittag-Leffler function, Laplace transform, and dwell time technique, a sufficient condition on consensus is presented to guarantee the consensus of the system.

2. Preliminaries

2.1. Graph Theory

To describe the switching topologies, we define a piecewise constant switching signal represented by according to , where and is the total number of all possible interconnection graphs.

The switching topologies of information exchange between agents are described by , , where and are the sets of vertices and edges of the graph , respectively. The adjacency matrices , where is the weight of the directed edge in the graph and and are called the initial and terminal nodes, respectively, which means that node can receive information from node . if and only if there is a directed edge in . Moreover, we assume for all , . The degree matrices are diagonal matrices, whose diagonal elements are given by . The Laplacian matrix of the weighted digraph is defined as for every . The set of neighbors of node is denoted by .

2.2. Caputo Fractional Derivative

The Caputo fractional derivative is defined as follows:

where is the fractional order, is any given natural number, and is the Gamma function defined as . A simple notion will be used to denote if no confusion has arisen.

Let denote the Laplace transform of a function. Then we have

where is the Laplace transform of .

Similar to the exponential function frequently used in the solutions of integer-order systems, a function frequently used in the solutions of fractional-order systems is the Mittag-Leffler function.

Definition 1 (see [18]). The two-parameter function of the Mittag-Leffler type is defined by

where , , and is a complex number.

In particular, let and ; (3) becomes

2.3. System Model Description

Consider the following fractional-order double-integrator multiagent systems with agents:

where , , , and are the states and control input of the th agent, respectively. Assume that the initial states of each agent are denoted by and .

Definition 2. For multiagent systems (5), the protocols are said to solve the consensus if and only if, for any initial values, the states of the agents satisfy

To study the consensus of multiagent systems (5), the following consensus control protocol will be used:

where is the control parameter to be designed later.

Let , . Then (5) can be rewritten in the following compact form:

Furthermore, let , , , where

that is, , . Then, by (8), we have

Define , . Then, (10) can be decoupled as follows:

where

Let ; (11) can be rewritten in the following compact form:

where

3. Main Results

Let be the set over which there is a directed spanning tree for any and be the set over which there is no directed spanning tree for any . Denote the cardinality of by . Without loss of generality, we assume that and for some . Assume that the activating topology on , , is , where and mod , and set if . Let , where is called to be the dwell time of the switching signal . During each of intervals, the interconnection topology does not change. For any , let denote the total activation time of , and , .

Based on Lemma in [17], with a mild revision, we have the following.

Lemma 3. All the eigenvalues of matrix have positive real parts if and only if .

Lemma 4 (see [19]). Let

Assume that the control parameter satisfies , , where denotes the set of all eigenvalues of . Then if and only if all eigenvalues of have positive real parts.

By Lemma in [20], with a mild revision, we have the following.

Lemma 5. There exist finite real constants such that, for any and ,

In addition, if is a stable matrix, then there are some real constants , such that

Theorem 6. Consider the fractional-order double-integrator multiagent systems (5) under the control protocol (7) and take . Then, the consensus can be achieved if the switching signal satisfying the dwell time condition (28) and the following inequality holds:

where and satisfies and .

Proof. For , taking the Laplace transform on (13) and using the Laplace transform (2) with , we have

Then, taking the inverse Laplace transform of (19), one can obtain that

For , since the communication graph has a directed spanning tree, by Lemma 3, all the eigenvalues of matrix have positive real parts. It follows from the choice of parameter and Lemma 4 that . Hence, is a stable matrix. It follows from Lemma 5 that there exist constants and such that

For , since and , obviously, is well defined. It follows from Lemma 5 that there exist constants such that

Then, for , by (21), we obtain that

For , by (22), one can derive that

and, then, for , we obtain that

In general, noticing that is finite, using the definitions of , , , and (25), it is clear that

where .
According to , there exists a constant such that , so . By (26), we have

Thus, for the switching signal satisfying the dwell time condition,

we can derive that , which implies that the consensus can be achieved asymptotically.

4. A Numerical Example and Simulation

Consider the fractional-order multiagent systems with . The switching topologies are shown in Figure 1.

Figure 1: Switching topologies: , .

For simplicity, we assume if in , . Then, by the definition of , we have

By simple computation, we have , , , , , , , ; then . It is clear that there is a directed spanning tree in and . Then, the consensus can be achieved for some and switching signal satisfying (18).

Let , , and the initial states be , , , , , , , , , and . The control and switching sequence are depicted in Figure 2. The state responses and are depicted in Figure 3, which shows the consensus is achieved asymptotically.

Figure 2: Control and switching sequence.

Figure 3: State responses and of each agent.

Remark 7. From the above simulation, it is found that the condition (18) is conservative. But within this frame of this paper, the condition (18) can hardly be improved. Sharpening the condition may require a new method. We leave this for further investigation.

5. Conclusions

The consensus problem of fractional-order multiagent systems with double integrator under switching topologies is investigated, where the fractional order satisfies . Consensus algorithms with a control parameter are designed. Based on the Mittag-Leffler function, Laplace transform, and dwell time technique, a sufficient condition is obtained, which ensures that the consensus of fractional-order multiagent systems can achieved asymptotically. The consensus problem of fractional-order multiagent systems with jointly connected topologies will be discussed in future study.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper and the mentioned received funding does not lead to any conflicts of interest regarding the publication.

Acknowledgments

This work is supported partly by National Natural Science Foundation of China under Grants 61673080 and 61403314, partly by Training Programme Foundation for the Talents of Higher Education by Chongqing Education Commission, and partly by Innovation Team Project of Chongqing Education Committee under Grant CXTDX201601019.

References

Y. Sun, “Average consensus in networks of dynamic agents with uncertain topologies and time-varying delays,” Journal of the Franklin Institute. Engineering and Applied Mathematics, vol. 349, no. 3, pp. 1061–1073, 2012.

W. Ren and E. Atkins, “Distributed multi-vehicle coordinated control via local information exchange,” International Journal of Robust and Nonlinear Control, vol. 17, no. 10-11, pp. 1002–1033, 2007.

C. Nowzari and J. Cort\'es, “Self-triggered coordination of robotic networks for optimal deployment,” Automatica. A Journal of IFAC, the International Federation of Automatic Control, vol. 48, no. 6, pp. 1077–1087, 2012.

Y. Fan, G. Feng, Y. Wang, and C. Song, “Distributed event-triggered control of multi-agent systems with combinational measurements,” Automatica. A Journal of IFAC, the International Federation of Automatic Control, vol. 49, no. 2, pp. 671–675, 2013.

J. A. Fax and R. M. Murray, “Information flow and cooperative control of vehicle formations,” Institute of Electrical and Electronics Engineers. Transactions on Automatic Control, vol. 49, no. 9, pp. 1465–1476, 2004.

H. G. Tanner, A. Jadbabaie, and G. J. Pappas, “Flocking in fixed and switching networks,” Institute of Electrical and Electronics Engineers. Transactions on Automatic Control, vol. 52, no. 5, pp. 863–868, 2007.

Y. Cao and W. Ren, “Distributed formation control for fractional-order systems: dynamic interaction and absolute/relative damping,” Systems and Control Letters, vol. 59, no. 3-4, pp. 233–240, 2010.

Y. C. Cao, Y. Li, W. Ren, and Y. Q. Chen, “Distributed coordination of networked fractional-order systems,” IEEE Transactions on Systems, Man, and Cybernetics B: Cybernetics, vol. 40, no. 2, pp. 362–370, 2010.

Y. Cao, Y. Li, W. Ren, and Y. Q. Chen, “Distributed coordination algorithms for multiple fractional-order systems,” in Proceedings of the 47th IEEE Conference on Decision and Control (CDC '08), pp. 2920–2925, Cancun, Mexico, December 2008.

J. Bai, G. Wen, A. Rahmani, and Y. Yu, “Distributed formation control of fractional-order multi-agent systems with absolute damping and communication delay,” International Journal of Systems Science. Principles and Applications of Systems and Integration, vol. 46, no. 13, pp. 2380–2392, 2015.

J. Bai, G. Wen, A. Rahmani, X. Chu, and Y. Yu, “Consensus with a reference state for fractional-order multi-agent systems,” International Journal of Systems Science. Principles and Applications of Systems and Integration, vol. 47, no. 1, pp. 222–234, 2016.

P. Gong, “Distributed consensus of non-linear fractional-order multi-agent systems with directed topologies,” IET Control Theory & Applications, vol. 10, no. 18, pp. 2515–2525, 2016.

W. Zhu, M. Wang, and C. Yang, “Leader-following consensus of fractional-order multi-agent systems with general linear models,” in Proceedings of the 2014 11th World Congress on Intelligent Control and Automation, WCICA 2014, pp. 3493–3496, IEEE, Shenyang, China, July 2014.

G. Ren, Y. Yu, and S. Zhang, “Leader-following consensus of fractional nonlinear multiagent systems,” Mathematical Problems in Engineering, Article ID 919757, Art. ID 919757, 8 pages, 2015.

Z. Yu, H. Jiang, and C. Hu, “Leader-following consensus of fractional-order multi-agent systems under fixed topology,” Neurocomputing, vol. 149, pp. 613–620, 2015.

W. Zhu, B. Chen, and J. Yang, “Consensus of fractional-order multi-agent systems with input time delay,” Fractional Calculus and Applied Analysis, vol. 20, no. 1, pp. 52–70, 2017.

W. Zhu, W. Li, P. Zhou, and C. Yang, “Consensus of fractional-order multi-agent systems with linear models via observer-type protocol,” Neurocomputing, vol. 230, pp. 60–65, 2017.

L. Chen, Y. Chai, R. Wu, and J. Yang, “Stability and stabilization of a class of nonlinear fractional-order systems with caputo derivative,” IEEE Transactions on Circuits and Systems II: Express Briefs, vol. 59, no. 9, pp. 602–606, 2012.

W. Zhu and D. Cheng, “Leader-following consensus of second-order agents with multiple time-varying delays,” Automatica. A Journal of IFAC, the International Federation of Automatic Control, vol. 46, no. 12, pp. 1994–1999, 2010.

M. De La Sen, “About robust stability of caputo linear fractional dynamic systems with time delays through fixed point theory,” Fixed Point Theory and Applications, vol. 2011, Article ID 867932, 2011.