 Research
 Open Access
 Published:
Leaderfollowing consensus for fractional multiagent systems
Advances in Difference Equations volume 2019, Article number: 301 (2019)
Abstract
A leaderfollowing consensus for Caputo fractional multiagent systems with nonlinear intrinsic dynamics is investigated. The second Lyapunov method is used to design a control protocol ensuring a consensus for two types of multiagent systems. Contrary to the previous studies on leaderfollowing consensus, the investigation covers systems with bounded and unbounded timedependent Lipschitz coefficients in the intrinsic dynamics. Moreover, coupling strength describing the interactions between agents is considered to be a function of time.
Introduction
A canonical problem that appears in the coordination of dynamic multiagent networks is the consensus problem: given initial values of nodes (agents), establish conditions under which, through local interactions and computations, nodes (agents) asymptotically reach an agreement upon a common state. The consensus problem plays an important role in various contexts such as wireless communication networks, sensor networks, leader election, clock phase synchronization, and air traffic control systems. It has been extensively studied by numerous researchers from different perspectives. There already exists a vast literature concerning firstorder multiagent systems [1,2,3,4], secondorder multiagent systems [5,6,7], fractionalorder multiagent systems [8,9,10], and fractionalorder multiagent systems with a leader [11,12,13,14]. This paper is concerned with the lastmentioned case of systems, that is, we study a leaderfollowing consensus for fractional multiagent systems. Fractional calculus is a generalization of differentiation and integration to the arbitrary (noninteger) order. Fractional operators are excellent tools for modeling the memorydependent phenomena [15, 16]. Moreover, it was shown in [17] that fractionalorder derivative provides single neurons with a fundamental and general computation that can contribute to efficient information processing. Presently, when computations become faster and memory becomes cheaper, the application of fractionalorder models is possible and affordable. Therefore, the stability properties of fractionalorder neural networks are extensively studied by many researchers, see, e.g., [18,19,20,21,22] and the references therein. Many of real systems have been successfully described by models with fractional derivatives (see, for example, viscoelastic polymers [23], semiinfinite transmission lines with losses [24], dielectric polarization [25]). In engineering, the digital fractionalorder controller was designed to control temperature in [26], the fractionalorder PID controller was used in [27] to control the trajectory of the flight path. For a recent account of applications of fractional calculus in science and engineering, we refer the reader to [28].
In this paper, we consider a fractionalorder system consisting of N agents, plus one additional agent, which acts as the group leader and which is independent of all other agents (followers). This means the agents have no influence on the dynamics of the leader. All agents and the leader share the same intrinsic dynamics given by a nonlinear function. In the literature, results concerning problems with intrinsic nonlinear dynamics have been reported, for example, in [11, 13, 14, 29, 30]. In [29, 30], the authors consider the fixedtime group consensus problems in networks of dynamic agents with unknown inherent nonlinear dynamics and with intrinsic nonlinear dynamics and bounded uncertainties, respectively. Systems are described by ordinary differential equations, and the results are obtained using Lyapunov theory, algebraic graph theory, and fixedtime stability. Systems more similar to the one considered in this paper, that is, fractionalorder multiagent systems, are investigated in [11, 13, 14]. The consensus control law is designed based on optimal control theory or algebraic graph theory and Lyapunov method. However, there are two main differences with respect to our framework: in [11, 13, 14] the Lipschitz coefficient is a constant, while here we deal with the timedependent Lipschitz coefficient. The second difference is that we do not assume a constant coupling strength in the interactions between agents. In our formulation, the coupling strength is a function of time. The main advantage of the proposed approach is that we can analyze a more general case, which covers a wider class of systems comparing with the ones that have already been studied in the literature. Moreover, it is worth to stress out that the coupling strength that we consider as a function of time (nonconstant) is more natural and realistic for applications.
The contribution of this paper is summarized as follows. By the Lyapunov function method, we design a control law that guarantees the leaderfollowing consensus: the state of each follower asymptotically converges to the state of the leader. Both cases of bounded Lipschitz coefficient and unbounded Lipschitz coefficient are studied. For any of these cases, we propose a set of sufficient conditions to guarantee a consensus. Compared with previous works, the major difficulty of the problem considered here is caused by the intrinsic nonlinear dynamics and is connected with its timedependent Lipschitz coefficient and the timevarying coefficients in the control protocol. It requires the application of nonquadratic Lyapunov functions and their fractional derivatives different from the Caputo derivative. To tackle this difficulty, an appropriate extension of the Lyapunov second method is used.
The paper is organized in the following manner. Preliminaries section includes definitions, lemmas, and remarks used in the sequel. The next section contains our main results. After the introduction of the system of the model, the control protocol is proposed. Sufficient conditions for the leaderfollowing consensus are provided in two subsections with two separate theorems. Theorem 1 concerns the case of multiagent systems with intrinsic nonlinear dynamics described by a function with a bounded timedependent Lipschitz coefficient and timevarying coefficients in the control protocol. The most general case is considered in Theorem 2. Namely, the function appearing in the intrinsic nonlinear dynamics has an unbounded timedependent Lipschitz coefficient and coefficients in the control protocol are timevarying. In both cases, examples verifying theoretical discussion are provided.
Preliminaries
In this section, we recall the necessary definitions and facts that will be used in the sequel. Throughout the paper we follow the notation: \(L_{1}([0,T))\) denotes the space of functions defined on \([0,T)\) for which the absolute value is Lebesgue integrable; \(\operatorname{AC}([0,T))\) denotes the space of functions defined on \([0,T)\) that are absolutely continuous; \(C([0,T))\) denotes the space of functions defined on \([0,T)\) that are continuous.
The Riemann–Liouville fractional derivative of order \(q\in (0,1)\) of function \(m\in [4] L_{1}([0,T))\), \(T\leq \infty \), is given by (see, e.g., [31])
where \(\varGamma (z):=\int _{0}^{\infty }t^{z1}\exp (t) \,dt\), \(z>0\), is the gamma function.
The Caputo fractional derivative of order \(q\in (0,1)\) of function \(m\in \operatorname{AC}([0,T))\), \(T\leq \infty \), is defined by (see, e.g., [31])
Let us consider the ndimensional Caputo fractionalorder system
where \(x:[0,T)\rightarrow \mathbb{R}^{n}\), \(f\in C([0,T)\times \mathbb{R}^{n},\mathbb{R}^{n})\), \(T\leq \infty \), and \(f(t,0)\equiv 0\), \(t\geq 0\). Observe that \(\bar{x}=0\) is an equilibrium point of system (1), that is, \({}_{0}^{C}D^{q}_{t}\bar{x}=0=f(t, \bar{x})\).
Definition 1
([32])
An equilibrium point \(\bar{x}=0\) of system (1) is asymptotically stable if, for any initial condition \(x_{0}\), a solution to (1) satisfies \(\lim_{t\rightarrow \infty }\x(t)\=0\), where \(\\cdot \\) denotes an arbitrary norm in \(\mathbb{R}^{n}\).
Similarly to integerorder systems, the Lyapunov second method can be used to analyze the asymptotic stability of nonlinear fractionalorder system (1) without explicitly solving it. The main idea is to find an appropriate Lyapunov function for system (1). To this end, let V be a Lyapunov function, i.e., \(V:[0,T)\times \Delta \rightarrow \mathbb{R}_{+}\) (where \(\Delta \subset \mathbb{R}^{n}\), \(0 \in \Delta \)) is continuous on \([0,T)\times \Delta \) and it is locally Lipschitz with respect to its second argument. In the literature, one can find mainly three types of derivatives of a Lyapunov function along the trajectories of the solutions of system (1).
 1.
