Abstract

This paper concerns the problem of fixed/finite-time synchronization of hybrid coupled dynamical networks. The considered dynamical networks with multilinks contain only one transmittal time-varying delay for each subnetwork, which makes us get hold of more interesting and practical points. Two kinds of delay-dependent feedback controllers with multilinks as well as appropriate Lyapunov functions are defined to achieve the goal of fixed-time synchronization and finite-time synchronization for the networks. Some novel and effective criteria of hybrid coupled networks are derived based on fixed-time and finite-time stability analysis. Finally, two numerical simulation examples are given to show the effectiveness of the results proposed in our paper.

1. Introduction

The phenomenon of synchronization exists everywhere in the realistic living world. People’s applause begins with random rhythm, but it turns to the same rhythm at the end of a splendid drama. Every router of Internet periodically releases routing messages, respectively. However, the researchers have found that different router would eventually send routing messages in synchronous way, which led to the network traffic jam. Synchronization is common in every field and plays an important role. In fact, in physics, mathematics, and other fields, synchronous phenomenon of the coupled dynamical system has been studied widely in the past decade.

We are involved in a variety of complex dynamical networks, such as communication networks, Internet, transportation networks, and electricity networks. And synchronous phenomenon of dynamical networks is common. Sometimes synchronization is good for people’s lives; sometimes synchronization may be harmful to people’s lives and may even cause huge losses or serious consequences. Therefore, researches on synchronization of complex networks are of great value and significance. In a recent decade, researches on synchronization control of complex dynamical networks attract many researchers’ attention [1, 2]. Meanwhile, lots of relevant achievements have been obtained. Researches on synchronization mainly concentrate on the following: complete synchronization [3, 4], projective synchronization [57], delay synchronization [810], finite-time synchronization [1113], and so forth. Synchronization methods mainly contain the following: linear feedback method [14, 15], nonlinear feedback method [16], adaptive method [17], and so forth. According to the continuity of control law, synchronization techniques can be divided into continuous and noncontinuous synchronization control methods [1820]. Compared with continuous control law, noncontinuous control law can reduce some control cost.

Also, synchronization techniques can be divided into finite-time synchronization and infinite-time synchronization. Compared with the asymptotic stability and exponential stability, finite-time stability has relatively lower time complexity. Therefore, in the real world, obtaining synchronization in a setting time has more practical value. In secure communication, sending and receiving the information in a setting time can not only ensure the security of communication but also improve the efficiency and safety of communications [21]. However, achieving synchronization in finite time depends on the initial synchronization error value of the drive-response systems. The finite time for the unknown initial conditions of drive-response systems (the initial conditions of most of practical systems are hard to be achieved) is not fixed. Therefore, Polyakov defined the fixed-time stability theory. The time to obtain fixed synchronization is irrelevant to the initial synchronization error conditions of drive-response systems and only affected and controlled by the controller [22].

In this paper, we study the hybrid coupled dynamical networks containing coupling delay and internal delay that are indeed common in real world, which makes the research work more meaningful. In previous studies, coupling delay is defined as [2325]. In fact, as for the synchronization study of a pair of given drive-response systems, the time delay influences the variables that are transmitted from one system to another system being studied. Therefore, considering the coupling term of time delay as is more reasonable [26].

The concept of multilinks means that the edge number linking two nodes in complex networks is greater than one. Multilinked complex networks are ubiquitous in the real world, such as communication networks and transportation networks. Communication links of communication networks can be mail, telephone, QQ, letters, and so forth [2729]. Compared with researches of single link networks [3033], those of networks with multilinks are more practical and significant. There have been a lot of research achievements in this field so far [3436]. However, to my best knowledge, few put their attention to the hybrid coupled networks with both one single time-varying delay coupling and multilinks. Few people study fixed-time synchronization and finite-time synchronization with the conditions of dynamical networks mentioned above. It is interesting to complete such study even to fill the gaps in this field.

Motivated by the foregoing analysis, this paper studies fixed-time synchronization and finite-time synchronization for hybrid coupled dynamical networks with multilinks and one single time-varying delay coupling. Furthermore, we propose new model of multilinked complex dynamical networks with one single time-varying delay coupling term and design two suitable feedback controllers to ensure the synchronization. With the constructed Lyapunov functions, several novel criteria are derived to achieve fixed-time/finite-time synchronization of the complex dynamical networks described in this paper. Finally, we give two numerical simulation examples to verify the effectiveness and correctness of our proposed theoretical results.

