Abstract

Two nonidentical dimension Markovian jumping complex networks with stochastic perturbations are taken as objects. The network models under two conditions including single weight and double weights are established, respectively, to study the problem of synchronization and identification. A finite-time projection lag synchronization method is proposed and the unknown parameters of the network are identified. First of all, based on Itô’s formula and the stability theory of finite-time, a credible finite-time adaptive controller is presented to guarantee the synchronization of two nonidentical dimension Markovian jumping complex networks with stochastic perturbations under both conditions. Meanwhile, in order to identify the uncertain parameters of the network with stochastic perturbations accurately, some corresponding sufficient conditions are given. Finally, numerical simulations under two working conditions are given to demonstrate the effectiveness and feasibility of the main theory result.

1. Introduction

Complex network, a form of system structure and function, is an essential abstraction of the interaction of the complex system and has attracted substantial number of interest from researchers in varied realm [1, 2]. The World Wide Web, power network, and neural network as well as social network all belong to the complex network of our life. Synchronization is a momentous nonlinear phenomenon of nature. As a most valuable topic in many dynamic behaviors of the complex network, it has attracted a growing number of concerns in the investigation [3, 4]. If the dynamic behavior of the coupling node in the network evolves over time and eventually reaches the same state, then it will be called synchronization. At present, a series of related research results have been established, including complete synchronization, exponential synchronization, asymptotic synchronization, and generalized synchronization. In [5], a method of complete synchronization of complex networks is proposed by constructing adaptive control technology. A sufficient condition for exponential synchronization of a complex network with time-varying delays is given in [6]. Among these research studies, the dimensions of networks are identical. However, in some practical situations this hypothesis is inappropriate and there are still a large number of networks formed with nonidentical dimensions. Projective synchronization, an important synchronization phenomenon, has received adequate attention which can be used as an appropriate synchronization scheme for the nonidentical dimension complex networks.

Moreover, the abovementioned network synchronization assumes that the synchronization time tends to be infinite [7, 8]. However, in the engineering field, it is often needed to achieve synchronization as quickly as possible, which means finite-time synchronization. In order to accomplish faster synchronization in complex dynamical networks, an effective approach is adopting finite-time control methods. In addition, as an important factor, stochastic perturbations will ineluctably affect the dynamical of the complex network and even destroy the stability of the system in some kinds of practical situations [911]. Therefore, in complex dynamical networks, both the stochastic perturbations and how to achieve finite-time synchronization cannot be ignored. Withal, at reality operation conditions, the topology of the network would be randomly switched over time [12, 13]. To this end, a Markovian process is introduced to describe. Because of the powerful mathematical modeling ability of the Markovian process in many situations, this kind of network has been developed and studied promptly.

At the meantime, in many complex network synchronization research studies, the system parameters are known. In [14], the asymptotic synchronization of complex networks with nonlinear nodes of different dimensions is studied, but the parameters of the node system are known. However, this situation is not sufficient in the process of practical. The problem of Markovian jumping complex network synchronization with uncertain system parameters needs to be considered.

The research studies on complex networks at home and abroad mainly focus on the synchronization analysis of networks with single weight [1518]. However, there are few studies on complex networks with multiple weights and seldom involve the synchronization and parameter identification of Markovian jumping complex networks with multiple weights. It is widespread in our life that there are many complex networks with multiple weights which are composed of many subnetworks of different nature, such as communication networks, traffic networks, and interpersonal networks as well as power networks [19, 20]. Taking the power network as an example, considering each city as a node and the power transmission line between two cities as an edge, there may be a variety of voltage levels of the power transmission network between the two cities, such as high-voltage network and low-voltage network (as shown in Figure 1). Such a power network constitutes a complex network with multiple weights.

Being different from the single weight, its network topology and node dynamics will be more complex. When dealing with multiweighted networks, the method of merging the edges of different properties into one edge for processing is the simplest and most common. However, some edges of the network in real life cannot be simply merged and processed, which cannot truly reflect the characteristics of the network [21].

