Successive lag synchronization on dynamical networks with communication delay
Zhang Xin-Jian, Wei Ai-Ju, Li Ke-Zan†,
School of Mathematics and Computing Science, Guangxi Key Laboratory of Cryptography and Information Security, Guilin University of Electronic Technology, Guilin 541004, China

 

† Corresponding author. E-mail: kezanli@163.com

Project supported by the National Natural Science Foundation of China (Grant No. 61004101), the Natural Science Foundation Program of Guangxi Province, China (Grant No. 2015GXNSFBB139002), the Graduate Innovation Project of Guilin University of Electronic Technology, China (Grant No. GDYCSZ201472), and the Guangxi Colleges and Universities Key Laboratory of Data Analysis and Computation, Guilin University of Electronic Technology, China.

Abstract
Abstract

In this paper, successive lag synchronization (SLS) on a dynamical network with communication delay is investigated. In order to achieve SLS on the dynamical network with communication delay, we design linear feedback control and adaptive control, respectively. By using the Lyapunov function method, we obtain some sufficient conditions for global stability of SLS. To verify these results, some numerical examples are further presented. This work may find potential applications in consensus of multi-agent systems.

1. Introduction

As an important branch of network science, synchronization of complex networks has been paid great attention and studied deeply in the past two decades. It is well known that synchronization plays an important role in various fields, such as laser systems, communication systems, and parallel image processing.[16] In the research of complex dynamical networks, a variety of synchronization patterns have been defined and studied, including complete synchronization,[7] partial synchronization,[8] cluster synchronization,[9,10] projective synchronization,[11] phase synchronization,[12] lag synchronization (LS),[13] generalized synchronization,[14] etc. Among these patterns, the LS between two coupled systems has been studied extensively.[1517]

Most existing researches of LS are based on two coupled dynamical systems (or networks). The LS is achieved if y(t) → x(tτ), τ > 0 as t → + ∞, which is investigated originally in Ref. [13]. From then on, LS has gradually become a research focus. The LS has been generalized to many other forms, including projective lag synchronization,[18] generalized lag synchronization[19] and successive lag synchronization (SLS).[20] Here, SLS, a new kind of lag synchronization in a multi-coupled dynamical system proposed by Li in Ref. [20], can be considered as a generalized pattern of the traditional LS in two coupled systems. SLS means that a node achieves the LS with its next node, i.e., xi(tτ) → xi+1(t) for a positive time delay τ as t → +∞. It may be found potential applications of SLS in multi-agent systems. For example, in military parade, sometimes we can see that the aircrafts (nodes) pass the same spatial position with the same time delay to avoid collision and keep orderly queue, which can be considered as the SLS realization of these aircrafts. In Ref. [20], the authors supposed that there is no communication delay between nodes in the network means that each node in the network can immediately receive the coupling signals from its neighbor nodes. However, because of the finiteness of signal transmission and switching speed, the communication delay is inevitable in real dynamical systems.[21] Communication delay often appears in numerous systems frequently, such as aircraft, seismology, and laser systems.

Motivated by the above discussions, the main aim of this paper is to construct a general dynamical network with communication delay and investigate its SLS. Based on the constructed dynamical network, we apply linear feedback control and adaptive control to achieve its SLS. Depending on topological structure of the considered dynamical network, a linear feedback control is designed to realize its SLS. Moreover, in order to choose the feasible control adaptively, an adaptive linear feedback control is also proposed. By using the Lyapunov function method and Barbalat’s Lemma, some sufficient conditions for the global stability of SLS are obtained.

The rest of this paper is organized as follows. In Section 2, we give some Lemmas and some preliminaries about the model formulation of a dynamical network with communication delay. In Section 3, we investigate the global stability conditions of the SLS of the dynamical network under linear feedback control and adaptive linear feedback control, respectively. In Section 4, some numerical examples are performed to verify the theoretical results. Finally, in Section 5, we conclude the paper.