The rest of this paper is organized as follows. In Section 2, some preliminaries are introduced, such as notations, some assumptions, and lemmas. In Sections 3 and 4, the main results proposed in this paper are introduced. In Section 5, two numerical simulation examples are provided to verify the effectiveness and correctness of our obtained theoretical results. Finally, we draw the conclusion.

2. Preliminaries

Throughout this paper, we always have the functions and to satisfy the Lipschitz condition, which mean the following assumptions [37].

Assumption 1. For any , there exists a constant such that

Assumption 2. For any , there exists a constant such thatIn order to prove the correctness of the results proposed in this paper, we need the following lemmas.

Lemma 3 (see [38]). For and , two inequalities hold as follows:

Lemma 4 (see [39], (chain rule)). If and satisfy the following conditions,(1) is C-regular,(2) is absolutely continuous when it is on any compact subinterval of , then, the following holds: and are differentiable for ;where is the Clarke generalized gradient of at the point .

Lemma 5 (see [40]). Let the function be continuous and positive-definite, and makes the differential inequalities hold as follows:where and is positive constant.
Then, for , can always satisfy the inequality as follows:Also, . The settling time is given as follows:

Lemma 6 (see [41]). Let the function be continuous and positive-definite, and makes the differential inequalities hold as follows:where and and are positive constant.
Then, , where the settling time is given as follows:

Lemma 7 (see [22]). Suppose that there exists a function which is continuous radically unbounded such that the following hold:(1)If , then .(2)Let be any solution of error dynamical system. For some constants , satisfies . Then, the following results hold:where is the fixed settling time.

In this section, we study finite-time synchronization for the multilinked complex dynamical networks with hybrid coupled terms and time-varying delays. By constructing Lyapunov function and designing appropriate controller, some useful criteria are derived to ensure that the multilinked complex dynamical networks proposed in this paper are synchronized.

3.1. Networks Model

The networks model is given as follows:where is the number of nodes and is the state vector of the th node of the network; vector functions are continuous differentiable; is internal delay; is a positive constant; denotes the delay of the th subnetwork correspondingly, and ; denotes the inner coupling matrix of the th subnetwork between node and node at the moment ; correspondingly, denotes the inner coupling matrix of the th subnetwork between node and node at the moment ; () denotes the configuration matrix of the th subnetwork and satisfies the conditions as follows:where ; means there exists a connection between nodes and ; otherwise, .

Note 1. We propose a new multilinked complex dynamical networks model with hybrid coupled terms and time-varying delays. Bringing in inner coupling matrices , our study of the finite/fixed-time synchronization for the hybrid coupled dynamical networks with both one single time-varying delay coupling and multilinks is more practical for the real world. To the best of our knowledge, this study is the first exploration in such a field.
Consider system (11) as the drive system; correspondingly, the response system is described as follows:where is the response state vector of the th node for the response system; is the designed controller to achieve synchronization.
Assume that is a Banach space which consists of continuous functions mapping the interval into with the norm . For the drive system (11) and the response system (13), their initial conditions are, respectively, given by and . Assume that in each of model equation (11) and model equation (13) a unique solution exists in regard to the initial conditions mentioned.
In order to use networks model equations conveniently, we rewrite equation (11) and equation (13) with the comprehensive consideration of condition (12). The results are given as follows:Let the synchronization errors . Then we have

3.2. Finite-Time Synchronization between the Drive System and the Response System

Combining with the given lemmas, assumptions, and conditions, we study finite-time stability of the origin of the given error dynamical system, which denotes the finite-time synchronization for the multilinked complex dynamical networks (11) and (13).

Definition 8 (the finite-time stability). Through controlling of the designed controller, there always exists a positive constant , and the value of depends on the value of the initial state vector for . If the following expressions holdthen, the error dynamical system (15) is said to be finite-time stable, and this state of the error dynamical system is named as the finite-time stability. And is called the settling time.
In order to obtain the target of finite-time synchronization for systems (11) and (13), we design the following controller as the control law of complex dynamical networks (13). The control law is given as follows:where , , and ; the parameters of will be determined as follows.
The following theorem can be derived for the drive-response systems of models (11) and (13) with the given controller (17).

Theorem 9. Let Assumptions 1 and 2 hold. If there exist the positive parameters such that the following inequalities holdthen, the drive system (11) and response system (13) can realize the synchronization in finite time. And the settling time can be determined as , where .

Proof. In this paper, the Lyapunov function is constructed as follows:Applying Lemma 4 and the error system to the process of the proof, we calculate the derivative of step by step as follows:The calculating result (20) contains many details. Firstly, in order to calculate conveniently later, we deal with the function in (20). Then, we substitute the partial processing result into the previous result (20). We getSecondly, we substitute result (21) into result (20). We get the following result:According to Lemma 5, the error dynamical system (15) can be stable in finite time. And the settling time is determined by .
This completes the proof.