The Caputo fractional derivative of V. Let \(x:[0,T) \to \Delta \) be a solution of (1). Then
$$ {}_{0}^{C}D^{q}_{t}V \bigl(t,x(t)\bigr)= \frac{1}{\varGamma ( 1q )} \int _{0}^{t} ( ts ) ^{q} \frac{d}{ds} \bigl(V\bigl(s,x(s)\bigr) \bigr)\,ds, \quad t\in [0,T). $$(2)This type of derivative is applicable for continuously differentiable Lyapunov functions. It is mainly used for quadratic Lyapunov functions to study several stability properties of fractional differential equations (see, for example, [33]). In the context of the Caputo fractional derivative of a Lyapunov function, the following lemma is useful.
Lemma 1
([32])
Let \(P\in \mathbb{R}^{n\times n}\) be a constant, symmetric, and positive definite matrix and \(x:\mathbb{R}_{+} \to \mathbb{R}^{n}\) be a function for which the Caputo fractional derivative exists. Then

2.
The Dini fractional derivative of V (see [34]). Let \(t \in [0,T)\) and \(x \in \Delta \). Then
$$ \mathcal{ D}_{\text{(1)}}^{+}V(t,x)=\limsup _{h\to 0}\frac{1}{h ^{q}} \Biggl[V(t,x)\sum _{r=1}^{[\frac{t}{h}]}(1)^{r+1} {}_{q}C_{r} V\bigl(trh,xh ^{q}f(t,x)\bigr) \Biggr] , $$(3)where \({}_{q}C_{r}=\frac{q(q1)(q2)\dots (qr+1)}{r!}\).
Let us note that Dini derivative (3) is closer to both the Grunwald–Letnikov and the Riemann–Liouville fractional derivatives than to the Caputo fractional derivative. It does not depend on the initial value \(V(0,x_{0})\), which is typical for the Caputo derivative. It is applicable for continuous Lyapunov functions.
Remark 1
In the general case one has \({\mathcal{D}}_{\text{(1)}}^{+}V(t,x(t)) \neq {}_{0}^{C}D^{q}_{t}V(t,x(t))\), where \(x:[0,T)\rightarrow \Delta \) is a solution of (1).