2. Preliminaries

The considered dynamical network with communication delay under control is described as follows:

where xi(t) = (xi1(t),xi2(t),…,xim(t))T∈ℝm is the state vector of the i-th node, τ > 0 is the communication delay, c > 0 denotes the coupling strength, and ui(t) denotes the feedback control input into the i-th node. The function f(·) is a continuously differentiable function. The matrix A = (aij) ∈ ℝn×n is irreducible, showing the topological structure of the network. If nodes i and j are connected, then aij = aji = 1 (ij and i,j = 1,2,…,n), otherwise aij = aji = 0 (ij and i,j = 1,2,…,n). where ki denotes the degree of the i-th node. So for all i ∈ {1,2,…,n}. The network is required to be connected, i.e., ki ≠ 0 for all i ∈ {1,2,…,n}. Certainly, a tree structure is always contained in the network.

Definition 1[20] Successive lag synchronization (SLS) of dynamical network is said to be achieved if, for any initial condition and every i ∈ {1,2,…,n − 1},

where denotes function space of all continuous functions from [−(n − 2)τ′ − τ,0] to ℝ, and the time delay parameter τ′ > 0.

It should be noticed that we should first number the nodes in a network according to the Definition 1 to prepare for the study of its certain SLS. The schematic figure of SLS is shown in Fig. 1.

Fig. 1. The schematic figure of successive lag synchronization in a network with size n.

Definition 2[22] Function class QUAD (Δ,P,ω): let a diagonal matrix Δ = diag{δ1,δ2,…,δm} and a positive-definite diagonal matrix P = diag{p1,p2,…,pm}. QUAD(Δ,P,ω) denotes a class of continuous functions f(x,t) : ℝm × [0,+∞) → ℝm satisfying

for some ω > 0, all x,y ∈ ℝm and t ≥ 0.

Lemma 1[23] For a matrix M = (mij)p×q, the inequality

holds for all x ∈ ℝp, y ∈ ℝq, where π(M) = max{p,q} × maxij{|mij|}/2.

From Barbalat’s Lemma, Li gives the following result in Ref. [20].

Lemma 2 If g(t): ℝ → ℝ+ is a uniformly continuous function for t ≥ 0 and if the integral

is bounded in [0, +∞), then

3. Feedback control design and global stability of SLS

In order to eliminate suppressive items in the following error system (10) and accelerate the realization of SLS, we design the following preliminary functions and control. First, for i = 1,2,…,n − 1, some preliminary functions are defined as

where d > 0 denotes control strength, for k ≠ i,

and

Then a linear feedback control can be designed as

We can easily have

According to Definition 1, the SLS errors of dynamical network (1) are defined as ei(t) = xi(tτ′) − xi+1(t) for i = 1,2,…,n − 1. Then the error system can be described as

where according to control (8) for ji,

and

Obviously, B is symmetric. Let In and On represent the identity matrix and the zero matrix in ℝn×n, respectively.

Theorem 1 Let Δ = diag{δ1,δ2,…,δm} be diagonal matrix and P = diag{p1,p2,…,pm} be positive-definite diagonal matrix, such that f(x) ∈ QUAD(Δ,P). If there exists d > 0 such that

then the SLS of dynamical network (1) under control (8) can be achieved for any initial conditions, where

Proof Define the following Lyapunov functional candidate:

where Q = π(N)Im.

The derivative of V(t) along the trajectories of error system (10) can be obtained as follows:

Letting , from Eq. (15), we obtain

From condition (13), there exists a constant ɛ > 0 such that (2π(N) − ω)I(n−1)m + In−1dIn−1P ≤ − ɛI(n−1)m. From Lemma 1, letting N = cBP, we obtain

Integrating the above equation from 0 to t yields

Thus, the integral is bounded. From Lemma 2, we obtain for every i ∈ {1,2,…,n − 1}, which means that This completes the proof.