Remark 10. Lemma 5 plays the role of an important theoretical basis for the previous proof, which supports the analysis of finite-time synchronization for hybrid coupled complex networks with multilinks and internal/coupling delay terms with single time-varying delays. Lemma 5 can be traced from [40].
According to Lemma 6, the following corollary can be obtained.

Corollary 11. Let both Assumptions 1 and 2 hold. The designed controller is described as follows:where and .
And let the parameters satisfy the following inequalities:where , , and . Besides, .
Then, we can obtain the conclusion that the complex system (11) and complex system (13) will realize synchronization in finite time.

Remark 12. According to Theorem 9 and Corollary 11, some sufficient finite-time synchronization criteria of the multilinked hybrid coupled networks are derived for the drive-response systems of models (11) and (13) with the designed controller in this paper. The parameters , , and are critical to the finite-time synchronization of networks (11) and (13). Compared with the previous researches, the models of complex dynamical networks proposed in our paper are more general.

3.3. Finite-Time Synchronization between Hybrid Coupled Dynamical Network and an Isolated Node

Suppose that we need multilinked hybrid coupled complex networks to synchronize to an isolated node in finite time. Then we will design the following complex networks model (25) as follows:where .

If the finite-time synchronization is obtained, that is, , the synchronized state model can be determined as follows:where . Apparently, all of must not only satisfy but also be invariant for different while the finite-time synchronization is realized. But equation (26) does not meet the requirement. Therefore, we need the following assumption to be satisfied in order to complete the proof of this proposed supposition.

Assumption 13. For the configuration matrices of multilinked hybrid coupled complex network, , where ; ; ; and all of are positive constants.
Use to denote the synchronization errors, where . Combining with the given condition (12), can be described as follows:The process of the proof for system (25) and isolated node (26) to obtain finite-time synchronization is the same as that for Theorem 9. Hence, we omit it.
Then, the following corollary can easily be obtained.

Corollary 14. Let all of Assumptions 1, 2, and 13 hold. Suppose that there exist constants satisfying the following inequalities:where , , and .
The controller designed to obtain the finite-time synchronization is described as follows:where and .
Then, the multilinked hybrid coupled complex networks (25) with control law (29) can realize the finite-time synchronization.

In this section, combining with the given lemmas, assumptions, conditions, and so on, we study the fixed-time stability of the origin for the given error dynamical system (15), which denotes the fixed-time synchronization for the multilinked complex dynamical networks (11) and (13).

So, we need to define what the fixed-time stability is, and its definition is described as follows.

Definition 15 (the fixed-time stability). Through controlling of the designed controller, there always exists a positive and fixed constant , and the value of is irrelevant to the initial conditions. If the following expressions holdthen, the error dynamical system (15) is said to be fixed-time stable; the state of the error dynamical system is called the fixed-time stability. And is named as the fixed settling time.

Note 2. Through analyzing finite-time stability and fixed-time stability, we can easily find that finite-time synchronization depends on the initial conditions of the complex networks; on the contrary, fixed-time synchronization is irrelevant to the initial conditions of the complex networks. Therefore, it is meaningful to study fixed-time synchronization, especially when the initial conditions are hard to be achieved.
The control law designed to obtain the fixed-time synchronization is given as follows:where , , , , and the parameters , , and will be determined later on.

Theorem 16. Let Assumptions 1 and 2 hold. If there exist the positive parameters such that the following inequalities holdthen, according to Lemma 7, the drive system (11) and response system (13) can realize synchronization in fixed-time . And the fixed settling time can be determined as .

The following is the process of the proof.

Proof. The designed Lyapunov function is given as follows:where .
Applying Lemma 4 and the error system to the process of the proof, we calculate the derivative of step by step as follows:The front part of the proof here is the same as that of Theorem 9. Hence, we omit the front part of proof and step to the calculating result (34) directly. The calculating result (34) contains many details. Firstly, in order to calculate conveniently later, we deal with the function in (34). Then substitute the partial processing result into the previous result (34). We getSubstituting the calculating result (35) into (34), continue to calculate as follows:Taking expressions (32) and Lemma 3 into consideration, we can get the following calculating result step by step:Through comprehensive consideration, the given error dynamical system (15) is fixed-time stable. According to Lemma 7, the fixed settling time can be calculated as follows:The proof is completed here.

Remark 17. So far, lots of achievements for finite-time synchronization of complex networks have been obtained, while, to the best of our knowledge, there is little attention drawn to the fixed-time synchronization of the multilinked hybrid coupled complex networks with time-varying delays or few published papers in this field. That is why this study can draw our attention so much.