Inspired by relevant research, this paper discusses the identification and synchronization problem of single-weight [22] and double-weights Markovian jumping complex networks with stochastic perturbations in finite time. This paper will divide double-weights network into two single-weight subnetworks. Then, it is superimposed to establish the network model by the thought of network decomposition. As far as the author knows, there are rarely studies on the identification and synchronization of nonidentical dimension Markovian jumping complex networks with uncertain parameters in finite time; hence, it is worthwhile to conduct research from the practice and theory.

2. Preliminaries

Firstly, some significantly mathematical notations are introduced as follows, which will be applied throughout this paper. Let matrix AT (or xT) means the transpose of the A (or x). Denote as the 2-norm. Indicate In ∈ Rn×n as the n-dimensional identity matrix. Let ⊗ represent the Kronecker product of the matrix. is the largest eigenvalue of a matrix.

Definition 1. (see [4]). Define and are differentiable functions satisfying the following n-dimensional functional stochastic differential equation:According to Itô’s formula, if , the operator is defined as follows:where , , and .

Assumption 1. The uniform Lipschitz condition is satisfied by the noise intensity function σi(t, ei(t)) and the constant ρi ≥ 0 is existed to make the following formula hold:

Lemma 1. (see [23]). As for any vectors x, y ∈ Rn, the following matrix inequality will be hold, where the P ∈ Rn×n is a positive definite matrix:

Lemma 2. To suppose that N(t), a continuous, positive definite function, satisfies the following differential inequality N(t) ≤ −αNη(t), ∀t ≥ t0, and N(t0) ≥ 0, where constants α > 0 and 0 < η < 1. As for arbitrary t0 and N(t), the following differential inequality will be satisfied:N(t) ≡ 0, ∀t ≥ t1. With t1, it is given as follows:

Lemma 3. As well aswhere ∀a1, a2, …, an ∈ Rn are any vectors and γ is a real number satisfying 0 < γ < 2.

3. Finite-Time-Generalized Matrix Projective Synchronization with Single-Weight Networks

The single-weight Markovian jumping complex network with random perturbations is taken as the research object and its parameter identification and finite-time synchronization are studied. The corresponding synchronization criteria and updating rules are obtained as well as the reliability and validity of the method are illustrated by numerical simulation. This is a preparation for further research on synchronization of complex networks with double weights.

3.1. Network Models

The drive-coupled complex network is described as follows, and its number of dynamic nodes is N:where are the state vectors of the ith node; fi1: Rn ⟶ Rn×l is a continuous matrix function and fi2: Rn ⟶ Rn is a continuous vector function, respectively; αi ∈ Rl are the unidentified node dynamic parameters; Γ1 ∈ Rn×n represents the inner coupling matrix; the coupling configuration matrix is expressed by , which represents the topological structure and the coupling strength of the network at time t in mode r(t).

{r(t, t ≥ 0)} is defined as a right-continuous Markovian process in probability space, describing the switching state between different parameters of time t. It takes values from the finite space with generator . The transition probability from pth mode at time t to the qth mode at time t + Δt will be defined as follows:where Δt > 0:

As the transition rate πpq ≥ 0 which can be represented from mode p at time t to mode q at time t + Δt,

Therefore, the elements of matrix A(r(t)) will be defined as follows. If it exists as a link from node j to node i (j ≠ i), then aij ≠ 0; otherwise, aij = 0. The diagonal elements of matrix A(r(t)) can be determined by .

Describe the response-coupled network as follows:where are the state vectors of node i; : Rm ⟶ Rm×o is a continuous matrix function and : Rm ⟶ Rm is a continuous vector function; the node dynamic parameter vectors which need to be identified are βi ∈ Ro; Γ2 ∈ Rm×m represents the inner coupling matrix; the coupling configuration matrix is defined by as well as in network (9); ui(t) is the finite-time nonlinear feedback controller which needs to be devised; σi(t, ei(t), and r(t)) are the noisy intensity function which mainly describe the impact of environmental fluctuations or imprecise design of coupling strength on network synchronization; and ei(t) is the error of system synchronization.