3.
The Caputo fractional Dini derivative of V (see [34]). Let \(t \in [0,T)\) and \(x,x_{0} \in \Delta \), where \(x_{0}\) is the initial condition of (1). Then
$$ \begin{aligned}[b]{}_{\text{(1)}}^{C}D_{+}^{q}V(t,x;0, x_{0})&= \limsup_{h\rightarrow 0^{+}} {\frac{1}{h^{q}}} \Biggl\{ V(t,x)V(0, x _{0}) \\ & \quad {}\sum_{r=1}^{[\frac{t}{h}]}(1)^{r+1} {}_{q}C_{r} \bigl(V\bigl(trh,xh^{q}f(t,x) \bigr)V(0, x_{0}) \bigr) \Biggr\} \end{aligned} $$(4)or using the equality \({}_{0}^{\mathrm{RL}}D^{q}_{t} 1=\frac{1}{ \varGamma (1q)}t^{q}=\limsup_{h\rightarrow 0^{+}} {\frac{1}{h^{q}}} \sum_{r=0}^{[\frac{t}{h}]}(1)^{r} {}_{q}C_{r} \) (see [31]) we obtain the equivalent form
$$ \begin{aligned}[b] &{}_{\text{(1)}}^{C}D_{+}^{q}V(t,x;0,x_{0}) \\ &\quad =\limsup_{h\rightarrow 0^{+}} {\frac{1}{h^{q}}} \Biggl\{ V(t,x) + \sum_{r=1}^{[\frac{t}{h}]}(1)^{r} {}_{q}C_{r} V\bigl(trh,xh^{q}f(t,x)\bigr) \Biggr\} \\ & \qquad {} V(0, x_{0})\limsup_{h\rightarrow 0^{+}} { \frac{1}{h^{q}}}\sum_{r=0} ^{[\frac{t}{h}]}(1)^{r} {}_{q}C_{r} \\ &\quad =\limsup_{h\rightarrow 0^{+}} {\frac{1}{h^{q}}} \Biggl\{ V(t,x) + \sum_{r=1}^{[\frac{t}{h}]}(1)^{r} {}_{q}C_{r} V\bigl(trh,xh^{q}f(t,x)\bigr) \Biggr\} \frac{V(0,x_{0})}{t^{q}\varGamma (1q)}. \end{aligned} $$Let us observe that derivative (4) depends significantly on both the fractionalorder q and the initial data \((0,x_{0})\) of system (1). This type of derivative is close to the idea of the Caputo fractional derivative. It is applicable for continuous Lyapunov functions.
Remark 2
For any \(t>0\) and \(x, x_{0}\in \Delta \), one has:
In the next section, to prove the main results of the paper, we will use the following lemmas.
Lemma 2
(Theorem 11 from [35])
Let \(\bar{x}=0\) be an equilibrium point for the nonautonomous fractionalorder system (1). Assume that there exists a Lyapunov function \(V(t,x)\) such that
where \(\beta \in (0,1)\), functions \(\alpha _{i}\in C([0,\infty ),[0, \infty ))\), \(i=1,2,3\), are strictly increasing and \(\alpha _{i}(0)=0\). Then the equilibrium point \(\bar{x}=0\) of system (1) is asymptotically stable.
Lemma 3
(Theorem 3 from [36])
Let there exists the Lyapunov function V such that \(V(t,0)=0\), \(t\geq 0\), and
where functions \(\alpha _{i}\in C([0,\infty ),[0,\infty ))\), \(i=1,2,3\), are strictly increasing and \(\alpha _{i}(0)=0\). Then the equilibrium point \(\bar{x}=0\) of system (1) is asymptotically stable.
Main results
In this section, we consider the multiagent network that consists of N agents and a leader. The dynamics of each agent, labeled \(x_{i} \), \(i = 1, 2, \dots , N\), is given by the following equation:
where \(q\in (0,1)\), \(x_{i}(t)\in \mathbb{R}\) is the state and \(u_{i}(t)\) is the control input of the ith agent at the moment t, \(f\in C([0,T)\times \mathbb{R},\mathbb{R})\), \(T\leq \infty \), is a nonlinear function describing the intrinsic dynamics for the ith agent. The virtual leader for multiagent system (5) is an isolated agent described by
where \(x_{0}\) is the state of the virtual leader. All agents and the leader share the same intrinsic dynamics.
In what follows, it is assumed that fractionalorder system (5) and (6) has a unique solution for any initial values \((x_{0}^{0}, x_{0}^{1}, \dots , x_{0}^{N})^{T}\) (for the existence results see, for example, [31]).
Definition 2
([3])
Multiagent system (5) and (6) is said to achieve the leaderfollowing consensus if a solution to (5) and (6) satisfies
for any initial values \(x_{i}^{0}\in \mathbb{R}\), \(i = 0, 1, 2, \dots , N\).
The control protocol is proposed as
where \(a_{ij} \), \(i,j=1,2,\dots ,N\), is the \((i,j)\)th entry of the adjacency matrix \(A\in \mathbb{R}^{N\times N}\) associated with the undirected graph \(\mathcal{G}\) that describes the information exchange between agents; \(b_{i}=1\), \(i=1,2,\dots ,N\), if there exists the information flow from the virtual leader to agent i and \(b_{i}=0\) otherwise, \(\beta \in C([0,\infty ),(0,\infty ))\) is the coupling strength function.
In what follows, \(B=\operatorname{diag}\{b_{1},b_{2},\dots ,b_{N}\}\) and \(H=L+B\), where matrix \(L=[l_{ij}]\in \mathbb{R}^{N\times N}\) with \(l_{ii}=\sum_{i\neq j}a_{ij}\) and \(l_{ij}=a_{ij}\), \(i\neq j\), is called the graph Laplacian matrix induced by graph \(\mathcal{G}\).
Let us denote by \(y_{i}(t) = x_{i}(t) x_{0}(t)\) the state error between the ith agent and the leader. Then system (5) and (6) with \(u_{i}\) given by (7) implies that
Let \(\varLambda =P^{1}HP\) be the Jordan canonical form of matrix H, where \(P=\{p_{ij}\}\in \mathbb{R}^{N\times N}\) and its inverse \(P^{1}=\{\bar{p}_{ij}\}\in \mathbb{R}^{N\times N}\).
Set \(z(t)=P^{1}y(t)\), where \(y(t)=(y_{1}(t), y_{2}(t),\dots , y_{N}(t))^{T}\). Then (8) can be rewritten in the vector form
where
Remark 3
Observe that under an assumption \(f(t,0)\equiv 0\) for \(t\geq 0\), \(\bar{z}=0\) is an equilibrium point of system (9). On the other hand, if \(\bar{z}=0\), then \(y(t)=P\bar{z}=0\). Therefore, the fact that multiagent system (5) and (6) with the proposed control law (7) achieves a leaderfollowing consensus is equivalent to the asymptotic stability of the equilibrium point \(\bar{z}=0\) of system (9).
For \(M\in \mathbb{R}^{N\times N}\), we consider the norm \(\M\_{1}= \max_{1\leq j\leq N}\sum_{i=1}^{N}m_{ij}\).
In the following two subsections, using the direct Lyapunov method, we will prove sufficient conditions for the leaderfollowing consensus in system (5) and (6) with the control protocol given by (7). For this purpose, we assume that:
 A1:
\(f(t,0)\equiv 0\) for \(t\geq 0\), i.e., \(\bar{z}=0\) is an equilibrium point of system (9).
 A2:
Function f is Lipschitz, i.e., there exists a function \(L\in C([0,\infty ),(0,\infty ))\) such that \(f (t, z)f(t,v)\leq L(t)zv\) for \(z,v\in \mathbb{R}\) and \(t \geq 0\).
Intrinsic nonlinear dynamics with the bounded Lipschitz coefficient and timevarying coefficients in the control protocol
Theorem 1
Assume that assumptions A1 and A2 hold. Additionally, let
 (i)
the Lipschitz coefficient \(L\in C([0,\infty ), (0,\infty ))\) be bounded, i.e., there exists a constant \(K>0\) such that \(L(t)\leq K\), \(t\geq 0\);
 (ii)
there exists a constant \(\bar{\beta }>K \frac{\P\_{1} \P ^{1}\_{1}}{\min_{1\leq i\leq N}\{\lambda _{i}\}}\) such that function β satisfies the condition \(\beta (t)\geq \bar{\beta }\) for all \(t\geq 0\).
Then multiagent system (5) and (6) with control law (7) achieves a leaderfollowing consensus.
Proof
Consider the quadratic function \(V(t,x)=x^{T}x\) with \(x\in \mathbb{R}^{N}\). Applying Lemma 1 to the solution \(z(\cdot )\), \(t>0\), of system (9), we get
By assumptions A2 and (i), it follows that there exists a function \(\alpha _{3}\in C([0,\infty ),[0,\infty ))\), \(\alpha _{3}(0)=0\) such that \({}_{0}^{C}D^{q}_{t}V(t,z(t))\leq \alpha _{3}(\z\)\). According to Lemma 2, the equilibrium point \(\bar{z}=0\) of system (9) is asymptotically stable. Therefore, by the substitution \(Z(t)=P^{1}Y(t)\), we get \(\lim_{t\to \infty }y_{i}(t)=0 \) or \(\lim_{t\to \infty }x_{i}(t) x_{0}(t)=0\), \(i=1,2,\dots ,N \), which proves the claim. □
Remark 4
If the Lipschitz coefficient in assumption A2 is a constant, i.e., \(L(t)\equiv l\), then Theorem 1 is reduced to Theorem 11 from [13].
To illustrate the effectiveness of the sufficient conditions given in Theorem 1, we consider the modified example from [13].
Example 1
Let us consider a network of seven followers and a leader with matrices
Therefore, the model is
The eigenvalues of the matrix \(H=L+B\) are 0.07, 0.382, 0.6767, 1.4080, 2.6180, 3.2982, and 4.5472. We also have that \(\P\_{1} = 2.4835\) and \(\P^{1}\_{1}= 2.3669\). The case with \(f(t,z)=\frac{1}{6}\sin (z)\) was studied in [13]. Here we consider the nonlinear intrinsic dynamics of the virtual leader given by \(f(t,z)=e^{t}\sin (z)\). In this case, \(L(t)=e^{t}\) is a timevarying function, so the results of [13] could not be applied. However, if we choose \(\bar{\beta }=90\) and \(K=1\), then the conditions of Theorem 1 are satisfied and, what follows, the leaderfollowing consensus is achieved. Figures 1 and 2 show the states of all agents with the nonlinear intrinsic dynamics of the virtual leader \(f(t,z)=e^{t}\sin (z)\) and two different initial values \((1,5,8,9,2,10,3,0)^{T}\) and \((18, 50, 80, 19, 20, 60, 33, 0)^{T}\), respectively. It could be seen that the state of each follower asymptotically converges to the state of the leader, i.e., the leaderfollowing consensus is achieved. Figures 1 and 2 show the states of all agents with initial values \((1,5,8,9,2,10,3,0)^{T}\) and \((18, 50, 80, 19, 20, 60, 33, 0)^{T}\), respectively. When the nonlinear intrinsic dynamics of the virtual leader given by \(f(t,z)=\sin (t)\sin (z)\) or the coupling strength function by \(\beta (t) = 90+ \sin (t)\) assumptions of Theorem 1 still hold, and the leaderfollowing consensus is achieved. Figures 3 and 4 show the states of all agents with initial values \((1,5,8,9,2,10,3,0)^{T}\), and with \(f(t,z)=\sin (t)\sin (z)\) and \(\beta (t)= 90+ \sin (t)\), respectively. Apparently, the state of each follower asymptotically converges to the state of the leader, i.e., the leaderfollowing consensus is achieved. We point out that the behavior of state trajectories is similar in spite of changing the coupling strength function β and the initial values. Moreover, we observe very fast convergence to the consensus.
Remark 5
The value obtained for β̄ is conservative. As shown in Figs. 1–4, the bound for function β can be in practice much smaller than theoretical one β̄. The conservativeness of the bound is caused by: (1) the bound on the Caputo derivative of the Lyapunov function. In this respect, the approach which does not rely on the Lyapunov second method could provide a possible alternative; (2) the generality of the considered system. In this respect, the results for the case of the system with the constant coupling strength and the constant Lipschitz coefficient have been reported in [13].
Intrinsic nonlinear dynamics with an unbounded Lipschitz coefficient and timevarying coefficients in the control protocol
Theorem 2
Assume that assumptions A1 and A2 hold. Additionally, let there exist a function \(g\in C([0,\infty ), (0,\infty ))\) such that
Then multiagent system (5) and (6) with control law (7) achieves a leaderfollowing consensus.
Proof
Observe that using the quadratic function \(V(t,x)=x^{T}x\), as in the proof of Theorem 1, we obtain inequality (10), which is not giving any bound of the Caputo fractional derivative \({}_{0}^{C}D ^{q}_{t}V(t,z(t))\) since now L could be unbounded. Therefore, we consider the Lyapunov function \(V(t,x)=g(t)x^{T}x\), \(x\in \mathbb{R}^{N}\). By formula (3), for any point \(z\in \mathbb{R}^{N}\), \(z=(z_{1},z_{2}.\dots ,z_{N})\), and \(t>0\), the Dini fractional derivative for system (9) is
where \(G_{i}(t,z)=\beta (t) \lambda _{i} z_{i} +\sum_{j=1}^{N}\bar{p} _{ij} (f(t,\sum_{k=1}^{N} p_{jk}z_{k} x_{0})f(t,x_{0}) )\).
Hence
Substituting (14) into (13) we get
The claim follows by inequality (15), assumption (12), Remark 2, and Lemma 3. □
Remark 6
Note that the main difficulty in the application of sufficient conditions provided by Theorem 2 is connected with obtaining an appropriate function g in the Lyapunov function \(V(t,x)=g(t)x^{T}x\).
The next example illustrates Theorem 2.
Example 2
Let us consider a network of seven followers and a leader, modeled by system (5) and (6) with control (7), where matrices A and B are defined in Example 1. Now, the nonlinear intrinsic dynamics of the leader is given by \(f(t,z)=L(t)z\) with
where \(\P\_{1} = 2.4835\) and \(\P^{1}\_{1}= 2.3669\) (see Example 1). Please note that the Lipschitz coefficient \(L(\cdot )\) is not bounded (see Fig. 5).
Let us consider \(\beta (t)=\frac{10E_{q}(t^{q})}{t^{q}\min_{1\leq i \leq 7}\lambda _{i}}\) and the Lyapunov function \(V(t,z)=(E_{q}(t^{q})+0.1) \sum_{i=1}^{7}(z_{i})^{2}\) for \(t\geq 0\), \(z\in \mathbb{R}^{7}\). Then inequality (12) reduces to
According to Theorem 2, the multiagent system achieves the leaderfollowing consensus, i.e., \(\lim_{t\to \infty }x_{i}(t)x_{0}(t)=0\), \(i=1,2,\dots ,7\). Figure 6 shows the states of all agents with initial values \((1,5,8,9,2,10,3,0)^{T}\). It could be seen that the state of each follower asymptotically converges to the state of the leader.
Conclusions
The consensus problem is a key point in the dynamic multiagent networks. In this paper, a leaderfollowing consensus problem of Caputo fractional multiagent systems was studied. Since asymptotic stability of the properly transformed system ensures the consensus in the considered model, stability analysis with the use of the second Lyapunov method was performed. We proposed a control protocol under which two types of examined multiagent systems achieve a consensus. As a result, a set of sufficient conditions was derived to guarantee a consensus. Finally, numerical examples were presented to show the effectiveness of our theoretical results. Since many realworld phenomena are described by directed networks, such as the World Wide Web or mobile networks, as the future work the analysis of the case when the information exchange between agents is described by a directed graph can be considered. Investigating our approach to design a control law that guarantees the follower agents tracking their corresponding leaders in each subgroup (group consensus) [37] does also represent an interesting research venue. Other important directions of further investigation are scaled consensus with and without time delay [38,39,40] for fractional multiagent systems problems. Those problems will be studied in subsequent papers.
References
 1.
