- Research
- Open access
- Published:

# Finite time synchronization problems of delayed complex networks with stochastic perturbations

*Advances in Difference Equations*
**volume 2014**, Article number: 149 (2014)

## Abstract

The paper is concerned with the finite-time synchronization problem of delayed complex networks with stochastic perturbations. Based on the finite-time stability theorem, some sufficient conditions are obtained to ensure finite-time synchronization for the Markovian jump complex networks with time delays and partially unknown transition rates. Finally, the effectiveness of the proposed method is demonstrated by illustrative examples.

## Introduction

Over the past decades, the dynamics analysis of complex networks has witnessed rapidly growing research interests since the pioneering work of Watts and Strogatz [1]. On the one hand, complex networks exist in our daily life with examples including the Internet, the World Wide Web, food webs, electric power grids, cellular and metabolic networks, etc. [2]. And on the other hand, the dynamical behaviors of complex networks have found numerous applications in various fields such as physics, technology, and the life sciences [3]. In fact, synchronization is a basic motion in nature that has been studied for a long time [4–6]. Recently, synchronization of complex networks has received increasing research attention [7–10].

It is important to note that most of the above research results on network synchronization are based on the asymptotic process of an infinite time. That is, network synchronization only occurs when the time tends to infinity. Thus in theory, it is impossible for a network to achieve synchronization in a limited time. However, in actual physical or engineering systems, complex networks usually achieve synchronization state in a limited time, which is finite-time synchronization. On the one hand, in the existing literature on finite time synchronization is not treated often. And on the other hand, finite-time synchronization is a very important bridge for a complex network to succeed in the actual application. In addition, more and more researchers begin to realize the important role of finite-time synchronization, and there are some related research results [11–14].

Time delays often occur in complex networks because of the limited speed of signals traveling through the links [8] and the frequently delayed couplings in biological neural networks, gene regulatory networks, communication networks, and electrical power grids [9, 10]. It has been well known that time delays can cause complex dynamics such as periodic or quasi-periodic motions, Hopf bifurcation, and higher-dimensional chaos. It should be noted that [11, 12] and [14] did not consider the time-delay problem. Although there are some works that have been reported on the finite synchronization on delayed networks systems, they are mainly concerned with the finite-time boundedness [15]. It is checked that the finite-time boundedness is conservative rather than the finite time convergence. In addition, stochastic perturbation becomes one of the main sources for causing instability and poor performance of networks [9].

In reality, it has been revealed that a neural network sometimes has finite modes, so that switching from one to another at different times may occur [10, 16]. And such a switching (or jumping) can be governed by a Markovian chain [17, 18]. This is partly because a Markovian jump is a suitable mathematical pattern to represent a class of complex networks subject to random abrupt variations in the structures [18]. Moreover, Markovian jump complex networks can be regarded as a special class of stochastic network systems. So a great number of significant results on synchronization of Markovian switching networked systems have been available in the literature [8, 10, 16]. Unfortunately, almost all of the above mentioned works on the synchronization problem of complex networks are built upon the assumption that switching probabilities are known precisely. However, in most cases the transition probabilities of Markovian jump systems or networks are not exactly known [19–21]. Moreover, the estimated values of the mode transition rates may also lead to instability or at least degraded system performance as the partially unknown mode transition rates in system matrices do [22]. Some extended results concerning the uncertain transition probabilities have been reported in [22, 23]. However, such uncertainties require the knowledge of a bound or structure of uncertainties, which is conservative to some extent.

Although the finite-time stability or stabilization problems of the control systems has received much attention [15, 24, 25], finite-time synchronization of the delayed complex networks has attracted comparatively less attention primarily due to the lack of an appropriate control method, and secondly due to the difficulty residing in the mathematical derivation. Besides, how to tackle the coexistence of finite-time synchronization and the other two typical networked-induced constraints, stochastic disturbance and time delays in Markovian jump complex networks with partially unknown transition rates, still remains open.

In this paper, finite-time synchronization problems are studied for the delayed complex networks with stochastic perturbations and incomplete description of their transition rates. The main features of this paper are twofold: (1) Based on the finite-time stability theorem, some sufficient conditions are obtained to ensure finite-time synchronization for the Markovian jump complex networks with time delays and partially unknown transition rates. (2) For finite-time synchronization research, the model in this paper is more practical, because the network model involves time delays and stochastic perturbations.