The error of system synchronization can be defined as follows:where M ∈ Rm×n is the scaling matrix (i.e., generalized matrix) consisting of constant; ; and τ is the time delay.

Definition 2. The driving network and response network can be realized synchronization through the designed finite-time nonlinear controllers. As for scaling matrix Mij = (mij) ∈ Rm×n, if the condition can be satisfied that each row of the element cannot be 0 at a time, it will hold that

3.2. Main Result

In this section, the synchronization and identification of unknown parameters for Markovian jumping complex networks with nonidentical dimensions and stochastic perturbations are investigated by utilizing the control theory of finite-time. The following theorem and remarks are the main results.

First, from (9) and (13), the synchronization error dynamic system can be obtained as below:

Theorem 1. With Assumption 1 holding, the single-weight Markovian jumping complex network (9) and (13) can be realized synchronization in a finite-time. Meanwhile, with the following controllers and undated laws, the value of uncertain parameters can be simultaneously identified:where ki(r) > 0, 0 < γ < 2, ψ > 0, θi and λi are any positive constant, and sign(·) represents symbolic function.

Remark 1. When Markovian jumping complex network (9) and (13) achieve projection lag synchronization in a finite time, the uncertain parameter vectors and of the system are identified.
If the following inequalities hold,where D(q) is a positive definite matrix; C(p) is a symmetrical matrix; ; ; ; ; and r ∈ S.
Therefore, the synchronization between single-weight Markovian jumping complex network (9) and (13) with stochastic perturbations can be achieved global asymptotic stability in a finite-time under this condition:where

Proof. The Lyapunov function is defined as below:By Definition 1, we can obtain the differential operator as follows:Substitute (16) and feedback controllers (17) into (21), resulting inAccording to Lemma 3, we obtain thatFrom Assumption 1, the conclusion is drawn:From Lemma 2, the system error of synchronization ei(t) will converge to a steady state with a finite-time, which can be estimated bywhere
Hence, networks (9) and (13) can be realized synchronization with finite time t1. Also, the uncertain system parameter vectors and are adapted to the true value of parameters. The proof is completed.

Remark 2. The proposed approach is applicable to the finite-time-generalized matrix projection lag synchronization of any two single-weight Markovian jumping complex networks with uncertain parameters, stochastic perturbations, and different initial conditions. In addition, the Markovian jumping complex network can be identical or nonidentical dimensions.

Remark 3. The synchronization and identification speed can be adjusted through choosing the constants ki(r), θi(r), and λi(r), adequately.

Remark 4. Inequality (18) in Theorem 1 is only just sufficient but not a necessary condition for single-weight Markovian jumping complex networks (9) and (13) to realize projection lag synchronization and parameter identification.

3.3. Simulation Results

Some numerical simulations are performed to prove the feasibility and effectiveness of the abovementioned result. The Chen system is taken as the node dynamic of the drive complex network:

The identifying value of the parameter vector αi is .

The four-dimensional hyperchaotic Lüchaotic system will be the node dynamic of the response complex network:

And the identifying value of the parameter vector βi is .

The size of network is taken as N = 10. The coupling configuration matrices of the network are separately given, as shown in Figures 2 and 3. Figure 2 is the topological structure of the driving system with mode 1 and mode 2. Figure 3 is the response system. Among them, the structure of network topology changing with two modes is shown with the dotted line.

In order to judge the quality of the network synchronization, we define the system error value as follows:

When and ∀t > t1, systems (9) and (13) will implement global synchronization within the finite time t1.

The other relevant parameters are as below:

The switching of two different modes in the complex system can be shown at Figure 4. and are selected arbitrary integer in the interval and τ = 0.01. The parameters of controller (17) are chosen as follows: ki(1) = ki(2) = 15, γ = 0.6, and λi(1) = λi(2) = 12. Through Lemma 2 and (28), we can obtain t1 = 7.4729 by simple calculation.