Jadbabaie, A., Lin, J., Morse, A.S.: Coordination of groups of mobile autonomous agents using nearest neighbor rules. IEEE Trans. Autom. Control 48, 988–1001 (2003)
 2.
OlfatiSaber, R., Murray, R.M.: Consensus problems in networks of agents with switching topology and timedelays. IEEE Trans. Autom. Control 49, 1520–1533 (2004)
 3.
Wei, N., Cheng, D.: Leaderfollowing consensus of multiagent systems under fixed and switching topologies. Syst. Control Lett. 59, 209–217 (2010)
 4.
Sakthivel, R., Sakthivel, R., Kaviarasan, B., Lee, H., Lim, Y.: Finitetime leaderless consensus of uncertain multiagent systems against timevarying actuator faults. Neurocomputing 325, 159–171 (2019)
 5.
Mei, J., Ren, W., Chen, J.: Distributed consensus of secondorder multiagent systems with heterogeneous unknown inertias and control gains under a directed graph. IEEE Trans. Autom. Control 61, 2019–2034 (2016)
 6.
Song, Q., Cao, J., Yu, W.: Secondorder leaderfollowing consensus of nonlinear multiagent systems via pinning control. Syst. Control Lett. 59, 553–562 (2010)
 7.
Yan, H., Shen, Y., Zhang, H., Shi, H.: Decentralized eventtriggered consensus control for secondorder multiagent systems. Neurocomputing 133, 18–24 (2014)
 8.