**Notation** Throughout this paper, {R}^{n} and {R}^{n\times m} denote, respectively, the *n*-dimensional Euclidean space and the set of all n\times m real matrices. The superscript ‘*T*’ denotes the transpose and the notation X\ge Y (respectively, X>Y) where *X* and *Y* are symmetric matrices, means that X-Y is positive semi-definite (respectively, positive definite); *I* is the identity matrix with compatible dimension. \parallel \cdot \parallel refers to the Euclidean vector norm; the notation A\otimes B stands for the Kronecker product of matrices *A* and *B*. If *A* is a matrix, {\lambda}_{min}(\cdot ) denotes the minimum eigenvalue. diag\{\cdots \} stands for a block-diagonal matrix **E**. \mathbf{E}[x] means the expectation of the random variable *x*. Matrices, if their dimensions are not explicitly stated, are assumed to be compatible for algebraic operations.

## System description and preliminaries

Consider a Markovian switching time-delay complex network composed of *N* identical nodes with diffusively couplings, in which each node is an *n*-dimensional delayed dynamical system described by

where {x}_{i}(t)={[{x}_{i1}(t),{x}_{i2}(t),\dots ,{x}_{in}(t)]}^{T}\in {R}^{n} represents the state vector of the *i* th node, \tau >0 is the time delay of node *i*, f({x}_{i}(t),{x}_{i}(t-\tau ))={({f}_{1}({x}_{i}(t),{x}_{i}(t-\tau )),{f}_{2}({x}_{i}(t),{x}_{i}(t-\tau )),\dots ,{f}_{n}({x}_{i}(t),{x}_{i}(t-\tau )))}^{T}\in {R}^{n} is a continuous vector-valued function, we denote {h}_{i}(x(t),x(t-\tau ),r(t))={h}_{i}({x}_{1}(t),{x}_{2}(t),\dots ,{x}_{N}(t),{x}_{1}(t-\tau ),{x}_{2}(t-\tau ),\dots ,{x}_{N}(t-\tau ),r(t))\in {R}^{n\times n} is the unknown diffusive coupling matrix. Here, A(r(t))={({a}_{ij}(r(t)))}_{N\times N} describes the linear coupling configuration of the network at time *t* at mode r(t), and is defined as {a}_{ij}(r(t))\ge 0, for i\ne j, {a}_{ii}(r(t))=-{\sum}_{j=1,j\ne i}^{N}{a}_{ij}(r(t)), i=1,2,\dots ,N. \mathrm{\Gamma}=diag\{{\gamma}_{1},{\gamma}_{2},\dots ,{\gamma}_{n}\} is the weighted inner-coupling matrix between nodes, which is positive definite. {u}_{i}(t) denotes the control input on the node *i*, {\omega}_{i}(t)={({\omega}_{i1}(t),{\omega}_{i2}(t),\dots ,{\omega}_{in}(t))}^{T} is a bounded vector-form Weiner process that is independent of the Markovian chain r(\cdot ), satisfying

Let \{r(t),t\ge 0\} be a right-continuous Markovian process that describes the evolution of the modes at time *t* and takes values in the finite space S=\{1,2,\dots ,r\}, with a generator \mathrm{\Pi}=\{{\pi}_{\stackrel{\u02c6}{i}\stackrel{\u02c6}{j}}\}, \stackrel{\u02c6}{i},\stackrel{\u02c6}{j}\in S given by

with \mathrm{\Delta}t>0, and {lim}_{\mathrm{\Delta}t\to 0}(o(\mathrm{\Delta}t)/\mathrm{\Delta}t)=0. Here, {\pi}_{\stackrel{\u02c6}{i}\stackrel{\u02c6}{j}}\ge 0 is the transition rate from \stackrel{\u02c6}{i} to \stackrel{\u02c6}{j} if \stackrel{\u02c6}{j}\ne \stackrel{\u02c6}{i}, while {\pi}_{\stackrel{\u02c6}{i}\stackrel{\u02c6}{i}}=-{\sum}_{\stackrel{\u02c6}{j}=1,\stackrel{\u02c6}{j}\ne \stackrel{\u02c6}{i}}^{N}{\pi}_{\stackrel{\u02c6}{i}\stackrel{\u02c6}{j}}.

In this paper, the transition rates of the jumping process are considered to be partly accessed. For example, the transition rate matrix for network system (1) with *r* operation modes can be expressed as