The time-varying curves of the system synchronization errors ei(t)(1 ≤ i ≤ 4) are demonstrated in Figure 5. From that, one can see that the error converge to zero which means that the two networks are in the synchronization state. Figure 6 is the system error values E(t). The conclusion of Figure 6 matches that of Figure 5. Figures 7 and 8 give the identification of parameters and . It is clear that the estimated parameters are approached to the value (35, 3, 28)T and (36, 3, 20, 1)T. They all attest that the control scheme can realize the identification and synchronization of two single-weight Markonian jumping complex networks, effectively.

4. Finite-Time-Generalized Matrix Projective Synchronization with Double-Weight Networks

In order to build a practical Markovian jumping complex network model with double-weights, this paper introduces a method of network splitting, which divides the different coupling configuration into different subnetworks. Each network after splitting has its own nature and structure. In this paper, different side voltage levels in the power network are defined as different properties, which are divided into two subnetworks (as shown in Figure 9). Then, the finite-time generalized function lag projection synchronization is studied. The synchronization criteria are given and the values of the related unknown parameters are identified further.

4.1. Network Models

In this section, the driving system is defined as follows and its dynamic node number is N:where Γi(i = 1, 2) are the inner coupling matrices; and represent the coupling configuration matrices which are represented as different coupling relationships. Its elements satisfy the following. If there exists a link from node j to node i (j ≠ i), then aij ≠ 0(bij ≠ 0); otherwise, aij = 0(bij = 0). The diagonal elements of matrix A(r(t))(B(r(t))) are defined as

The response coupled network can be described as follows:where Γi(i = 3, 4) represent the inner coupling matrices; and are the coupling configuration matrices, same as A(r(t))(B(r(t))) in (33); ui(t) is the finite-time nonlinear feedback controller which needs to be designed; and σi(t, ei(t), r(t)) is the noisy intensity function and ei(t) is the synchronization error.

The system synchronization error is defined as follows:where M(t) ∈ Rm×n is the scaling matrix consisting of functions (i.e., generalized function matrix).

Definition 3. The driving network (33) and response network (35) can be realized synchronization with the designed finite-time nonlinear controllers. As for scaling matrix M(t) = (mij(t)) ∈ Rm×n, if the condition can be satisfied that the each row of element cannot be 0 at a time, it will hold that

4.2. Main Result

The synchronization error of the dynamic system is obtained as the following from (33) and (35):

Theorem 2. With Assumption 1 holding, the double-weights Markovian jumping complex networks (33) and (35) can be realized synchronization in a finite-time. Meanwhile, with following controllers and undated laws, the value of uncertain network parameters can be simultaneously identified:

Remark 5. When Markovian jumping complex networks (33) and (35) achieve projection lag synchronization in a finite time, the uncertain system parameter vectors and are identified.
If the following inequalities hold,where D(q) is a positive definite matrix; C(p) is a symmetrical matrix; ; ; ; ; and r ∈ S.
Therefore, the synchronization between double-weights Markovian jumping complex networks (33) and (35) with stochastic perturbations can be achieved global asymptotic stability in a finite-time under this condition:where

Proof. The Lyapunov function is defined as follows:By Definition 1, the differential operator is given asSubstitute (38) and feedback controllers (39) into (43), resulting inAccording to Lemma 3,From Assumption 1, the conclusion is drawn:From Lemma 2, the system error of synchronization ei(t) will converge to a steady state with a finite-time which can be estimated bywhere
Hence, networks (33) and (35) could be realized synchronization with finite time t1. As well as, the unknown parameters vector and of the system are adapted to the true value with themselves. The proof is completed.

Remark 6. The proposed approach is applicable to the finite-time-generalized matrix projection lag synchronization of any two double-weights Markovian jumping complex networks with uncertain parameters, stochastic perturbations, and different initial conditions. In addition, the dimensions of the Markovian jumping complex network can be identical or nonidentical.

Remark 7. The synchronization and identification speed can be adjusted by choosing constants ki(r), hi(r), and si(r), adequately.