Girejko, E., Mozyrska, D., Wyrwas, M.: Numerical analysis of behaviour of the Cucker–Smale type models with fractional operators. J. Comput. Appl. Math. 339, 111–123 (2018)
 9.
Mozyrska, D., Wyrwas, M.: Fractional discretetime of Hegselmann–Krause’s type consensus model with numerical simulations. Neurocomputing 216, 381–392 (2016)
 10.
Song, C., Cao, J., Liu, Y.: Robust consensus of fractionalorder multiagent systems with positive real uncertainty via secondorder neighbors information. Neurocomputing 165, 293–299 (2015)
 11.
Almeida, R., Malinowska, A.B., Odzijewicz, T.: Optimal leaderfollower control for the fractional opinion formation model. J. Optim. Theory Appl. (2018). https://doi.org/10.1007/s1095701813639
 12.
Bai, J., Wen, G., Rahmani, A., Chu, X., Yu, Y.: Consensus with a reference state for fractionalorder multiagent systems. Int. J. Syst. Sci. 47, 222–234 (2015)
 13.
Ren, G., Yu, Y., Zhang, S.: Leaderfollowing consensus of fractional nonlinear multiagent systems. Math. Probl. Eng. 2015, 919757 (2015)
 14.
Yu, Z., Jiangn, H., Hu, C.: Leaderfollowing consensus of fractionalorder multiagent systems under fixed topology. Neurocomputing 149, 613–620 (2015)
 15.