where ‘?’ represents the unknown transition rate. For notational clarity, \mathrm{\forall}\stackrel{\u02c6}{i}\in S, we denote S={S}_{1}^{\stackrel{\u02c6}{i}}\cup {S}_{2}^{\stackrel{\u02c6}{i}} with {S}_{1}^{\stackrel{\u02c6}{i}}=\{\stackrel{\u02c6}{j}\mid {\pi}_{\stackrel{\u02c6}{i}\stackrel{\u02c6}{j}}\text{is known}\}, {S}_{2}^{\stackrel{\u02c6}{i}}=\{\stackrel{\u02c6}{j}\mid {\pi}_{\stackrel{\u02c6}{i}\stackrel{\u02c6}{j}}\text{is unknown}\}.

The isolated node (or the uncoupled node) of network (1) is given by

where s(t)={({s}_{1}(t),{s}_{2}(t),\dots ,{s}_{n}(t))}^{T}\in {R}^{n}, s(t-\tau )={({s}_{1}(t-\tau ),{s}_{2}(t-\tau ),\dots ,{s}_{n}(t-\tau ))}^{T}\in {R}^{n}.

The diffusive couplings mean that the coupled networks (1) are decoupled when the systems are synchronized. So, the coupling terms satisfy {\sum}_{j=1}^{N}{a}_{ij}(r(t))\mathrm{\Gamma}s(t)=0, {h}_{i}(s(t),s(t-\tau ),r(t))={0}_{n\times n}, where {0}_{n\times n} denotes zero matrix of *n* dimension.

Our control objective is to finite-timely synchronize complex network (1) to the homogeneous trajectory (3). To reduce the number of controllers, we can adopt the control nodes set J=\{l,l+1,\dots ,N\}, where 1<l<N. That is, by adding the suitable designed feedback controller to complex networks (1), there exists a constant {t}^{\ast}>0 ({t}^{\ast} depends on the initial state vector value x(0)={({x}_{1}^{T}(0),{x}_{2}^{T}(0),\dots ,{x}_{N}^{T}(0))}^{T}), for any t\ge {t}^{\ast}, such that

**Definition 1** The Markovian jump complex network (1) is said to be synchronization in finite time, if there exists a constant {t}^{\ast}>0 ({t}^{\ast} depends on the initial state vector value x(0)={({x}_{1}^{T}(0),{x}_{2}^{T}(0),\dots ,{x}_{N}^{T}(0))}^{T}), for any t\ge {t}^{\ast}, such that

where s(t)={({s}_{1}(t),{s}_{2}(t),\dots ,{s}_{n}(t))}^{T}\in {R}^{n} is the particular solution of the system (3).

**Remark 1** In order to fit the model here, we give the definition of [13–15, 24, 25] as follows:

The complex network (1) is said to be finite-time synchronization (finite-time boundedness) with respect to ({c}_{1},{c}_{2},T) with {c}_{1}<{c}_{2}, if for {\sum}_{1\le i<j\le M}{\parallel {x}_{i}(0)-{x}_{j}(0)\parallel}^{2}\le {c}_{1}, one has

Obviously, there are differences between the above two definitions, the definition of [13–15, 24, 25] has more conservatism.

We need the following assumption to study the finite-time synchronization of the complex network (1).

**Assumption 1** There exist two constant matrices \mathrm{\Theta}={({\theta}_{ij})}_{n\times n} and \mathrm{\Phi}={({\phi}_{ij})}_{n\times n}, in which {\theta}_{ij}\ge 0, {\phi}_{ij}\ge 0, such that

\mathrm{\forall}x={({x}_{1},{x}_{2},\dots ,{x}_{n})}^{T}\in {R}^{n}, y={({y}_{1},{y}_{2},\dots ,{y}_{n})}^{T}\in {R}^{n}, i=1,2,\dots ,n.

By Assumption 1, define the following parameters:

where \u03f5\in [0,1].

**Assumption 2** There exist nonnegative constants {\xi}_{ij}^{\stackrel{\u02c6}{i}}, {\eta}_{ij}^{\stackrel{\u02c6}{i}}, i,j=1,2,\dots ,N, such that

where {\tilde{h}}_{i}(e(t),e(t-\tau ),r(t))={h}_{i}(x(t),x(t-\tau ),r(t))-{h}_{i}(s(t),s(t-\tau ),r(t)), r(t)=\stackrel{\u02c6}{i}\in S, {e}_{i}(t)={x}_{i}(t)-s(t), {e}_{i}(t-\tau )={x}_{i}(t-\tau )-s(t-\tau ).

**Assumption 3** [16]

Let 0<\beta <1 and \lambda >0, there exists a continuous function g:[0,\mathrm{\infty})\to [0,\mathrm{\infty}) with g(0)>0, for any 0\le u\le t, such that

Assume that the initial condition of the network (1) is given by