Corollary 18. Let all of Assumptions 1, 2, and 13 hold. Suppose that there exist positive constants , , and satisfying the following inequalities:where , , and .
The controller designed to obtain the fixed-time synchronization is given as follows:where , , and .
Then, the multilinked hybrid coupled complex networks (25) with control law (40) can realize fixed-time synchronization. The fixed settling time can be calculated by .

Proof. The process of the proof for system (25) to obtain fixed-time synchronization is the same as that for Theorem 16. Hence, we omit it.

5. Numerical Simulations

We provide two simulation examples to illustrate the correctness and effectiveness of the results obtained by our paper in this section.

Example 1. This example considers the drive system (41) which is the 3-linked hybrid coupled complex networks and consists of 3 nodes. Each of the nodes is 2-dimensional.whereAnd
The time delays are chosen as follows:The configuration matrices are chosen as follows:The inner coupling matrices are chosen as follows:Correspondingly, the response system is given as follows:The initial conditions for simulation are given as follows:We define the convergence errors as
We divide simulation Example 1 into three cases to illustrate our obtained results in more detail and in more normalized manner. Let and .

Case 1. We study the state trajectories of and when the drive-response systems are without control inputs, which are showed in Figure 1. Moreover, the trajectories of without control inputs can be seen in Figure 2.

Case 2. We simulate the result of Theorem 9 when inequalities in (18) are satisfied. We choose the values of the parameters as follows: , , , and ; , , , and ; , , , and ; ; . Let . According to Theorem 9, we can calculate that the value of the settling time is 4.4496. The simulation of finite-time synchronization for the drive-response systems (41) and (46) in settling time with control inputs (17) is showed in Figure 3.

Case 3. We simulate the result of Theorem 16 when inequalities in (32) are satisfied. We choose the values of the parameters as follows: , , , and ; , , , and ; , , , and ; , , , and . According to Theorem 16, we can calculate that the value of the fixed settling time is 5. The simulation of fixed-time synchronization for the drive-response systems (41) and (46) in fixed settling time with control inputs (31) is showed in Figure 4.

Example 2. This example considers the drive system (48) which is the 3-linked hybrid coupled complex network and consists of 3 nodes. Each of the nodes is 2-dimensional. The system which is similar to (41) is given as follows:where denotes suitable control inputs.
And we will use the same , , , , , , , , and given in Example 1.
The configuration matrices are chosen as follows:According to (26), the synchronized state model is given as follows:The initial conditions for simulation are given as follows:

In Example 2, we define the convergence errors as And we divide simulation Example 2 into three cases to illustrate our obtained results in more detail and in more normalized manner.

Case 1. We study the state trajectories of and when systems (48) and (50) are without control inputs, which are showed in Figure 5. Moreover, the trajectories of , without control inputs can be seen in Figure 6.

Case 2. We simulate the result of Corollary 14. We choose the values of the parameters as follows: , , , and ; and , , and ; , , , and ; and . The simulation of finite-time synchronization for systems (48) and (50) in settling time (through calculating, ) with control inputs (29) is showed in Figure 7.

Case 3. We simulate the result of Corollary 18 when inequalities in (39) are satisfied. We choose the values of the parameters as follows: , , , and ; , , , and ; , , , and ; , , , and . According to Corollary 18, we can calculate that the value of the fixed settling time is 5. The simulation of fixed-time synchronization for the drive-response systems (48) and (50) in fixed settling time with control inputs (40) is showed in Figure 8.

6. Conclusions

In this paper, we study the finite-time synchronization of new multilinked hybrid coupled complex dynamical networks with one single time-varying delay coupling for the first time. Furthermore, we study the fixed-time synchronization of new multilinked hybrid coupled complex dynamical networks with one single time-varying delay coupling for the first time. Two suitable feedback controllers are designed in order to obtain the finite/fixed-time synchronization. Several synchronization criteria are proposed through strict calculating and theorem derivation. Finally, we use two appropriate numerical examples to illustrate the correctness and effectiveness of the results proposed in this paper. The problem of fixed-time synchronization and finite-time synchronization for the hybrid coupled dynamical networks whose coupling terms contain only one transmittal time-varying delay comes naturally for multilinked systems which simulate the real world in closer and more realistic way. It is the first time to study this exact problem and the significance of solving the problem that make our work interesting and meaningful.

Competing Interests

The authors declare that they have no competing interests.

Acknowledgments

The work is supported by the National Key Research and Development Program (Grant no. 2016YFB0800602) and the National Natural Science Foundation of China (Grant nos. 61472045 and 61573067).