In practice, the control strength is not allowed to be arbitrarily large, so we adopt an adaptive control method[22] to reduce the control strength.

For i = 1,2,…,n − 1, some preliminary functions are similarly defined as

where di(t) ≥ 0 denotes the time-varying control strength, the definition of wik(t) is the same as Eqs. (6) and (7).

Then an adaptive control is designed as

Suppose that Δ = diag{δ1,δ2,…,δm} is a diagonal matrix and P = diag{p1,p2,…,pm} is a positive-definite diagonal matrix. Then we have the following result under adaptive control (19).

Theorem 2 If f(x) ∈ QUAD(Δ,P), then the SLS of dynamical network (1) can be achieved for any initial conditions under adaptive control (19).

Proof Define the following Lyapunov functional candidate:

where positive constants α and will be determined later.

The derivative of V(t) along trajectories of error system (10) is calculated as follows:

Letting D(t) = diag{d1(t),d2(t),…,dn−1(t)} and from Eq. (20), we have

We can choose appropriate α such that 1 − 2α > 0 and select appropriate D* such that

for a positive constant Combining Eqs. (21) and (22), we have

Thus, the integral is bounded. From Lemma 2, we obtain for every i ∈ {1,2,…,n − 1}, which means that This theorem is proven.

4. Numerical simulations

In this section, some numerical examples are given to verify the theorems in Section 3. The size of dynamical network (1) is set as n = 4 and its topological structure is shown in Fig. 2 with two cases. The local dynamics of all nodes in this network is characterized by a 3D neural network,[9] which is described by

with y = (y1,y2,y3)T ∈ ℝ3,

D = I3, and g(y) = (g(y1),g(y2),g(y3))T where g(u) = (|u + 1| − |u − 1|)/2. For this system, we have m = 3 and choose P1 = I3, Δ1 = 10I3, and ω = 0.6218 to achieve inequality (3).

Fig. 2. Two kinds of topological structure for dynamical network (1) with size n = 4. (a) Loop-shaped network; (b) fully connected network.
4.1. Linear feedback control

First, we use linear feedback control (8) to realize SLS on a dynamical network, whose topological structure is shown in Fig. 2(a). The coupling matrix of this network structure is

From Eqs. (11) and (12), we obtain

According to control (8), we have

We can obtain π(N) = (n − 1)m × maxij{|nij|}/2 = 9c from the matrix B. In order to achieve (13), we choose c = 0.1 and search the lower bound of the control strength d by solving the following inequality:

We can easily get the lower bound of the control strength dl = 11.18. So, if d > dl, the conditions of Theorem 1 are satisfied, which means that the SLS of dynamical network (1) under control (8) can be achieved for any initial conditions. Figure 3 gives a realization under control strength d = 12 and time delay τ = 0.5, and figure 5 shows its SLS errors on the same condition. From these simulations, we can see that the SLS is achieved under linear feedback control (8). In order to explore the influence of communication delay on the SLS, we change τ to 1 and obtain Fig. 4. This realization is under control strength d = 12, which shows that SLS is still achieved. Hence, the stability condition is independent on communication delay.

Fig. 3. Trajectories of (a) xi1, (b) xi2, and (c) xi3 of dynamical network (1) under control (8), where i = 1,2,3,4, c = 0.1, d = 12, τ′ = 0.2, and τ = 0.5.
Fig. 4. Trajectories of (a) xi1, (b) xi2, and (c) xi3 of dynamical network (1) under control (8), where i = 1,2,3,4, c = 0.1, d = 12, τ′ = 0.2, and τ = 1.
Fig. 5. Trajectories of SLS errors (a) ei1, (b) ei2, and (c) ei3 of dynamical network (1) under control (8), where i = 1,2,3, c = 0.1, d = 12, τ′ = 0.2, and τ = 0.5.
4.2. Adaptive linear feedback control

Now, we use adaptive control (19) to realize SLS on another dynamical network, whose topological structure is shown in Fig. 2(b). The coupling matrix of this network is