Remark 8. Inequality (40) in Theorem 2 is only just the sufficient but not necessary condition for double-weights Markovian jumping complex networks (33) and (35) to realize projection lag synchronization and parameter identification.

4.3. Simulation Results
4.3.1. Simulation Analysis I

The Chen system is taken as the node dynamic of drive complex network:

The identifying value of the parameter vector αi is .

The four-dimensional Lüchaotic system will be the node dynamic of the response complex network:

The identifying value of the parameter vector βi is .

The size of network is taken as N = 10. And the coupling configuration matrices of the network are separately given as Figures 10 and 11. Figure 10 is the topological structure of the driving system with mode 1 and mode 2. And Figure 11 is the response systems. The complex coupling network is divided into two simple coupling structures according to the theory of network splitting. Among the two subgraphs, the structure of network topology change with two modes is shown with the dotted line. The switching of the system mode is shown in Figure 12.

The other relevant parameters are as below:τ = 0.01, t0 = 0 s, ψ = 15, ki(1) = ki(2) = 15, γ = 0.6, hi(1) = hi(2) = 10, and si(1) = si(2) = 12. Through Lemma 2 and (51), we can obtain t1 = 14.427 by simple calculation.

The time-varying curves of the system synchronization errors ei(t)(1 ≤ i ≤ 4) are demonstrated in Figure 13 from which one can see that the error converge to zero. Figures 14 and 15 give the identification of unknown parameters and . It is clear that the estimated parameters are approached to values (35, 3, 28)T and (36, 3, 20, 1)T. Figure 16 is the system error values E(t). The conclusion of Figure 16 matches that of Figure 13. The all attest that the control scheme can realize the identification and synchronization of two double-weights Markonian jumping complex networks, effectively.

4.3.2. Simulation Analysis II

In order to further verify that the synchronization criterion can be applied to the synchronization research of double-weights Markovian jumping complex networks, different driving systems are selected for simulation analysis.

The Liu system is taken as the node dynamic of the drive complex network. Among them, k = 1 and h = 4:

The identifying value of the parameter vector αi is .

The four-dimensional hyperchaotic Lüchaotic system will be the node dynamic of the response complex network.

Other relevant parameters are the same as those in Section 4.3.1. t1 = 17.806 is calculated.

The time-varying curves of the system synchronization errors ei(t)(1 ≤ i ≤ 4) are demonstrated in Figure 17. From that, one can see that the error converge to zero. Figure 18 is the identification of unknown parameters . It is clear that the estimated parameters are approached to the value (10, 40, 2.5)T.

Under the same research background and system parameters, the control scheme proposed in this paper is compared with the control scheme without finite time to demonstrate the better performance of the proposed control scheme. Figures 19 and 20 are the simulation results under the control scheme without finite time. Figure 19 reveals the time evolution curves of synchronization error ei(t). Figure 20 indicates that estimated parameter converge to their truth values (10, 40, 2.5)T. By comparing with the proposed control scheme in Figures 17 and 18, it is obvious that the proposed control scheme can achieve synchronization and identification more effectively and cost less time. Figure 21 is the synchronization error value E(t) with time-varying under the control scheme with finite time and without finite time.

These illustrate that the synchronization and identification of the drive and response networks have been effectively achieved in finite time.

5. Conclusions

In this paper, the models of nonidentical dimension Markovian jumping complex networks with stochastic perturbations under the conditions of single weight and double weights are established, firstly. Then, by means of Itô’s formula and finite-time convergence theory, feedback controllers and some update laws are given under corresponding conditions to realize the synchronization, and the value of uncertain parameters in networks can be identified successfully. Finally, the simulation results are shown and the effectiveness and feasibility of the proposed method and the method can be applied to various complex dynamic networks.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was supported by the National Natural Science Foundation of Shaanxi Province (Grant no. 2019JQ-726), Scientific Research Program Funded by Shaanxi Provincial Education Department (Grant no. 18JK0558), and Key Research and Development Program of Shaanxi Province (Grant no. 2018ZDXM-GY-169).