Ahmad, W.M., ElKhazali, R.: Fractionalorder dynamical models of love. Chaos Solitons Fractals 33, 1367–1375 (2007)
 16.
Song, L., Xu, S.Y., Yang, J.Y.: Dynamical models of happiness with fractional order. Commun. Nonlinear Sci. Numer. Simul. 15, 616–628 (2010)
 17.
Lundstrom, B., Higgs, M., Spain, W.: Fractional differentiation by neocortical pyramidal neurons. Nat. Neurosci. 11, 1335–1342 (2008)
 18.
Li, C., Feng, G.: Delayintervaldependent stability of recurrent neural networks with timevarying delay. Neurocomputing 72, 1179–1183 (2009)
 19.
Li, G., Liu, H.: Stability analysis and synchronization for a class of fractionalorder neural networks. Entropy 18, 55 (2016)
 20.
Liu, H., Li, S., Wang, H., Huo, Y., Luo, J.: Adaptive synchronization for a class of uncertain fractionalorder neural networks. Entropy 17, 7185–7200 (2015)
 21.
Wu, S., Li, C., Liao, X., Duan, S.: Exponential stability of impulsive discrete systems with time delay and applications in stochastic neural networks: a Razumikhin approach. Neurocomputing 82, 29–36 (2012)
 22.
Zhang, S., Yu, Y., Wang, H.: MittagLeffler stability of fractionalorder Hopfield neutral networks. Nonlinear Anal. Hybrid Syst. 16, 104–121 (2015)
 23.
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
 24.
Clarke, T., Narahari Achar, B.N., Hanneken, J.W.: MittagLeffler functions and transmission lines. J. Mol. Liq. 114, 159–163 (2004)
 25.