where \mathcal{C}([-\tau ,0],{R}^{n}) denotes the set of continuous functions mapping the interval [-\tau ,0] into {R}^{n}.

Before ending this section, let us recall the following results, which will be used in the next section.

**Lemma 1** (Finite-time stability theorem [25])

*Suppose that function* V(t):[0,\mathrm{\infty})\to [0,\mathrm{\infty}) *is differentiable* (*the derivative of* V(t) *at* 0 *is in fact its right derivative*) *and* \frac{dV(t)}{dt}\le -\eta {V}^{\beta}(t), *where* \eta >0 *and* 0<\beta <1. *Then* V(t) *will reach zero at finite time* {t}^{\ast}\le {V}^{1-\beta}(0)/(\eta (1-\beta )) *and* V(t)=0 *for all* t\ge {t}^{\ast}.

**Lemma 2** (Jesen inequality [26])

*If* {a}_{1},{a}_{2},\dots ,{a}_{n} *are positive number and* 0<\alpha <\beta, *then* {({\sum}_{i=1}^{n}{a}_{i}^{\beta})}^{\frac{1}{\beta}}\le {({\sum}_{i=1}^{n}{a}_{i}^{\alpha})}^{\frac{1}{\alpha}}.

**Lemma 3** [27]

*If* {\xi}_{1},{\xi}_{2},\dots ,{\xi}_{n}\ge 0 *and* 0<p\le 1, *then* {({\sum}_{i=1}^{n}{\xi}_{i})}^{p}\le {\sum}_{i=1}^{n}{\xi}_{i}^{p}.

## Main results

In this section, we deal with the synchronization problem in finite time for the Markovian jump complex networks with time delays by designing pinning controller. By constructing new stochastic Lyapunov-Krasovskii functionals and using the finite-time stability theorem, sufficient conditions for the finite-time synchronization control problems are derived.

We present the finite-time synchronization criterion to ensure that a delayed complex network can be pinned. Subtracting (3) from (1), we obtain the following error dynamical systems:

where F({e}_{i}(t),{e}_{i}(t-\tau ))=f({x}_{i}(t),{x}_{i}(t-\tau ))-f(s(t),s(t-\tau )), {\tilde{h}}_{i}(e(t),e(t-\tau ),\stackrel{\u02c6}{i})={h}_{i}(x(t),x(t-\tau ),\stackrel{\u02c6}{i})-{h}_{i}(s(t),s(t-\tau ),\stackrel{\u02c6}{i}), {e}_{i}(t)={x}_{i}(t)-s(t).

For the coupled system (9), we use the following linear negative feedback controllers:

where {\epsilon}_{i}^{\stackrel{\u02c6}{i}}>0 and {k}_{i}^{\stackrel{\u02c6}{i}}>0, i\in J, otherwise, {\epsilon}_{i}^{\stackrel{\u02c6}{i}}={k}_{i}^{\stackrel{\u02c6}{i}}=0, i\notin J, \stackrel{\u02c6}{i}\in S. {|{e}_{i}(t)|}^{\beta}={({|{e}_{i1}(t)|}^{\beta},{|{e}_{i2}(t)|}^{\beta},\dots ,{|{e}_{in}(t)|}^{\beta})}^{T} and sign(\cdot ) is the sign function, sign({e}_{i}(t))=diag\{sign({e}_{i1}(t)),sign({e}_{i2}(t)),\dots ,sign({e}_{in}(t))\}, the real number *β* satisfies 0<\beta <1, i=1,2,\dots ,N.

In view of the pinning algorithm (10), we apply a pinning controller to the network (9) such that the network (1) has finite-time synchronization in the finite time. We obtain the following error dynamical systems:

where {\epsilon}_{i}^{\stackrel{\u02c6}{i}}>0 and {k}_{i}^{\stackrel{\u02c6}{i}}>0, i\in J, otherwise, {\epsilon}_{i}^{\stackrel{\u02c6}{i}}={k}_{i}^{\stackrel{\u02c6}{i}}=0, i\notin J, \stackrel{\u02c6}{i}\in S. F({e}_{i}(t),{e}_{i}(t-\tau ))=f({x}_{i}(t),{x}_{i}(t-\tau ))-f(s(t),s(t-\tau )), {e}_{i}(t)={x}_{i}(t)-s(t).

**Theorem 1** *Let Assumptions* 1-3 *hold*. *If*

