Consensus Conditions for a Class of Fractional-Order Nonlinear Multiagent Systems with Constant and Time-Varying Time Delays
The consensus problem for a class of fractional-order nonlinear multiagent systems with a distributed protocol containing input time delay is investigated in this paper. Consider both cases of constant time delay and time-varying delay, the delay-independent consensus conditions are obtained to achieve the consensus of the systems, respectively, by adopting the linear matrix inequality (LMI) methods and stability theory of fractional-order systems. As illustrated by the numerical examples, the proposed theoretical results work well and accurately.
The consensus problem based on distributed coordinated control of multiagent systems is widely applied in various engineering fields, such as the collaboration of mobile robotics, formation flight control for multi-unmanned aerial vehicles, the scheduling of intelligent transportation, etc. [1–6]. The distributed coordinated control strategy has advantages of high reliability, fast response speed, and flexible operation. The literature review illustrates that the consensus topic on the coordination of multiagent systems has been studied from a variety of perspectives, including the design of consensus protocols, exploration of consensus criteria, and actual application prospects. The consensus has achieved remarkably in theoretical research such as time-delay dependent consensus [7, 8], optimal consensus, finite time consensus, and consensus of higher-order systems [9–13]. The recently fruitful results on this topic refer to the following literature [14–16].
However, the results mentioned above are focused on integer-order systems. Actually, fractional calculus is more suitable to describe complex dynamics naturally. Compared with the integer-order case, the fractional-order model emphasizes time memory and nonlocal properties of the real systems. For example, fractional calculus fits to model the dynamics of intelligent vehicles moving on the road surface with viscoelastic materials [17–19]. From the perspective of control theory, fractional calculus techniques could improve the performance index of control systems considering nonlinear factors, uncertainties, perturbations, etc. [20, 21]. Hence, it is significant to investigate the consensus problem in the frame work of fractional-order models. As we know, the consensus investigation of fractional-order systems was firstly shown in . The convergence analysis of consensus of such kind of model was further studied in . The consensus of fractional-order systems with input or communication delays was discussed in [24, 25]. The fractional-order leader-following consensus is also considered by constructing appropriate Lyapunov function in .
In the actual network environment, the network-induced delay is unavoidable due to the limited network bandwidth, irregular date change, and so on. These disadvantages will affect the system performance or even deteriorate the system’s stability. Recently, the consensus issue of fractional-order multiagent systems with time-delay has attracted more attention. In , the fractional-order model with diverse communication delays is considered and sufficient consensus criteria were proposed by using the frequency-domain analysis. The consensus of the fractional-order model with nonuniform input and communication delays is investigated . The Lyapunov stability theory is also an efficient approach to estimate the consensus of complex dynamical systems in time-domain analysis. For example, the global asymptotical stability of fractional-order nonautonomous systems is obtained by constructing a feasible Lyapunov function . In , exponential consensus of fractional-order delayed systems with a heterogeneous impulsive control strategy is investigated by using the comparison principle. The key issue of this technique is to propose a suitable Lyapunov function for the considered system [31, 32].
The main contribution of this work is estimating time-delay effect quantitatively to the consensus achievement of fractional-order multiagent systems. Firstly, considering the distributed coordination control with constant time delay, we obtain sufficient delay-independent criteria to achieve the consensus of fractional-order systems by constructing appropriate Lyapunov matrix inequalities. Secondly, the theoretical results are extended to time-varying delay case and the corresponding delay-independent consensus criterion is also obtained. In addition, the Lyapunov–Krasovskii function candidates for the fractional-order system with Caputo derivative are constructed properly.
The rest of this paper is organized as follows: In Section 2, preliminary knowledge about graph theory and fractional calculus are given and then the consensus of fractional-order multiagent systems is described briefly in Section 3. In Section 4, we propose sufficient consensus criteria to ensure that the consensus of fractional-order systems is achieved in the case of containing constant or time-varying delay. Numerical examples are given to illustrate the effectiveness of the theoretical results in Section 5. Finally, in Section 6, some concluding remarks are drawn.
In this section, some preliminary knowledge about the concepts of algebraic graph theory and fractional calculus are introduced. Meanwhile, the relevant important assumption is presented.
2.1. Graph Theory
A digraph represents , the network topology, among agents, in which , , and stand for the node set of agents, edge set of joined agents, and weighted adjacency matrix of , respectively. If there is a directed edge from node to , then , and we note agent is a input neighbor of agent with and output neighbor of agent with . In other words, the information can be transformed from agent to agent ; otherwise, . The input degree matrix is and ; the Laplacian matrix of the weighted digraph is defined as . Let be the leader adjacency matrix of the union graph ; then, we can denote .
Assumption 1. A directed graph contains a directed spanning tree if there exists a leader node 0, such that it has directed paths to all other following nodes in .
Assumption 2. The matrix pair is stabilizable.
2.2. Fractional Calculus
The Riemann–Liouville and the Caputo fractional-order derivatives are two commonly used definitions. The autonomous fractional-order systems modeled with Caputo derivative could be converted to the similar initial value problem (IVP) and could also have definite physical meaning. Hence, we will use the fractional-order derivative with Caputo definition in this paper.
The Caputo fractional-order derivative  is defined aswhere is the integer satisfying and is the Gamma function satisfying for . In this paper, we consider the case of . Similarly, the definition of fractional-order integral  isand the following formula holds. As the Caputo fractional-order derivative is close to 1, the property holds if is differentiable .
Lemma 1. (see ). Let be a vector of differentiable function. Then, there exists some such that for any , the following inequality holds:where is a symmetric and positive definite or semidefinite matrix.
Lemma 2. (Schur complement ). If , , and are matrices and , then
3. Problem Statement
In this section, we will consider the general fractional-order nonlinear multiagent systems containing following agents over the directed network topology; the dynamics of the th agent is. Here, , , and denote the state, nonlinear factor, and control input of agent , respectively. and are constant matrices. The leader agent indexed by 0 has dynamics
For simplicity, we suppose the nonlinear function is continuous and satisfies the Lipschitz condition; i.e., for a given constant , .
Considering the complex communication environment, time-delay-induced blocking or delay is unavoidable. In order to realize the leader-following consensus of systems (5)-(6), we propose the following distributed control protocol with time delay:where K is the control gain matrix to be designed later. If agent is connected to the leader, ; otherwise, .
Definition 1. The leader-following consensus of systems (5)-(6) is said to be achieved, if the states of agents satisfyfor any initial condition.
The aim of this paper is to discuss the feasible consensus conditions to the system. The measurement error between agent and the leader is defined as ; multiagent systems (5)-(6) controlled by (7) can be rewritten asBy using the Kronecker product, the vector form of (9) is expressed aswhere and . The leader-following consensus of systems (5)-(6) is equivalent to the corresponding Lyapunov stability problem of system (10).
4. Main Results
Now, we will analyze the consensus problem of systems (5)-(6) by adopting the distributed control containing time delay. Considering both case of constant and time-varying delay, we will design the suitable distributed controllers and give sufficient conditions to ensure the consensus of the system, respectively.
4.1. Constant Time Delay
Theorem 1. Suppose that Assumptions 1 and 2 hold and there exist symmetric, positive definite matrices and and positive constants and such that the following inequalities hold:Then, the distributed controller designed in (7) with the control gain ensures that the leader-follower consensus of systems (5)-(6) can be reached asymptotically.
Proof. Consider a Lyapunov–Krasovskii function candidate defined asbased on the property of Caputo fractional-order derivative; the derivative of can be rewritten asLemma 1 can be used to calculate the upper bound of the derivative of along the trajectory of system (10); then, we obtainBy using the inequality for any , it hasSimilarly, with the Lipschitz condition,Hence, we deduce thatTherefore, is negative definite, which implies that the consensus of systems (5)-(6) is reached.
To check whether the algebraic Riccati inequality (11) can be solved, it suffices to determine a positive definite solution of an associated Lyapunov matrix inequality.
Lemma 3. Assume that is a positive definite matrix satisfying the following Lyapunov inequality:where and be positive scalars. Then, is also a solution of the algebraic Riccati inequality (11) provided that
Proof. From (19) and (20), for all , we conclude thatis negative due to condition (20). Hence, inequality (11) holds.
According to the Schur complement theorem, inequalities (11) and (12) can be rewritten as the following form.
Theorem 2. Suppose that Assumptions 1 and 2 hold and there exist symmetric, positive definite matrices and and positive constants and such that the following LMI holds:Then, the leader-follower consensus of systems (5)-(6) can be reached asymptotically.
4.2. Effects of Time-Varying Delay
Assumption 3. The time-varying delay satisfies the following conditions: (i) There exists such that . (ii) There exists such that .
Theorem 3. Suppose that Assumptions 1–3 are fulfilled and that there exist positive constants and and symmetric, positive definite matrices and such that the following LMI holds:Then, the distributed controller designed in (23) with the control gain ensures that the leader-follower consensus of systems (5)-(6) can be reached asymptotically.
Proof. We consider the Lyapunov–Krasovskii function candidateTaking the derivative of (25) yields the estimateBy Theorem 3, the derivative of along the trajectory of system (10) isSimilar to the proof of Theorem 1, one hasFrom (28), is negative definite; hence, it implies that the consensus of systems (5)-(6) is reached.
5. Numerical Examples
In the simulation, we will consider the networked multiagent system composed of a leader and four followers, as shown in Figure 1.
The system matrices are given as
A simple checking shows that is stable. According to the graph theory, the Laplacian and the matrix are written as
Case 1. Constant time delay.
Applying Theorem 1 and setting , , and , the corresponding feasible solutions of (11)-(12) are found to beObviously, and are symmetric, positive definite matrices. Also, they are satisfied to the LMI of Theorem 2. Substituting to system (10), the measurement error between agent and the leader will converge to 0 as shown in Figures 2(a) and 2(b). It implies the consensus of systems (5)-(6) will be achieved.
Case 2. Time-varying delay.
Given , the parameters can be chosen as and according to Assumption 3. Applying Theorem 3 and setting and , the corresponding feasible solutions of (24) are found to beBy straightforward checking, and are symmetric, positive definite matrices. The measurement error between agent and the leader will converge to 0 as shown in Figures 3(a) and 3(b). It implies the consensus of systems (5)-(6) will be achieved. The numerical simulations illustrate that if the fixed or variable time-delay could be estimated, then we could choose suitable parameters of the controller to eliminate the error between any agent and the leader fastly and the leader-follower consensus of systems (5)-(6) can be reached asymptotically.
This paper presents three main theorems to achieve the consensus of fractional-order multiagent systems containing input time delay. By using the graph theory, constructing the Lyapunov matrix inequality, and combining the stability of fractional-order time-delay systems, sufficient delay-independent consensus conditions are obtained. Numerical examples show that the proposed theorems and relevant calculation formula work efficiently and accurately. In the future work, we will consider extending the current work to the general vector systems with time-varying topologies.
Data are available on request to the corresponding author ([email protected]).
Conflicts of Interest
The authors declare that they have no conflicts of interest.
The authors thank the financial support of the NSF of China under Grant 11402125 and NSF of Jiangsu Province of China under Grant BK20140861.
A. Jadababaie, J. Lin, and A. S. Morse, “Coordination of groups of mobile autonomous agents using nearest neighbour rules,” IEEE Transactions on Automatic Control, vol. 48, no. 6, pp. 988–1001, 2003.View at: Google Scholar
W. Ren, R. W. Beard, and E. Atkins, “A survey of consensus problems in multi-agent coordination,” in Proceedings of the American Control Conference IEEE, pp. 1859–1864, Nice, France, May 2005.View at: Google Scholar
R. Hilfer, Applications of Fractional Calculus in Physics, Word Scientific, Singapore, 2000.
H. Yang, F. Wang, and F. Han, “Containment control of fractional order multi-agent systems with time delays,” IEEE/CAA Journal of Automatica Sinica, vol. 5, no. 3, pp. 727–732, 2016.View at: Google Scholar
C. L. Liu and Y. P. Tian, “Consensus of multi-agent system with diverse communication delays,” in Proceedings of the Control Conference, CCC Chinese IEEE, pp. 726–730, Hangzhou, China, May 2007.View at: Google Scholar
F. Wang and Y. Yang, “Leader-following exponential consensus of fractional order nonlinear multi-agents system with hybrid time-varying delay: a heterogeneous impulsive method,” Physica A: Statistical Mechanics and Its Applications, vol. 482, pp. 158–172, 2017.View at: Publisher Site | Google Scholar
M. A. Duarte-Mermoud, N. Aguila-Camacho, J. A. Gallegos, and R. Castro-Linares, “Using general quadratic Lyapunov functions to prove Lyapunov uniform stability for fractional-order systems,” Communications in Nonlinear Science and Numerical Simulation, vol. 22, no. 1, pp. 650–659, 2015.View at: Publisher Site | Google Scholar
I. Podlubny, Fractional Differential Equations, Academic Press, New York, NY, USA, 1999.