Finite time synchronization problems of delayed complex networks with stochastic perturbations
Advances in Difference Equations volume 2014, Article number: 149 (2014)
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.
Over the past decades, the dynamics analysis of complex networks has witnessed rapidly growing research interests since the pioneering work of Watts and Strogatz . 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. . 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 . 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  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  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 . 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 .
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 . 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 . 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, and denote, respectively, the n-dimensional Euclidean space and the set of all real matrices. The superscript ‘T’ denotes the transpose and the notation (respectively, ) where X and Y are symmetric matrices, means that is positive semi-definite (respectively, positive definite); I is the identity matrix with compatible dimension. refers to the Euclidean vector norm; the notation stands for the Kronecker product of matrices A and B. If A is a matrix, denotes the minimum eigenvalue. stands for a block-diagonal matrix E. 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 represents the state vector of the i th node, is the time delay of node i, is a continuous vector-valued function, we denote is the unknown diffusive coupling matrix. Here, describes the linear coupling configuration of the network at time t at mode , and is defined as , for , , . is the weighted inner-coupling matrix between nodes, which is positive definite. denotes the control input on the node i, is a bounded vector-form Weiner process that is independent of the Markovian chain , satisfying
Let be a right-continuous Markovian process that describes the evolution of the modes at time t and takes values in the finite space , with a generator , given by
with , and . Here, is the transition rate from to if , while .
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, , we denote with , .
The isolated node (or the uncoupled node) of network (1) is given by
where , .
The diffusive couplings mean that the coupled networks (1) are decoupled when the systems are synchronized. So, the coupling terms satisfy , , where 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 , where . That is, by adding the suitable designed feedback controller to complex networks (1), there exists a constant ( depends on the initial state vector value ), for any , such that
Definition 1 The Markovian jump complex network (1) is said to be synchronization in finite time, if there exists a constant ( depends on the initial state vector value ), for any , such that
where is the particular solution of the system (3).
The complex network (1) is said to be finite-time synchronization (finite-time boundedness) with respect to with , if for , one has
We need the following assumption to study the finite-time synchronization of the complex network (1).
Assumption 1 There exist two constant matrices and , in which , , such that
, , .
By Assumption 1, define the following parameters:
Assumption 2 There exist nonnegative constants , , , such that
where , , , .
Assumption 3 
Let and , there exists a continuous function with , for any , such that
Assume that the initial condition of the network (1) is given by
where denotes the set of continuous functions mapping the interval into .
Before ending this section, let us recall the following results, which will be used in the next section.
Lemma 1 (Finite-time stability theorem )
Suppose that function is differentiable (the derivative of at 0 is in fact its right derivative) and , where and . Then will reach zero at finite time and for all .
Lemma 2 (Jesen inequality )
If are positive number and , then .
Lemma 3 
If and , then .
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 , , .
For the coupled system (9), we use the following linear negative feedback controllers:
where and , , otherwise, , , . and is the sign function, , the real number β satisfies , .
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 and , , otherwise, , , . , .
Theorem 1 Let Assumptions 1-3 hold. If
where is the diagonal matrix, (, ), , then, under the set of controllers (10), the complex network (1) is synchronization at finite time
where , , , , . , is the initial condition satisfying Assumption 2.
Proof For , design the stochastic Lyapunov-Krasovskii functional as follows:
Let (see , 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 , for , , , it is not difficult to get
According to , for (), it is easy to get .
Denote (), , , , , and , , . Let , from Assumption 2, the following inequality is obtained:
In view of Assumption 3, let , , , and it follows that
By Lemma 2, we can see that, for ,
By Lemma 3, it is easy to get
It follows from the inequalities (15)-(17) that
Denote , 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 . For any , there is . Therefore, . By Lemma 1, converges to zero in a finite time, and the finite time is estimated by .
Hence, the error vector () will stochastically converge to zero within . According to the Definition 1, the coupled complex network (1) is finite-time synchronization in the finite time . 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  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 , and we use the following linear negative feedback controllers:
where , , , otherwise, , . , . We can obtain the following corollary.
Corollary 1 Let Assumptions 1 and 3 hold. If
where is the diagonal matrix, , , then, under the set of controllers (20), the complex network (1) () is synchronization at finite time , where , , and , . , is the initial condition satisfying Assumption 2 of , .
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 is the state variable of the i th node, , , , , . We choose control nodes set . We have
The partially transition rate matrix is given by
The nonlinear function is given by 
in which , and matrices C, A, B are, respectively, as follows:
Let , we have , and in view of (6) and the parameters of network (20). Now we verify that the condition (7) in Assumption 2 is satisfied. For , let , where , . It is easy to see that
Let , , that is, , , then it follows that , . By using the Matlab Toolbox, applying Theorem 1 to this example and the following feasible solutions can be obtained: and
The initial conditions of the numerical simulations are taken as: , , . Through a simple computation, we get and . Take , , , by computing we get . To further verify the effectiveness of the proposed control design for Example 1, Figure 1 describes the time response of the state errors variables , , , which implies that the addressed complex network (1) has achieved finite-time synchronization.
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.
Watts DJ, Strogatz SH: Collective dynamics of small-world. Nature 1998, 393: 440–442. 10.1038/30918
Li 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/S0218127494000691
Lü J, Yu X, Chen G: Synchronization of general complex dynamical networks. Physica A 2004, 334: 281–302. 10.1016/j.physa.2003.10.052
Tang 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 043137
Yang 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.012
Sun Y, Li W, Zhao D: Finite-time stochastic outer synchronization between two complex dynamical networks with different topologies. Chaos 2012., 22: Article ID 023152
Ma Q, Wang Z, Lu J: Finite-time synchronization for complex dynamical networks with time-varying delays. Chaos 2012., 22: Article ID 043151
Chen 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.0370
Yuan 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.012
Wu 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.009
Xiong 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.001
Shu 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.016
Yin 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.050
Bhat SP, Bernstein DS: Finite-time stability of continuous autonomous systems. SIAM J. Control Optim. 2000, 38: 751–766. 10.1137/S0363012997321358
Xu, 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
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.
The authors declare that they have no competing interests.
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.
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