*where* {\mathrm{\Upsilon}}^{\stackrel{\u02c6}{i}}=diag\{\underset{l}{\underset{\u23df}{0,\dots ,0}},{\epsilon}_{l+1}^{\stackrel{\u02c6}{i}},\dots ,{\epsilon}_{N}^{\stackrel{\u02c6}{i}}\}\in {R}^{N\times N} *is the diagonal matrix*, {\pi}_{\stackrel{\u02c6}{i}}={\sum}_{\stackrel{\u02c6}{j}\in {S}_{1}^{\stackrel{\u02c6}{i}}}{\pi}_{\stackrel{\u02c6}{i}\stackrel{\u02c6}{j}}({q}_{\stackrel{\u02c6}{j}}-{\delta}_{\stackrel{\u02c6}{i}})/{q}_{\stackrel{\u02c6}{i}} ({\delta}_{\stackrel{\u02c6}{i}}>0, {q}_{\stackrel{\u02c6}{i}}>1), 0<\sigma <1, *then*, *under the set of controllers* (10), *the complex network* (1) *is synchronization at finite time*

*where* 0<\beta <1, \gamma =min(2k,\lambda \sigma ), k={min}_{i,\stackrel{\u02c6}{i}}({k}_{i}^{\stackrel{\u02c6}{i}}), i\in J, \stackrel{\u02c6}{i}\in S. V(0,r(0))={q}_{r(0)}{\sum}_{i=1}^{N}{e}_{i}^{T}(0){e}_{i}(0), {e}_{i}(0) *is the initial condition satisfying Assumption * 2.

*Proof* For \stackrel{\u02c6}{i}\in S, design the stochastic Lyapunov-Krasovskii functional V(t,e(t),\stackrel{\u02c6}{i}) as follows:

where {q}_{\stackrel{\u02c6}{i}}>1.

Let \mathcal{L}V (see [17], the generalized Itô formula) denote the second-order differential operator of *V* with respect to (11) defined by

In view of Assumption 1, and the fact that 2\mu |xy|\le {\mu}^{2\u03f5}{x}^{2}+{\mu}^{2(1-\u03f5)}{y}^{2}, for \mathrm{\forall}\mu >0, x,y\in R, \u03f5\in [0,1], it is not difficult to get

According to {\sum}_{\stackrel{\u02c6}{j}\in S}{\pi}_{\stackrel{\u02c6}{i}\stackrel{\u02c6}{j}}=0, for \mathrm{\forall}{\delta}_{\stackrel{\u02c6}{i}}>0 (\stackrel{\u02c6}{i}\in S), it is easy to get ({\sum}_{\stackrel{\u02c6}{j}\in {S}_{1}^{\stackrel{\u02c6}{i}}}{\pi}_{\stackrel{\u02c6}{i}\stackrel{\u02c6}{j}}+{\sum}_{\stackrel{\u02c6}{j}\in {S}_{2}^{\stackrel{\u02c6}{i}}}{\pi}_{\stackrel{\u02c6}{i}\stackrel{\u02c6}{j}}){\delta}_{\stackrel{\u02c6}{i}}=0.

Denote k={min}_{i,\stackrel{\u02c6}{i}}({k}_{i}^{\stackrel{\u02c6}{i}}) (i\in J), {\pi}_{\stackrel{\u02c6}{i}}={\sum}_{\stackrel{\u02c6}{j}\in {S}_{1}^{\stackrel{\u02c6}{i}}}{\pi}_{\stackrel{\u02c6}{i}\stackrel{\u02c6}{j}}({q}_{\stackrel{\u02c6}{j}}-{\delta}_{\stackrel{\u02c6}{i}})/{q}_{\stackrel{\u02c6}{i}}, {\xi}_{i}^{\stackrel{\u02c6}{i}}={\sum}_{j=1}^{N}{\xi}_{ij}^{\stackrel{\u02c6}{i}}, {\eta}_{i}^{\stackrel{\u02c6}{i}}={\sum}_{j=1}^{N}{\eta}_{ij}^{\stackrel{\u02c6}{i}}, i=1,2,\dots ,N, and {\mathrm{\Psi}}^{\stackrel{\u02c6}{i}}=diag\{{\xi}_{1}^{\stackrel{\u02c6}{i}},{\xi}_{2}^{\stackrel{\u02c6}{i}},\dots ,{\xi}_{N}^{\stackrel{\u02c6}{i}}\}, {\mathrm{\Omega}}^{\stackrel{\u02c6}{i}}=diag\{{\eta}_{1}^{\stackrel{\u02c6}{i}},{\eta}_{2}^{\stackrel{\u02c6}{i}},\dots ,{\eta}_{N}^{\stackrel{\u02c6}{i}}\}, \stackrel{\u02c6}{i}\in S. Let 0<\sigma <1, from Assumption 2, the following inequality is obtained:

In view of Assumption 3, let \lambda >0, 0<\frac{1+\beta}{2}<1, t\ge \tau, and it follows that

By Lemma 2, we can see that, for {q}_{\stackrel{\u02c6}{i}}>1,

Thus,

By Lemma 3, it is easy to get

It follows from the inequalities (15)-(17) that

Denote \gamma =min(2k,\lambda \sigma ), by Lemma 3, the following inequalities are given:

Taking the expectation on both sides of (18), from (19) we get

According to (12), one obtains \mathbf{E}[\mathcal{L}V(t,e(t),\stackrel{\u02c6}{i})]\le -\gamma \mathbf{E}[{V}^{\frac{1+\beta}{2}}(t)]. For any {t}_{0}>0, there is \mathbf{E}[{V}^{\frac{1+\alpha}{2}}({t}_{0})]={(\mathbf{E}[V({t}_{0})])}^{\frac{1+\beta}{2}}. Therefore, \mathbf{E}[\mathcal{L}V(t,e(t),\stackrel{\u02c6}{i})]\le -\gamma {(\mathbf{E}[V(t)])}^{\frac{1+\beta}{2}}. By Lemma 1, \mathbf{E}[V(t)] converges to zero in a finite time, and the finite time is estimated by {t}^{\ast}\le \tau +\frac{V{(0)}^{1-\frac{1+\beta}{2}}}{\gamma (1-\frac{1+\beta}{2})}.

Hence, the error vector {e}_{i}(t) (i=1,2,\dots ,N) will stochastically converge to zero within {t}^{\ast}. According to the Definition 1, the coupled complex network (1) is finite-time synchronization in the finite time {t}^{\ast}. The proof is hence completed. □

**Remark 2** The model in this paper is more practical, because the network model involves time delays, stochastic perturbations, and partially known/unknown transition rates, while the models in [11, 12] did not contain time delays and partially known/unknown transition rates. The literature [14] did not consider the above three items; see Table 1.

Investigated the finite-time boundedness synchronization problems for complex networks with time delays. Different from this literature, this paper studied the network synchronization to achieve in a finite time. Therefore, the result of this paper shows more advantages.

When A(r(t))=A, and we use the following linear negative feedback controllers:

where {\epsilon}_{i}>0, {k}_{i}>0, i\in J, otherwise, {\epsilon}_{i}={k}_{i}=0, i\notin J. {|{e}_{i}(t)|}^{\beta}={({|{e}_{i1}(t)|}^{\beta},{|{e}_{i2}(t)|}^{\beta},\dots ,{|{e}_{in}(t)|}^{\beta})}^{T}, i=1,2,\dots ,N. We can obtain the following corollary.

**Corollary 1** *Let Assumptions* 1 *and* 3 *hold*. *If*

*where* \mathrm{\Upsilon}=diag\{\underset{l}{\underset{\u23df}{0,\dots ,0}},{\epsilon}_{l+1},\dots ,{\epsilon}_{N}\}\in {R}^{N\times N} *is the diagonal matrix*, 1<l<N, 0<\sigma <1, *then*, *under the set of controllers* (20), *the complex network* (1) (A(r(t))=A) *is synchronization at finite time* {t}^{\ast}\le \tau +\frac{V{(0)}^{1-\frac{1+\beta}{2}}}{\gamma (1-\frac{1+\beta}{2})}, *where* 0<\beta <1, \gamma =min(2k,\lambda \sigma ), *and* k={min}_{i}({k}_{i}), i\in J. V(0)={\sum}_{i=1}^{N}{e}_{i}^{T}(0){e}_{i}(0), {e}_{i}(0) *is the initial condition satisfying Assumption * 2 *of* {e}_{i}(t)={x}_{i}(t)-s(t), i=1,2,\dots ,N.

## Numerical examples

In this section, the example is given to demonstrate the effectiveness of the proposed approach.

**Example 1** Consider the following Markovian jumping time-delay complex network:

where {x}_{i}(t)={({x}_{i1}(t),{x}_{i2}(t))}^{T} is the state variable of the *i* th node, i=1,2,3, \stackrel{\u02c6}{i}=1,2,3,4, \tau =1, c=1, \mathrm{\Gamma}=diag\{2,2.5\}. We choose control nodes set J=\{2,3\}. We have

The partially transition rate matrix is given by

The nonlinear function f(\cdot ) is given by [28]