According to adaptive linear feedback control (19), we have

Figure 6 presents a realization under adaptive linear feedback control (19) with coupling strength c = 0.1 and τ′ = 0.2 and τ = 0.5. Figure 7 gives the errors. As shown in Figs. 6 and 7, we can see that the SLS of dynamical network (1) is achieved under adaptive linear feedback control (19).

Fig. 6. Trajectories of all state variables (a) xi1, (b) xi2, (c) xi3, and (d) di(t) of dynamical network (1) under control (19), where i = 1,2,3,4, c = 0.1, τ′ = 0.2, and τ = 0.5.
Fig. 7. Trajectories of all SLS errors (a) ei1, (b) ei2, and (c) ei3 of dynamical network (1) under control (19), where i = 1,2,3, c = 0.1, τ′ = 0.2, and τ = 0.5.

Similar to that in subsection 4.1, by solving the following inequality:

we gain the lower bound of the control strength dl = 12.08. As shown in Fig. 6, we can observe that all control strengths are obviously smaller than dl, which confirms that the adaptive linear feedback control can decrease the control strength required for the realization of SLS.

5. Conclusions

In this paper, we address the successive lag synchronization (SLS) on dynamical networks with communication delay via linear feedback control and adaptive linear feedback control. We construct a general dynamical network with communication delay to make the SLS more realistic and significant for real multi-coupled systems. By using the linear feedback control, the SLS of the network has been realized. In order to choose the feasible control gain adaptively, we design an adaptive linear feedback control. By theoretical analysis, we obtained some sufficient conditions for the global stability of SLS under the controls.

In many real dynamical networks, their topological structures may be generally directed. Therefore, it is worth to consider SLS of dynamical networks with directed topological structures in the future.

Reference
1Zhou YZhu S QWu L 2005 Commun. Thoer. Phys. 44 1076
2Gu X HZhu S QWu D 2007 Commun. Thoer. Phys. 48 1055
3Kwon O MPark J HLee S M 2011 Nonlinear Dyn. 63 239
4Wang X YZhang NRen X LZhang Y L 2011 Chin. Phys. B 20 020507
5Vieira M D 1999 Phys. Rev. Lett. 82 201
6Creveling D RJeanne J MAbarbanel H D 2008 Phys. Lett. A 372 2043
7Xiao Y ZXu WLi X CTang S F 2008 Chin. Phys. B 17 80
8Chen JLiu Z R 2005 Appl. Math. Mech. 26 1132
9Wu WZhou W JChen T P 2009 IEEE Trans. Circuits Syst. I 56 829
10Ma Z JZhang S ZJiang G RLi K Z 2013 Nonlinear Dyn. 74 55
11Li XChen Y 2007 Commun. Thoer. Phys. 48 132
12Li X WZheng Z G 2007 Commun. Thoer. Phys. 47 265
13Shahverdiev E MSivaprakasam SShore K A 2002 Phys. Lett. A 292 320
14Dai HJia L XZhang Y B 2012 Chin. Phys. B 21 120508
15Zhang H GMa T DYu WFu J 2008 Chin. Phys. B 17 3616
16Li BYang DZhang X HMa L T 2007 Acta Automat. Sinica 33 1196
17Zhang Q XLu J AJia Z 2009 Commun. Thoer. Phys. 51 679
18Li G H 2009 Chaos Solition. Fract. 41 2630
19Huang Y HWang Y WXiao J W 2009 Chaos Solition. Fract. 40 766
20Li K ZYu W WDing Y 2015 Nonlinear Dyn. 80 421
21Liu C LTian Y P2007Proceedings of the 26th Chinese Control ConferenceJuly 26–31, 2007Zhangjiajie, China4060
22Chen T PLiu X WLu W L 2007 IEEE Trans. Circuits Syst. I 54 1317
23Li K ZZhou JYu W WSmall MFu X C 2014 Appl. Math. Model. 38 1300