Distributed Synchronization of Stochastic Complex Networks with Time-Varying Delays via Randomly Occurring Control ()
1. Introduction
In the human society and the objective world in which human society lives, complex networks can be seen everywhere, and there are various complex networks developed and constructed by humans intentionally or unintentionally: interpersonal networks, road networks, railway networks, power networks, the Internet, and news dissemination networks; there are also various non-human complex networks that exist in the objective world: ecological networks, biological neural networks, metabolic networks, animal and plant gene networks, and so on. Due to the rapid development of human science and technology, the rapid development of global integration, and the huge investment in various public infrastructures from all over the world, the construction and cognition of various complex networks have achieved unprecedented rapid development. Although this rapid development has greatly improved people's work efficiency and quality of life, such as the popularization of mobile communication networks, social software and GPS positioning and navigation. However, this also brings a variety of new or potential risks to people, such as infectious diseases relying on the rapid spread of complex networks, large-scale power outages caused by power grid failures, and huge losses caused by computer viruses relying on the rapid spread of high-speed networks, etc. Taking into account the various existing and potential important applications, in order to make complex networks better serve humans and eliminate related network risks, the theory and applications of complex networks have gradually become very popular in scientific research in the past few decades. In the field of research, its research has very important application value and academic significance.
Synchronization [1] refers to a phenomenon in which multiple individuals or systems interact in a certain way. Although the initial states of the individuals are different, as the individual states gradually evolve, they eventually tend to be consistent. Synchronization is an important attribute of complex dynamical networks. It is widely present in the real world, such as the unison singing of a large number of crickets, the synchronized flashing of a large number of fireflies that are often seen in the wild on summer nights, the spread of computer viruses, and the synchronized reproduction of periodic cicadas, etc., all of these are well-known synchronization phenomena. As people discover more and more synchronization phenomena and many potential applications, such as satellite navigation systems, image processing [2] [3], network communication security [4], power network system design, etc. Therefore, synchronization has gradually aroused the interest of researchers from the fields of mathematics, physics, sociology, and engineering, and has been extensively studied in various fields of science and engineering. Studying the synchronization phenomenon of complex networks and the conditions of synchronization has high application significance and theoretical value.
Random phenomenon is a common phenomenon in nature. Many practical systems are inevitably affected by it. For example, signals in complex dynamic networks are often affected by network bandwidth, conductive media, measurement noise, etc., when they are transmitted between nodes in the network. The influence of random factors causes information to be randomly lost or incomplete [5] [6] [7]. Due to the ubiquity of random interference factors, the control and design of the system becomes complicated and difficult. The conventional deterministic model is far from satisfying the requirements. Therefore, it is necessary taking into account the random interference factors inside or outside the system, a stochastic complex network model can be established so as to better and more accurately reflect the inherent essential characteristics of natural and engineering systems. With the in-depth study of complex networks, stochastic dynamic behavior has attracted widespread attention from scholars in various fields. In recent years, some important research results in deterministic complex networks have been extended to the research field of stochastic complex networks, and rich results have been obtained, for example, in the reference [8], D. Hunt, G. Korniss, and B Szymanski et al. studied the synchronization of stochastic complex networks with coupled time delays; Z. Wang, Y. Wang, and Y. Liu [9] studied global synchronization for discrete-time stochastic complex networks with randomly occurred nonlinearities and mixed time-delays. Reference [10] studied the synchronization of complex dynamical networks with random coupling time-varying delays and nonlinear coupling terms. Up to now, researchers have proposed many different types of synchronization under different control frameworks, such as: adaptive synchronization [11], distributed synchronization [12] [13], synchronization under impulsive control [14], inphase and antiphase synchronization [15], finite-time synchronization [14] [16], synchronization under periodic intermittent adaptive control [17], synchronization under pinning control [18], synchronization under adaptive pinning control [18], etc. Literature [12] and [13] designed a distributed adaptive controller, the main feature of which is that nodes can more effectively use the local information of their neighbors without the need for global information on the entire network. Considering that the signals in the network system in practical applications may have data packet loss and random failures during the transmission process [19] [20], it takes random disturbances into account, and a Bernoulli stochastic variable is used to simulate this random disturbance, a distributed control that occurs randomly is proposed to simulate packet loss. In the application of actual engineering systems, randomly occurring controller is also worthy of in-depth study, especially the distributed synchronization of stochastic complex networks under randomly occurring control, which has important research value.
In summary, complex network systems will inevitably be affected by random factors such as so-called time-delay and external disturbance. Common delay factors that cause time-delay include: transmission, calculation, communication, and driving; common external disturbance factors include environmental noise, internal random failures and external attacks, etc. In some cases, the stability of the system may be greatly affected in these scenarios, or even completely deviate from the previous plan. Therefore, when considering the synchronization of complex networks, it is necessary to add the above-mentioned transmission delay and other random factors such as time-delay and environmental noise to the model, and design a more robust controller to suppress the negative effects of time-delay and noise to obtain better control accuracy. Although the reference [12] considers that the complex network is disturbed by random mutations, it proposes a method of randomly occurring control and studies the synchronization behavior of stochastic dynamical systems, but it does not take into account the influence of coupling delay and random disturbance term time-delay. The model has certain limitations.
Based on the above point of view, this article generalizes the complex network model proposed in [12], and proposes a more general stochastic dynamical network model with time-varying delays and environmental noise under randomly occurring control. The model has the following characteristics: we use two Bernoulli random variables to describe the occurrence of distributed adaptive control, and update it according to a certain probability, and study the synchronization stability of stochastic complex networks by considering randomly occurring control and updating law. This paper mainly adopts Lyapunov stability theory and LaSalle invariance principle to study and explore synchronization control problems, and analyze the corresponding network synchronization characteristics. The results of this paper will enrich the synchronization control theory of stochastic dynamical systems on complex networks to a certain extent, and have important theoretical and application value.
2. Model Description and Preliminaries
Notations: Let
(
) denote the set of real (positive) numbers.
and
denote, respectively, the n-dimensional Euclidean space and the set of all
-dimensional real matrices.
denotes that the matrix A is a symmetric and positive definite matrix. The notation
is the transpose of a vector or matrix A. I represents the identity matrix with appropriate dimensions.
denotes the Euclidean norm of a matrixA and
(respectively,
) denotes the maximum (respectively, minimum) eigenvalue of matrix A. The symbol
represents the trace of square matrix
, i.e.
.
stands for the Kronecker product. And
represents the expectation of the random variable X. Define a graph by
, where
denotes the vertex set and
denotes the edge set.
denotes the neighborhood of vertex i in the sense
. In this paper, graph
is supposed to be undirected [
implies
] and simple (without self-loops and multiple edges). Let
be the Laplacian matrix of graph
, which is defined as follows: for any pair
,
if
and
otherwise.
stands for the degree of vertex
. Let
be a complete probability space, where
represents a sample space,
is called a
-algebra, and
is a probability measure.
In this paper, we consider the following model of a complex network stochastic system with time-varying delays, which can be expressed as:
(1)
where
is the state vector of the ith vertex,
is a constant matrix,
is a continuous nonlinear vector-valued function. The positive constant
is the coupling strength of the network. The inner coupling matrix
is a constant diagonal matrix.
is a time-varying delay. Furthermore,
is the noise intensity function vector, and
is a scalar Brownian motion defined on
satisfying
and
.
According to the definition and properties of the above Laplacian matrix
, it is easy to know that Formula (1) can be rewritten as
(2)
Additionally, From the Gershgorin disk theorem, all the eigenvalues of the Laplacian matrix L corresponding to graph
satisfy
. furthermore,
is connected if and only if
: i.e., L is irreducible.
In order to achieve the synchronization of the stochastic complex network in (1) or (2), controllers are added to each vertex.
(3)
where
is a distributed adaptive controller.
For the ith vertex,
is designed as
(4)
where
is the control strength of vertex i.
In (4),
is a Bernoulli stochastic variable that describes the following random events for (3):
(5)
Let
be defined by
(6)
where the probability of event
is
, so the expectation of random variable
is
.
The distributed controller (4) in this paper takes stochastic disturbances into account and uses a Bernoulli stochastic variable to simulate this random disturbance. The distributed controller
occurs in a probabilistic manner and uses feedback information from neighboring points. Different from the conventional adaptive controller, the distributed controller
is not always implemented and it can model control failure in a stochastic way. In short, randomly occurring distributed control can effectively use the information of neighboring points to simulate real-world disturbances.
in (4) is updated according to the following randomly occurring distributed updating law:
(7)
where
and
is a Bernoulli stochastic variable representing the following random events for (7):
(8)
Similarly, Let
be defined by
(9)
where the probability of event
is
, so the expectation of stochastic variable
is
.
Remark 1: If
and
, the control and updating rule will be simplified to normal control and updating law. If
and
, the problem considered in this article will be simplified to the synchronization of complex networks without controllers.
It can be seen from the above model that the complex network studied in this paper has the following characteristics:
1) The model contains random terms that characterize environmental noise.
2) The activation of the controller and the updating law of control gain both occur in a probabilistic manner, and the distributed synchronization of stochastic complex networks is studied by considering the random occurrence of control and update laws.
3) Considering the effect of time-delays, and the time-delays are time-varying, the model is more general.
The following definition, assumptions and lemmas are needed for deriving the main results.
Definition 1 [12]: Let
be the solution of the stochastic complex network with time-varying delays in (1) or (3), if they satisfy the following condition:
(10)
then the stochastic complex network is said to achieve synchronization in mean square.
Lemma 1 (Itô formula) [21]: Let
be an Itô process on
with the stochastic differential
Let
be a real-valued function, which is continuously twice differentiable in x and once differentiable in t. Then
is again an Itô process with the stochastic differential given by
(11)
Lemma 2 [22]: For any
and any positive definite symmetric matrix
, the following inequalities hold
. (12)
Lemma 3 [23]: Assuming that
is a positive definite matrix, for any
, the following inequalities hold
. (13)
Assumption 1 [24] [25]: Assume that there exist constants
and
, such that the nonlinear function
in the system (1) satisfy
(14)
Which holds for all
and
.
Assumption 2 [26]: Assume that there exist constants
and
, such that the nonlinear function
in the system (1) satisfy
(15)
Which holds for all
and
.
Assumption 3: The time-varying delay
is a bounded continuous differentiable function, which satisfies:
. where
represents the derivative of
to t.
3. Main Results
In this section, we will derive the main results of the distributed synchronous control of a class of stochastic dynamical systems (3) with time-varying delays and random noise via randomly occurring control and updating law.
Theorem 1: Suppose that the nonlinear function
in the stochastic complex network (3) satisfies Assumption 1, the noise intensity function
satisfies Assumption 2, and the time-varying delays
satisfies Assumption 3, then the stochastic complex network (3) will achieve synchronization in mean square under the distributed adaptive controller (4) and updating law (7), if
(16)
Proof: Let
and
.
Consider the following Lyapunov function
(17)
where
(18)
(19)
(20)
where b is a positive constant.
According to (3) and (4) we can easily obtain
(21)
where
By the Lemma 1 (Itô formula), the stochastic derivative of
can be obtained as
(22)
and according to (21), the Itô differential operator
is given as
(23)
Taking expectations of
and
, we obtain
and
, furthermore
(24)
From the definitions of
and the Laplacian matrix L, we get
(25)
(26)
Then, using Lemma 3 and (25), it’s not hard to get
(27)
By Lemma 2 and 3, Assumptions 1, (25), and (26), the following inequalities can be obtained:
(28)
and
(29)
Besides, by using Assumptions 2 and 3, (25), and (26), one obtains that
(30)
and
(31)
Combining the above results, and substitute (26) - (31) into (24), we have
(32)
Let
, then we have
(33)
where
Note that condition (16) in Theorem 1 yields
we obtain
Namely,
. Therefore, from the LaSalle invariance principle [27] of stochastic differential equations with time-varying delays, the distributed synchronization of the stochastic complex network with time-varying delays in (3) via randomly occurring control and updating law can be achieved in mean square. This concludes the proof.
When the delay in the stochastic complex network in (3) is a constant delay, the following Corollary 1 can be obtained.
Corollary 1: Suppose that the nonlinear function
in the stochastic complex network (3) satisfies Assumption 1, and the noise intensity function
satisfies Assumption 2, then the stochastic complex network (3) will achieve synchronization in mean square under the distributed adaptive controller (4) and updating law (7), if
(34)
Proof: The Lyapunov function constructed at this time becomes
(35)
where b is a positive constant. The rest of the proof is similar to the proof of Theorem 1, which is omitted here.
When the stochastic complex network (3) does not contain time delay, the following simpler Corollary 2 can be obtained.
Assumption 4 [9]: The nonlinear function
is assumed to satisfy a Lipschitz condition, that is, there exists a constant
, such that the following inequality holds for all
:
(36)
Assumption 5 [26]: Assume that the noise intensity function
is uniformly Lipschitz continuous with respect to t if there exist a constant
, such that the following inequality holds for all
:
(37)
Corollary 2: Suppose that Assumptions 4 and 5 hold,then the stochastic complex network (3) will achieve synchronization in mean square under the distributed adaptive controller (4) and updating law (7), if
(38)
Proof: The Lyapunov function constructed at this time becomes
(39)
where b is a positive constant. The rest of the proof is similar to the proof of Theorem 1, and will not be detailed here.
4. Conclusion
In this paper, synchronization criteria were investigated for the stochastic complex networks with time-varying delays and random noise via randomly occurring control and updating law. We use two Bernoulli random variables to describe the occurrence of distributed adaptive control, and update it according to a certain probability. The adaptive control and update rules connected to the network node are only related to the state information of itself and its neighbor nodes, and distributed synchronization is realized through the feedback of the state information of neighbor nodes. Based on Lyapunov stability theory, LaSalle invariance principle, combined with the use of the properties of matrix Kronecker product, stochastic differential equation theory and other related tools, by constructing the appropriate Lyapunov functional, the sufficient conditions for the distributed synchronization of such stochastic complex networks in mean square are obtained.
Acknowledgements
This work was supported by the Fujian Provincial Department of Education Young and Middle-aged Teacher Education Research Project (JAT201031). The author would also like to thank the Editor-in-Chief, the Associate Editor, and the anonymous reviewers for their careful reading of the manuscript and constructive comments.