in which g({x}_{i})=0.5{(|{x}_{i1}+1|-|{x}_{i1}-1|,|{x}_{i2}+1|-|{x}_{i2}-1|)}^{T}, and matrices *C*, *A*, *B* are, respectively, as follows:

Let \u03f5=0.5, we have \overline{a}=11.6074, and \overline{b}=0.7720 in view of (6) and the parameters of network (20). Now we verify that the condition (7) in Assumption 2 is satisfied. For i=1,2,3, let {h}_{i}^{\stackrel{\u02c6}{i}}(t,x(t),{x}_{i}(t-\tau ))=0.1\stackrel{\u02c6}{i}diag\{{\overline{x}}_{i1},{\overline{x}}_{i2}\}, where {\overline{x}}_{i1}={x}_{i1}(t)+{x}_{i1}(t-\tau )-({x}_{i+1,1}(t)+{x}_{i+1,1}(t-\tau )), {\overline{x}}_{i2}={x}_{i2}(t)+{x}_{i2}(t-\tau )-({x}_{i+1,2}(t)+{x}_{i+1,2}(t-\tau )). It is easy to see that

Let {e}_{N+1}(t)={e}_{1}(t), {e}_{N+1}(t-\tau )={e}_{1}(t-\tau ), that is, {e}_{4}(t)={e}_{1}(t), {e}_{4}(t-\tau )={e}_{1}(t-\tau ), then it follows that {\mathrm{\Psi}}^{\stackrel{\u02c6}{i}}={\mathrm{\Omega}}^{\stackrel{\u02c6}{i}}={\stackrel{\u02c6}{i}}^{2}diag\{0.01,0.01,0.01\}, \stackrel{\u02c6}{i}=1,2,3,4. By using the Matlab Toolbox, applying Theorem 1 to this example and the following feasible solutions can be obtained: \sigma =0.0127 and

The initial conditions of the numerical simulations are taken as: {x}_{1}(0)={(-4.6,-2.4)}^{T}, {x}_{2}(0)={(-5.2,3.9)}^{T}, {x}_{3}(0)={(3.8,-1.4)}^{T}. Through a simple computation, we get V(0)=85.57 and {t}^{\ast}=\tau +\frac{{85.57}^{1-\frac{1+\beta}{2}}}{\gamma (1-\frac{1+\beta}{2})}. Take \gamma =20, \beta =0.6, \tau =1, by computing we get {t}^{\ast}=1.6087. To further verify the effectiveness of the proposed control design for Example 1, Figure 1 describes the time response of the state errors variables {e}_{12}(t), {e}_{13}(t), {e}_{23}(t), which implies that the addressed complex network (1) has achieved finite-time synchronization.

## Conclusions

This paper has introduced a general delayed complex networks model with stochastic perturbations and the finite-time synchronization problem of Markovian switching complex networks with stochastic disturbance. Based on the finite-time stability theorem and inequality technique, easily testable conditions have been established to ensure finite-time synchronization for the addressed complex networks. Moreover, conditions that guarantee the finite-time synchronization of the delayed complex networks without switching have also been established. With variable time delays or random delays or mixed delays, finite-time synchronization research of Markovian switching complex network remains open. And it is hard for us to solve such problems, which is our future research.

## References

Watts DJ, Strogatz SH: Collective dynamics of small-world.

*Nature*1998, 393: 440–442. 10.1038/30918Li H: Synchronization stability for discrete-time stochastic complex networks with probabilistic interval time-varying delays.

*Int. J. Innov. Comput. Inf. Control*2011, 7: 697–708.Wu Z, Shi P, Su H, Chu J: Sampled-data exponential synchronization of complex dynamical networks with time-varying coupling delay.

*IEEE Trans. Neural Netw. Learn. Syst.*2013, 24: 1177–1187.Wu Z, Shi P, Su H, Chu J: Sampled-data synchronization of chaotic Lur’e systems with time delays.

*IEEE Trans. Neural Netw. Learn. Syst.*2013, 24: 410–421.Wu CW, Chua LO: A unified framework for synchronization and control of dynamical systems.

*Int. J. Bifurc. Chaos*1994, 4: 979–998. 10.1142/S0218127494000691Lü J, Yu X, Chen G: Synchronization of general complex dynamical networks.

*Physica A*2004, 334: 281–302. 10.1016/j.physa.2003.10.052Tang Y, Wong WK: Distributed synchronization of coupled neural networks via randomly occurring control.

*IEEE Trans. Neural Netw. Learn. Syst.*2013, 24: 435–447.Wu Z, Shi P, Su H, Chu J: Stochastic synchronization of Markovian jump neural networks with time-varying delay using sampled data.