Sun, H., Abdelwahab, A., Onaral, B.: Linear approximation of transfer function with a pole of fractional power. IEEE Trans. Autom. Control 29, 441–444 (1984)
 26.
Petras, I., Vinagre, B.M.: Practical application of digital fractionalorder controller to temperature control. Acta Montan. Slovaca 7, 131–137 (2002)
 27.
Aboelela, M.A.S., Ahmed, M.F., Dorrah, H.T.: Design of aerospace control systems using fractional PID controller. J. Advert. Res. 3, 225232 (2012)
 28.
Sun, H.G., Zhang, Y., Baleanu, D., Chen, W., Chen, Y.Q.: A new collection of real world applications of fractional calculus in science and engineering. Commun. Nonlinear Sci. Numer. Simul. 64, 213–231 (2018)
 29.
Shang, Y.: Fixedtime group consensus for multiagent systems with nonlinear dynamics and uncertainties. IET Control Theory Appl. 12, 395–404 (2018)
 30.
Shang, Y., Ye, Y.: Fixedtime group tracking control with unknown inherent nonlinear dynamics. IEEE Access 5, 12833–12842 (2017)
 31.
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
 32.
DuarteMermoud, M.A., AguilaCamacho, N., Gallegos, J.A., CastroLinares, R.: Using general quadratic Lyapunov functions to prove Lyapunov uniform stability for fractional order systems. Commun. Nonlinear Sci. Numer. Simul. 22, 650–659 (2015)
 33.
Li, Y., Chen, Y., Podlubny, I.: Stability of fractionalorder nonlinear dynamic systems: Lyapunov direct method and generalized MittagLeffler stability. Comput. Math. Appl. 59, 1810–1821 (2010)
 34.
Devi, J.V., Mc Rae, F.A., Drici, Z.: Variational Lyapunov method for fractional differential equations. Comput. Math. Appl. 64, 2982–2989 (2012)
 35.
Li, Y., Chen, Y., Podlubny, I.: MittagLeffler stability of fractional order nonlinear dynamic systems. Automatica 45, 1965–1969 (2009)
 36.
Agarwal, R., O’Regan, D., Hristova, S.: Stability of Caputo fractional differential equations by Lyapunov functions. Appl. Math. 60, 653–676 (2015)
 37.
Shang, Y., Yamei, Y.: Leaderfollower fixedtime group consensus control of multiagent systems under directed topology. Complexity 2017, 3465076 (2017)
 38.
Sakthivel, R., Kaviarasan, B., Ahn, C.K., Karimi, H.R.: Observer and stochastic faulty actuatorbased reliable consensus protocol for multiagent system. IEEE Trans. Syst. Man Cybern. Syst. 48, 2383–2393 (2018)
 39.
Sakthivel, R., Kanakalakshmi, S., Kaviarasan, B., Ma, Y.K., Leelamani, A.: Finitetime consensus of input delayed multiagent systems via nonfragile controller subject to switching topology. Neurocomputing 325, 225–233 (2019)
 40.
Shang, Y.: On the delayed scaled consensus problems. Appl. Sci. 7, 713 (2017)
Acknowledgements
The authors are thankful to the referees for helpful comments on this article.
Availability of data and materials
Not applicable.
Funding
R. Almeida was supported by Portuguese funds through the CIDMA—Center for Research and Development in Mathematics and Applications and the Portuguese Foundation for Science and Technology (FCTFundação para a Ciência e a Tecnologia), within project UID/MAT/04106/2019. A.B. Malinowska and E. Girejko were supported by the Polish National Science Center grant based on decision DEC2014/15/B/ST7/05270. S. Hristova was supported by Fund FP19FMI002, University of Plovdiv “Paisii Hilendarski”. Open access publishing was funded by the grant from the Polish National Science Center based on decision DEC2014/15/B/ST7/05270.
Author information
Affiliations
Contributions
The authors read and approved the final manuscript.
Corresponding author
Correspondence to Agnieszka B. Malinowska.
Ethics declarations
Competing interests
The authors declare that there is no conflict of interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Almeida, R., Girejko, E., Hristova, S. et al. Leaderfollowing consensus for fractional multiagent systems. Adv Differ Equ 2019, 301 (2019). https://doi.org/10.1186/s1366201922359
Received:
Accepted:
Published:
Keywords
 Multiagent networks
 Nonlinear fractional neural systems
 Lyapunov function
 Stability