- Open Access
Synchronization stability of delayed discrete-time complex dynamical networks with randomly changing coupling strength
Advances in Difference Equations volume 2012, Article number: 208 (2012)
This paper addresses a delay-dependent synchronization stability problem for discrete-time complex dynamical networks with interval time-varying delays and randomly changing coupling strength. The randomly changing coupling strength is considered with the concept of binomial distribution. By constructing a suitable Lyapunov-Krasovskii functional and utilizing reciprocally convex approach and Finsler’s lemma, the proposed synchronization stability criteria for the networks are established in terms of linear matrix inequalities which can be easily solved by various effective optimization algorithms. The networks are represented by use of the Kronecker product technique. The effectiveness of the proposed methods will be verified via numerical examples.
During the last few years, complex dynamic networks (CDNs), which is a set of interconnected nodes with specific dynamics, have received increasing attention from the real world such as the Internet, the World Wide Web, social networks, electrical power grids, global economic markets, and so on. Also, many models were proposed to describe various complex networks, small-world network and scale-free network, etc. For more details, see the literature [1–4]. In the implementation of many practical CDNs, there exists time-delay because of the finite speed of information processing or amplifiers. It is well known that time-delay often causes undesirable dynamic behaviors such as oscillation and instability of the network. Therefore, various approaches to synchronization analysis for CDNs with time-delay have been investigated in the literature [5–12]. By using network modeling with coupling delays, Li et al.  proposed, for the first time, the synchronization criteria for the CDNs with time-delay which were expressed in the form of linear matrix inequalities (LMIs). Koo et al.  presented a synchronization criterion for singular CDNs with time-varying delays. In [10–12], various synchronization problems are addressed for discrete-time CDNs with time-delay. In this regard, discrete-time modeling with time-delay plays an important role in many fields of CDNs. Moreover, to implement the network, the network uses digital computers (usually a microprocessor or microcontrollers) with the necessary input/output hardware. The fundamental character of the digital computer is that it computes answers at discrete steps.
On the other hand, in [13–15], the problems for various systems with randomly occurring delay, uncertainties and nonlinearities were considered. The randomly occurring considerations in these literature works are described by the Bernoulli distribution. Here, the Bernoulli distribution is recognized as the experiment for the combination of U identical subexperiments. For more details, let A be the elementary event having one of the two possible outcomes as its element. is the only other possible elementary event. At this time, we shall repeat the basic experiments U times and determine the probability that A is observed exactly v times out of U trials. Such repeated experiments are called Bernoulli trials . Moveover, in , the stability of stochastic difference equations was addressed based on the Lyapunov functionals.
Regarding the CDNs, the coupling strength is the information of coupling strength between agents and a leader. Since an environmental change exists in practical networks, the change of coupling strength is a considerable factor affecting dynamics for the worse of the networks. At this point, the randomly changing coupling strength is being put to use in the problem of synchronization stability for CDNs. Moreover, to the best of authors’ knowledge, the synchronization analysis of CDNs with changing coupling strength has not been formulated yet.
Motivated by the results mentioned above, in this paper, a synchronization stability problem for discrete-time CDNs with interval time-varying delays and randomly changing coupling strength will be studied. This information is one of randomly occurring coupling strength with binomial distribution. Put simply, the first and simplest random variable is the Bernoulli random variable. Let X be a random variable that takes on only two possible numerical values, , where Ω represents the universal set consisting of the collection of all objects of interest in a particular context. Multiple independent Bernoulli random variables can be combined to construct more sophisticated random variables. Suppose X is the sum of w independent and identically distributed Bernoulli random variables. Then X is called a binomial random variable with parameters w, the number of trials, and p, the probability of success for each trial. Thus, the binomial distribution is a generalization of the Bernoulli distribution. Also, since delay-dependent analysis makes use of the information on the size of time delay, more attention has been paid to the delay-dependent analysis than to the delay-independent one . That is, the former is generally less conservative than the latter. Therefore, a great number of results on a delay-dependent stability condition for time-delay systems have been reported in the literature [19–24]. So, by construction of a suitable Lyapunov-Krasovskii functional and utilization of a reciprocally convex approach , a synchronization stability problem for discrete-time CDNs with interval time-varying delays and randomly changing coupling strength is derived in terms of LMIs which can be solved efficiently by use of standard convex optimization algorithms such as interior-point methods . Moreover, the discrete-time CDNs are represented by use of the Kronecker product technique. Two numerical examples are included to show the effectiveness of the proposed methods.
Notation is the n-dimensional Euclidean space, and denotes the set of all real matrices. For real symmetric matrices X and Y, (respectively, ) means that the matrix is positive definite (respectively, nonnegative). denotes the basis for the null-space of X. , , and denote identity matrix, and zero matrices, respectively. stands for the mathematical expectation operator. refers to the Euclidean vector norm or the induced matrix norm. denotes the block diagonal matrix. ⋆ represents the elements below the main diagonal of a symmetric matrix. means that the elements of matrix include the scalar value of .
2 Problem statements
Consider the following discrete-time CDNs with interval time-varying delays in the coupling term
Here, N is the number of coupled nodes, n is the number of state of each node, is the state vector of the i th node. is a continuous differentiable vector function. The constant is the coupling strength. is an interval time-varying delay satisfying , where and are known positive integers.
is the inner-coupling matrix of nodes, in which means two coupled nodes are linked through their i th and j th state variables; otherwise, . is the outer-coupling matrix of the network, in which is defined as follows. If there is a connection between node i and node j (), then ; otherwise, (), and the diagonal elements of the matrix G are defined by
In order to investigate the synchronization stability analysis for discrete-time CDNs with interval time-varying delays in the coupling term (1), we introduce the following definition and lemmas.
Definition 1 ()
The discrete-time delayed dynamical network (1) is said to achieve asymptotic synchronization if
where is a solution of an isolated node, satisfying .
Lemma 1 ()
Consider the network (1). Let be the eigenvalues of the outer-coupling matrix G. If the following linear delayed difference equations are asymptotically stable about their zero solution
where J and are the Jacobian of at and , respectively. Then the synchronized states (3) are asymptotically stable.
For the convenience of synchronization analysis for the system (4), the following Kronecker product and its properties are used.
Lemma 2 (Kronecker product )
Let ⊗ denote the notation of the Kronecker product. Then the following properties of the Kronecker product are easily established:
Let us define
where N is the number of agents.
Then the system (4) can be rewritten in the matrix form
Moreover, it is assumed that the coupling strength has changed by the following assumption.
Assumption 1 The coupling strength is randomly changing. This means that, is a stochastic process representing the information changing process of coupling strength; that is, the transition of coupling strength is described by the following binomial probability:
where m is the number of changes, is the probability of change in one term and satisfies
With Assumption 1, a model of discrete-time CDNs with interval time-varying delays in the coupling term and the above assumptions is considered as
Remark 1 As mentioned in Section 1, the Bernoulli random variable takes on only two possible numerical values, , where Ω represents the universal set consisting of the collection of all objects of interest in a particular context. However, with parameters w, the number of trials, and p, the probability of success for each trial, the binomial random variable X is the sum of w independent and identically distributed Bernoulli random variables. Thus, the former is more general than the latter. So, in this paper, the randomly changing coupling strength is considered with the concept of binomial distribution. In addition, the Bernoulli random variable has been used in the concept of randomly occurring which has various types such as randomly occurring delay, randomly occurring uncertainties, randomly occurring nonlinearities, and so on [13–15].
Remark 2 From Assumption 1, the coupling strength per discrete step is changed with the multiple of given strength, c, and the number of changes, m. Also, the probability of change is given as . Based on the results mentioned above, for the concerned discrete-time CDNs (1), the coupling strength with the binomial random variable can be represented in the model of discrete-time CDNs with randomly changing coupling strength (6). It should be noted that this problem for the change of coupling strength has not been investigated yet.
The aim of this paper is to investigate the delay-dependent synchronization stability analysis for the system (6). In order to do this, we introduce the following definition and lemmas.
Lemma 3 For any constant matrix , integers and satisfying , and vector function , the following inequality holds:
Proof From Lemma 1 in , the following inequality holds for :
Sum of the inequality (8) from to yields
Therefore, the inequality (9) is equivalent to the inequality (7) according to the Schur complement . □
Lemma 4 (Finsler’s lemma )
Let , , and such that . The following statements are equivalent:
, , ,
3 Main results
In this section, we propose new synchronization criteria for the system (6). For the sake of simplicity on matrix representation, , where , are defined as block entry matrices, e.g., . The notations of several matrices are defined as:
Now, the following theorem is given for synchronization stability of the model of discrete-time CDNs with interval time-varying delays in the coupling term (6).
Theorem 1 For given positive integers , , l and positive scalars c, , the system (6) is asymptotically synchronous for , if there exist positive matrices , , , any symmetric matrices , where and , and any matrix satisfying the following LMIs:
where Φ and are defined in (10).
Proof Let us consider the following Lyapunov-Krasovskii functional candidate as
The mathematical expectation of the and are calculated as
By calculating the , we get
Inspired by the work of , the following two zero equalities hold with any symmetric matrices and :
By Lemma 3, the term Σ in (20) can be estimated as
Here, when , since satisfies , by a reciprocally convex approach , the following inequality for any matrix M holds:
Also, when or , we get
Lastly, the is calculated as
Furthermore, if the inequalities (13) hold, then the has an upper bound as follows:
Also, the system (6) with the augmented vector can be rewritten as
where is defined in (10).
Then a delay-dependent stability condition for the system (6) is
From Lemma 4(iii) and Assumption 1, the inequality (29) is equivalent to the following condition:
where F is any matrix with appropriate dimension.
Here, by utilizing Lemma 4(ii), the condition (30) is equivalent to the following inequality:
From the inequality (31), if the LMIs (11)-(13) are satisfied, then the synchronization stability condition (29) holds by Definition 1. This completes our proof. □
As a special case, consider the following discrete-time CDNs with only interval time-varying delays in nodes and randomly changing coupling strength:
By use of the similar method in the driven procedure of the model (6), a model of discrete-time CDNs (32) can be obtained as
The following is given for synchronization stability of the model of discrete-time CDNs with only interval time-varying delays in nodes (33).
Theorem 2 For given positive integers , , l, and positive scalars c, , the system (33) is asymptotically synchronous for , if there exist positive matrices , , , any symmetric matrices , , , and any matrix satisfying the following LMIs with (12) and (13):
Proof The above criterion is derived in the similar method as the proof of Theorem 1, instead of the matrix , using the following matrix:
The other procedure is straightforward from the proof of Theorem 1, so it is omitted. □
Remark 3 The systems (6) and (33) with randomly changing coupling strength and the switched systems [30–38] are similar in the concept of changing parameters. In [30–38], the various problems for the switched neural networks with time-invariant delay were addressed. However, since time delay has not only a fixed value in a practical system , the concerned systems with interval time-varying delays were considered in this paper. Moreover, the changing information of a parameter was considered with the probabilistic rule; that is, the Bernoulli sequence.
4 Numerical examples
In this section, we provide two numerical examples to show the effectiveness of the presented stability criteria in this paper.
Example 1 Consider the following 2-order system with the structure in Figure 1 and the inner-coupling matrix :
which is asymptotically stable at the equilibrium point and . To analyse the synchronization stability for randomly changing coupling strength, the linear delayed difference equations (6) are
with the Jacobian matrices
From Figure 1, the outer-coupling matrices are considered as two cases.
Moreover, from Case 1,
and from Case 2,
The result of the maximum bound of time-delay with fixed , , , and G in Case 1 provided by Theorem 1 is 5. For Case 1, Figure 2 shows the simulation results for the state trajectories of the network (36) with . When the coupling strength is changeless, the size of overshoot shown in Figure 2(b) is smaller than the one shown in Figure 2(a) at time . Here, if we consider the setting time and rise time on the basis of Figure 2(b), which are the results of an ideal model for CDNs without the changing coupling strength, we know the effect of the change of coupling strength. Next, the result of maximum bound of time-delay with fixed , , , and G in Case 2 by Theorem 1 is 7. With the condition of time-varying delay as , the simulation results for the state trajectories of the network (36) are shown in Figure 3. Also, this figure shows that the trajectories between the synchronized states converge to zero under the time-delay . Lastly, in Figure 4, the distribution of a binomial random variable is drawn with the values of probability, , 0.7 and 0.2.
Example 2 Recall the system (35) in Example 1 and the structure shown in Figure 1. Thus, consider the following coupled networks with only interval time-varying delay in nodes
where the associated parameters are defined in Example 1.
The simulation results for the state trajectories of the network (37) and the curve of mode with the probability are shown in Figure 5 with the condition of time-varying delay as (, , and ). At this time, by Theorem 2, the maximum bound of time-delay is 18.
In this paper, new delay-dependent synchronization criteria for the discrete-time CDNs with interval time-varying delays and randomly changing coupling strength are proposed. The randomly changing coupling strength is considered with the concept of binomial distribution, which is a generalization of the Bernoulli distribution. To drive these results, the suitable Lyapunov-Krasovskii functional and reciprocally convex approach are used to obtain the feasible region of synchronization stability criteria. Two numerical examples have been given to show the effectiveness and usefulness of the presented criteria.
Watts DJ, Strogatz SH: Collective dynamics of ‘small-world’ networks. Nature 1998, 393: 440–442. 10.1038/30918
Strogatz SH: Exploring complex networks. Nature 2001, 410: 268–276. 10.1038/35065725
Li C, Xu C, Sun W, Xu J, Kurths J: Outer synchronization of coupled discrete-time networks. Chaos 2009., 19: Article ID 013106
Boccaletti S, Latora V, Moreno Y, Chavez M, Hwang DU: Complex networks: structure and dynamics. Phys. Rep. 2006, 424: 175–308. 10.1016/j.physrep.2005.10.009
Li C, Chen G: Synchronization in general complex dynamical networks with coupling delays. Physica A 2004, 343: 263–278.
Li K, Gong X, Guan S, Lai CH: Synchronization stability of general complex dynamical networks with time-varying delays. Phys. Lett. A 2008, 372: 7133–7139. 10.1016/j.physleta.2008.10.054
Wang B, Guan ZH: Chaos synchronization in general complex dynamical networks with coupling delays. Nonlinear Anal., Real World Appl. 2010, 11: 1925–1932. 10.1016/j.nonrwa.2009.04.020
Park MJ, Kwon OM, Park JH, Lee SM, Cha EJ: Synchronization criteria for coupled stochastic neural networks with time-varying delays and leakage delay. J. Franklin Inst. 2012, 349: 1699–1720. 10.1016/j.jfranklin.2012.02.002
Koo JH, Ji DH, Won SC: Synchronization of singular complex dynamical networks with time-varying delays. Appl. Math. Comput. 2010, 217: 3916–3923. 10.1016/j.amc.2010.09.055
Gao H, Lam J, Chen G: New criteria for synchronization stability of general complex dynamical networks with coupling delays. Phys. Lett. A 2006, 360: 263–273. 10.1016/j.physleta.2006.08.033
Yue D, Li H: Synchronization stability of continuous/discrete complex dynamical networks with interval time-varying delays. Neurocomputing 2010, 73: 809–819. 10.1016/j.neucom.2009.10.008
Liu Y, Wang Z, Liu X, Liang J: Synchronization and state estimation for discrete-time complex networks with distributed delays. IEEE Trans. Syst. Man Cybern., Part B, Cybern. 2008, 38: 1314–1325.
Bao H, Cao J: Synchronization of discrete-time stochastic neural networks with random delay. Discrete Dyn. Nat. Soc. 2011. doi:10.1155/2011/713502
Wu ZG, Park JH, Su H, Chu J: Robust dissipativity analysis of neural networks with time-varying delay and randomly occurring uncertainties. Nonlinear Dyn. 2012, 69: 1323–1332. 10.1007/s11071-012-0350-1
Hu J, Wang Z, Gao H, Stergioulas LK: Robust sliding mode control for discrete stochastic systems with mixed time delays, randomly occurring uncertainties, and randomly occurring nonlinearities. IEEE Trans. Ind. Electron. 2012, 59: 3008–3015.
Peebels PZ: Probability, Random, Variables, and Random Signal Principles. McGraw-Hill, New York; 2001.
Shaikhet L: Lyapunov Functionals and Stability of Stochastic Difference Equations. Springer, New York; 2011.
Xu S, Lam J: A survey of linear matrix inequality techniques in stability analysis of delay systems. Int. J. Syst. Sci. 2008, 39: 1095–1113. 10.1080/00207720802300370
Niculescu SI: Delay Effects on Stability: A Robust Approach. Springer, New York; 2002.
Richard JP: Time-delay systems: an overview of some recent advances and open problems. Automatica 2003, 39: 1667–1694. 10.1016/S0005-1098(03)00167-5
Gao HJ, Chen TW: New results on stability of discrete-time systems with time-varying state delay. IEEE Trans. Autom. Control 2007, 52: 328–334.
Ahn CK: Fuzzy delayed output feedback synchronization for time-delayed chaotic systems. Nonlinear Anal. Hybrid Syst. 2010, 4: 16–24. 10.1016/j.nahs.2009.07.002
Kwon OM, Park JH, Lee SM: An improved delay-dependent criterion for asymptotic stability of uncertain dynamic systems with time-varying delays. J. Optim. Theory Appl. 2010, 145: 343–353. 10.1007/s10957-009-9637-x
Park P, Ko JW, Jeong CK: Reciprocally convex approach to stability of systems with time-varying delays. Automatica 2011, 47: 235–238. 10.1016/j.automatica.2010.10.014
Boyd S, Ghaoui LE, Feron E, Balakrishnan V: Linear Matrix Inequalities in System and Control Theory. SIAM, Philadelphia; 1994.
Graham A: Kronecker Products and Matrix Calculus: With Applications. Wiley, New York; 1982.
Gu K: An integral inequality in the stability problem of time-delay systems. The 39th IEEE Conf. Decision Control 2000, 2805–2810.
de Oliveira MC, Skelton RE: Stability tests for constrained linear systems. In Perspectives in Robust Control. Springer, Berlin; 2001:241–257.
Kim SH:Improved approach to robust stabilization of discrete-time T-S fuzzy systems with time-varying delays. IEEE Trans. Fuzzy Syst. 2010, 18: 1008–1015.
Ahn CK: Sets of generalized H2 exponential stability criteria for switched multilayer dynamic neural networks. Adv. Differ. Equ. 2012. doi:10.1186/1687–1847–2012–150
Ahn CK: Linear matrix inequality optimization approach to exponential robust filtering for switched Hopfield neural networks. J. Optim. Theory Appl. 2012, 154: 573–587. 10.1007/s10957-012-0008-7
Ahn CK: An error passivation approach to filtering for switched neural networks with noise disturbance. Neural Comput. Appl. 2012, 21: 853–861. 10.1007/s00521-010-0474-5
Ahn CK: Switched exponential state estimation of neural networks based on passivity theory. Nonlinear Dyn. 2012, 67: 573–586. 10.1007/s11071-011-0010-x
Ahn CK: Exponentially convergent state estimation for delayed switched recurrent neural networks. Eur. Phys. J. E 2011, 34: 122.
Ahn CK: filtering for time-delayed switched Hopfield neural networks. Int. J. Innov. Comput. Inf. Control 2011, 7: 1831–1844.
Ahn CK:Switched synchronization with a guaranteed performance. Chin. Phys. Lett. 2011., 28: Article ID 010501
Ahn CK: Passive learning and input-to-state stability of switched Hopfield neural networks with time-delay. Inf. Sci. 2010, 180: 4582–4594. 10.1016/j.ins.2010.08.014
Ahn CK:An approach to stability analysis of switched Hopfield neural networks with time-delay. Nonlinear Dyn. 2010, 60: 703–711. 10.1007/s11071-009-9625-6
Jiang L, Yao W, Wu QH, Wen JY, Cheng SJ: Delay-dependent stability for load frequency control with constant and time-varying delays. IEEE Trans. Power Syst. 2012, 27: 932–941.
This research was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (2012-0000479), and by a grant of the Korea Healthcare Technology R & D Project, Ministry of Health & Welfare, Republic of Korea (A100054).
The authors declare that they have no competing interests.
All authors contributed equally and significantly in writing 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
Park, M., Kwon, O., Park, J.H. et al. Synchronization stability of delayed discrete-time complex dynamical networks with randomly changing coupling strength. Adv Differ Equ 2012, 208 (2012). https://doi.org/10.1186/1687-1847-2012-208
- Coupling Strength
- Bernoulli Random Variable
- Synchronization Criterion
- Binomial Random Variable
- Synchronization Analysis