*IEEE Trans. Cybern.*2013, 43: 1796–1806.Zhang W, Tang Y, Fang J, Zhu W: Exponential cluster synchronization of impulsive delayed genetic oscillators with external disturbances.

*Chaos*2011., 21: Article ID 043137Yang X, Cao J, Lu J: Synchronization of Markovian coupled neural networks with nonidentical node delays and random coupling strengths.

*IEEE Trans. Neural Netw. Learn. Syst.*2012, 1: 60–71.Yang X, Cao J: Finite-time stochastic synchronization of complex networks.

*Appl. Math. Model.*2010, 34: 3631–3641. 10.1016/j.apm.2010.03.012Sun Y, Li W, Zhao D: Finite-time stochastic outer synchronization between two complex dynamical networks with different topologies.

*Chaos*2012., 22: Article ID 023152Ma Q, Wang Z, Lu J: Finite-time synchronization for complex dynamical networks with time-varying delays.

*Chaos*2012., 22: Article ID 043151Chen Y, Lü J: Finite-time synchronization of complex dynamical networks.

*J. Syst. Sci. Complex.*2009, 29: 1419–1430.Hou L, Zong G, Wu Y: Finite-time control for switched delay systems via dynamic output feedback.

*Int. J. Innov. Comput. Inf. Control*2012, 8: 4901–4913.Cui W, Fang J, Zhang W, Wang X: Finite-time cluster synchronization of Markov switching complex networks with stochastic perturbations.

*IET Control Theory Appl.*2014, 8: 30–41. 10.1049/iet-cta.2013.0370Yuan C, Mao X: Robust stability and controllability of stochastic differential delay equations with Markovian switching.

*Automatica*2004, 40: 343–354. 10.1016/j.automatica.2003.10.012Wu Z, Shi P, Su H, Chu J: Passivity analysis for discrete-time stochastic Markovian jump neural networks with mixed time delays.

*IEEE Trans. Neural Netw.*2011, 22: 1566–1575.Zhang L, Boukas E, Lam J: Analysis and synthesis of Markov jump linear systems with time-varying delays and partially known transition probabilities.

*IEEE Trans. Autom. Control*2009, 53: 2458–2464.Du B, Lam J, Zou Y, Shu Z: Stability and stabilization for Markovian jump time-delay systems with partially unknown transition rates.

*IEEE Trans. Circuits Syst. I, Regul. Pap.*2013, 60: 341–351.Zhang Y, He Y, Wu M, Zhang J: Stabilization for Markovian jump systems with partial information on transition probability based on free-connection weighting matrices.

*Automatica*2011, 47: 79–84. 10.1016/j.automatica.2010.09.009Xiong J, Lam J, Gao H, Ho D: On robust stabilization of Markovian jump systems with uncertain switching probabilities.

*Automatica*2005, 41: 897–903. 10.1016/j.automatica.2004.12.001Shu Z, Lam J, Xu S: Robust stabilization of Markovian delay systems with delay-dependent exponential estimates.

*Automatica*2006, 42: 2001–2008. 10.1016/j.automatica.2006.06.016Yin J, Khoo S, Man Z, Yu X: Finite-time stability and instability of stochastic nonlinear systems.

*Automatica*2011, 47: 2671–2677. 10.1016/j.automatica.2011.08.050Bhat SP, Bernstein DS: Finite-time stability of continuous autonomous systems.

*SIAM J. Control Optim.*2000, 38: 751–766. 10.1137/S0363012997321358Xu, L, Wang, X: Mathematical Analysis Methods and Examples, pp. 36–37. Higher Education Press, Beijing, China (1983)

Wang L, Xiao F: Finite-time consensus problems for networks of dynamic agents.

*IEEE Trans. Autom. Control*2010, 55: 950–955.Gilli M: Strange attractors in delayed cellular neural networks.

*IEEE Trans. Circuits Syst. I, Fundam. Theory Appl.*1993, 40: 849–853. 10.1109/81.251826

## Acknowledgements

The work was supported by the Education Commission Scientific Research Innovation Key Project of Shanghai under Grant 13ZZ050, the Science and Technology Commission Innovation Plan Basic Research Key Project of Shanghai under Grant 12JC1400400.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

## Authors’ original submitted files for images

Below are the links to the authors’ original submitted files for images.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Cui, W., Fang, Ja. & Su, S. Finite time synchronization problems of delayed complex networks with stochastic perturbations.
*Adv Differ Equ* **2014**, 149 (2014). https://doi.org/10.1186/1687-1847-2014-149

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1687-1847-2014-149