Abstract

This article is related to the issue of fixed-time synchronization of different dimensional complex network systems with unknown parameters. Two suitable adaptive controllers and dynamic parameter estimations are proposed such that the complex network driving and response systems can be synchronized in the settling time. Based on fixed-time control theory and Lyapunov functional method, novel sufficient conditions are provided to guarantee the synchronization within the fixed times, and the settling times are explicitly evaluated, which are independent of the initial synchronization errors. Finally, a numerical example is given to illustrate the effectiveness of the proposed control algorithms.

1. Introduction

Complex network systems (CNSs) usually comprise a family of coupled interconnected nodes, in which each node represents a dynamical system. Over the past decades, the field of CNS [16] has been gaining wide attention due to its broad applications in nature and human society, such as World Wide Web, metabolic pathways, ecological networks, food webs, electrical power grids, and so on. The synchronization of CNS has been intensively investigated due to its important applications in secure communication [7, 8], image encryption [9, 10], automatic control [11], information processing [12], and other fields. Synchronization refers to a process that all the nodes seek to adjust a certain property of their motion to a common behavior as time evolves. Generally speaking, there are two typical synchronizations of CNS including inner synchronization, i.e. synchronization of all the nodes inside every network, and outer synchronization between whole complex networks simultaneously. In recent years, many synchronization patterns have been proposed to the CNS, for instance, exponential synchronization [1315], cluster synchronization [16, 17], phase synchronization [18], robust synchronization [19], generalized synchronization [20], projective synchronization [21, 22], complete synchronization [23], antisynchronization [24], etc. There are several control approaches for the synchronization of CNS, including sliding mode control [25], intermittent control and impulsive control [26, 27], pinning adaptive control [28, 29], optimal control [30], fuzzy control [31] and so on.

In the analysis of synchronization problems, the convergence rate of the proposed controller has been considered as a practically important issue, which leads to the investigation of finite-time synchronization [3239]. On the one hand, compared with the infinite-time synchronization, finite-time synchronization essentially requires high-precision convergence; furthermore, the states of CNS remain completely identical after some finite time, which is called the settling time. On the other hand, a critical issue of finite-time synchronization is that the settling time heavily depends upon the initial synchronization error of considered systems. Therefore, the modification of initial synchronization errors will lead to the different settling times. However, the initial conditions of many practical systems might be random, which leads to the inaccessibility of settling time. To overcome the defect of finite-time control, the concept of fixed-time stability was firstly proposed by Polyakov [40]. Different from the finite-time method, the settling time of fixed-time technique can be estimated offline. Namely, the stability of system can be stabilized in a predefined time by properly selecting control gains [41, 42]. Until now, many relevant results concerning fixed-time synchronization of CNS have been published in [4348]. The fixed-time controller for delayed memristor-based recurrent neural networks is discussed in [43]. The fixed-time synchronization of CNS with nonidentical nodes and stochastic noise perturbations was discussed in [44]. Specially, regardless of the initial conditions, the settling time of fixed-time synchronization for hybrid coupled networks can be adjusted to the desired values in [45]. In addition, based on a new fast fixed-time control method and delay feedback control, the fixed-time synchronization for the delayed neural networks and delayed Cohen–Grossberg neural networks was investigated in [46, 47], respectively. The fixed-time cluster synchronization for CNS via pinning control is considered in [48]. By designing new Lyapunov function and comparison systems, the fixed-time synchronization of CNS with impulsive effects via nonchattering control was investigated in [49]. However, most of the aforementioned results just presented either were more specific to synchronization of some systems or did not analyze the effects of unknown parameters for systems.

From the practical point of view, uncertainties in the plant models may arise due to parameter variation, neglected dynamics, unmodeled dynamics, and either unknown or approximately known parameters. Therefore, it is important and necessary to study the synchronization in such systems with unknown parameters. In recent years, some results of synchronization for CNS with unknown parameters have been obtained. In [50], the adaptive synchronization was studied for the response system contains unknown uncertain nonlinearities and unknown dead zones in neural networks. In [51], based on the invariant principle of functional differential equations and parameter identification, the rigorous adaptive feedback scheme is derived to achieve synchronization of two coupled neural networks with time-varying delay. But in real application, the parameters of the CNS may be mismatched. Paper [52] proved that for the general complex networks with identification of the topological structure and unknown parameters, synchronization can be achieved by using adaptive control approach. The adaptive control, as presented in [51, 52], evaluates the unknown parameters to achieve synchronization of two networks. The adaptive finite-time synchronization of different dimensional coupled chaotic (or hyperchaotic) systems with unknown parameters has been discussed in [53, 54]. In [55], the Lyapunov stability theory and the nonlinear feedback control were used to get the robust finite-time synchronization for the chaotic systems with different orders. However, this paper does not analyze the effects of finite time adaptive feedback control on unknown parameters identification of two chaotic neural networks. Recently, the generalized outer synchronization between two nondissipatively coupled CNSs with different time-varying coupling delays was investigated in [56]. Based on new concepts of finite-time passivity, two models of delayed multiweighted CNS with different dimensional nodes were presented in [57]. The finite-time synchronization problem of all parameters estimation between two different dimensional fractional-order complex dynamical networks was proposed in [58]. By using fractional adaptive laws, the fractional-order nonlinear systems with actuator faults whose parametric uncertainties and parameters are fully unknown were investigated in [59, 60], respectively. These works have provided important theoretical and application values than the previous model for single driving and single response system.

It is worthwhile to emphasize that all results above only considered the same dimensional CNS, while the different dimensional CNSs are very universal. Actually, we can observe that both circulatory and respiratory systems behave in synchronous way, but their models are essentially different and they have different dimensions. So, the theoretical research of synchronization for strictly different dynamical systems is very important. Although many finite-time synchronization schemes have been developed in the literature for various CNSs, to the best of the authors’ knowledge, few published papers consider the fixed-time synchronization and identification of unknown parameters for the different dimensional CNSs. So, it is meaningful to consider fixed-time synchronization of all parameters’ estimation for different dimensional CNSs. This paper aims to solve this challenging problem.

The remainder of this paper is organized as follows. The preliminary results and problem formulation are given in Section 2. The main results are derived in Section 3. The numerical simulation is provided to verify the results in Section 4. The conclusion is drawn in Section 5.

Throughout the paper, the following notations will be used. Let denote -dimension real space and denote 1-dimension positive real space, and is the identity matrix with dimensions. For any , let , and superscript denotes the transpose of a vector or matrix. For a matrix , denotes the inverse matrix of (the right inverse matrix of ) and represents the Kronecker product of matrices of and . For any vector , , and , where is the standard sign function.

2. Preliminary Results and Problem Formulation

In order to facilitate the synchronization control of different dimensional CNSs with unknown parameters, some definitions and lemmas are presented in the section.

For the following driving system:where represents the system state, is a continuous function on an open neighbourhood of the origin with .

The controlled response system is given bywhere represents the system state, represents the control input, and is a continuous function.

Remark 1. When , the driving and response systems (1) and (2) have the same dimension. There are a lot of relevant works about the problem of synchronization. When , the generalized synchronization of systems (1) and (2) with different dimensional is studied in [5355]. There are few results about the finite-time and fixed-time synchronization of systems (1) and (2) with different dimensions. Therefore, it is essential to give some theoretical results. In addition, it should be noticed that lots of well-known chaotic systems could be written in the form of (1) and (2), such as, Lorenz system, Chen system, Rössler system, Duffing system, hyperchaotic Lorenz system, and hyperchaotic Rössler system.
The definition of fixed-time generalized synchronization is given as follows.

Definition 1. Systems (1) and (2) are said to be in finite-time generalized synchronization by adding a suitable designed controller to response system (2), if there exist two continuously differentiable functions and there exists a number such thatwhere represents the synchronization error of different dimensional systems (1) and (2) and denotes the Euclidean norm.
The timeis called the settling time of synchronization, which is dependent of the initial value . Furthermore, if there exists a fixed-time such that for any , systems (1) and (2) are said to be in fixed-time generalized synchronization.

Remark 2. In Definition 1, the functions and are two arbitrary continuously differentiable functions; according to the different form of functions and , the generalized synchronization can also be reduced to the projective synchronization, so the research about synchronization has more extensive meaning than previous results. If , where is a scalar, then the generalized synchronization will be reduced to the projective synchronization and denotes the projective coefficient. Especially, if , then the generalized synchronization will be reduced to the complete synchronization; if , then the generalized synchronization will be reduced to the projective antisynchronization.

Remark 3. If , the equation in Definition 1 is reduced to the following form:In this case, system (2) is said to be globally finite-time asymptotically stabilized to the origin.
The following lemmas are useful for our main results.

Lemma 1. (see [61]). Let and . Then, the following two inequalities hold:

Lemma 2. (see [62]). Consider a scalar systemwhere and and are positive odd integers satisfying and . Then, the equilibrium of system (7) is fixed-time stable and the settling time is

In this paper, the fixed time and adaptive controller are designed to realize the synchronization between the driving network systems and response ones with unknown parameters in the settling time , i.e., .

3. Main Results

In this section, the sufficient conditions of fixed-time synchronization for two different dimensional CNSs are obtained via adaptive control methods.

We consider the following driving dynamical networks consisting of identical nodes:where denotes the state vector of th node, are continuous functions, and represents the vector of unknown parameters. denotes the weight configuration matrix. If there is a connection between nodes and , then ; otherwise, . The diagonal elements of matrices are defined as

For simplicity, driving system (9) is inferred to be in the following form:where , .

Correspondingly, the response system can be given as follows:

Similarly, response system (12) is inferred to be in the following form:where denotes the response state vector of the th node, , , are continuous functions, represent the vector of unknown parameters, and denotes the control input of the th node.

Consider the driving system (9) and response system (12) with unknown parameters; we define the synchronization error as , where and are both continuously differentiable functions; then, it is well known that the fixed-time synchronization problem between driving system (9) and response system (12) can be transformed to the equivalent problem of the fixed-time stabilization for the following error system:wheredenote the Jacobin matrices of functions and , respectively.

For simplicity, error system (14) is inferred to be in the following form:where and .

Assumption 1. Let and matrix be row full rank.
Now, two novel fixed-time synchronization control methodologies are given in the following two theorems.

Theorem 1. Under Assumption 1, for error system (14) of driving system (9) and response system (12) with unknown parameters, the controller is designed aswhere , denote the estimations of and , and are all positive odd integers satisfying . And the following adaptive update laws are proposed to estimate the unknown parameters and :where , . Then, systems (9) and (12) are fixed-time synchronized with the setting time , where .

Proof. Substituting controller (17) into the error system (14) yieldsConsider the following Lyapunov function:Then, the time derivative of along (20) with the adaptive tuning laws (18) and (19) can be calculated asApplying the Lemma 1 yieldsAccording to Lemma 2, error system (20) is fixed-time stable with the setting timeThe proof is completed.

For driving system (9) and response system (12) with unknown parameters, the proposed control scheme in Theorem 1 can be extended to design a new adaptive controller.

Theorem 2. Under Assumption 1, for driving system (9) and response system (12) with unknown parameters, the controller is designed aswhere , denote the estimations of and , and are all positive odd integers satisfying . The following adaptive update laws are proposed to estimate the unknown parameters and :where , . And the adaptive updated law is designed as

Then, systems (9) and (12) are fixed-time synchronized with the setting timewhere .

Proof. Substituting controller (25) into error system (14) yieldsConsider the following positive definite function:Then, the time derivative of along (30) with the adaptive tuning laws (26)–(28) can be calculated asApplying Lemma 1 yieldsAccording to Lemma 2, error system (30) is also fixed-time stable with the setting timeThe proof is completed.

Remark 4. In this paper, we provide two adaptive control strategies to ensure the fixed-time synchronization of CNS. Compared with the adaptive controller (17) of Theorem 1, controller (25) of Theorem 2 includes an additional control term ; such a control strategy can guarantee the fixed-time synchronization which is easier to be achieved, but the whole settling time will be increased.

Remark 5. The proposed controllers (17) of Theorem 1 and (25) of Theorem 2 can make the driving system (9) reach the response system (12) in the predefined time.

Remark 6. Note that the dynamic behavior of node in the error system (14) is discontinuous, which is different from the continuous dynamics of the traditional networks. In this paper, by designing the novel discontinuous feedback control schemes with function, chattering will occur. In order to weaken the chattering effect, by using new adaptive dynamic parameter estimations, a unified control framework is designed to guarantee the fixed-time synchronization of the discontinuous network driving system (9) reach response system (12).

Remark 7. The fixed-time impulsive synchronization control for network systems is inferred as follows: for the first stage, only impulsive control is exerted to make the synchronization error converge to one prescribed region. Then, for the second stage, only fixed-time control is exerted to realize the synchronization error converge to zero. Furthermore, it is worth noting that, in many practical applications, the dynamic behavior of CNS is often unknown. Thus, it is significant to develop an effective adaptive synchronization scheme for network systems via impulsive control and fixed-time control; more theoretical and practical aspects can be explored in the future work.

4. Numerical Simulation

In this section, a numerical example is presented to show the effectiveness of the proposed schemes obtained in the previous section. We consider the CNS with 10 nodes and choose node dynamics following different dimensional Lorenz and Chen hyperchaotic systems:

As can be seen in Figure 1, the weight configuration matrix is given by

The associated parameters are chosen as and such that system (35) and system (36) are chaotic. According to the designing strategy of Theorems 1 and 2, select (35) as the driving system and (36) as the controlled system .

Assume that and . The Jacobian matrices of functions and are obtained, respectively, as follows:and the right inverse matrix of is as follows:

Compared with the controller in [53], the designed controllers can show better convergence performance in this article. Based on the controller design (27) and the error dynamics (28) in [53], we obtainwhere . Moreover, the initial values of the state variable for systems (35) and (36) are given by , , and the settling time can be estimated by . However, the initial values of the state variable for systems (35) and (36) are chosen as , where is chosen randomly on the interval ; by computation, the max settling time can be estimated by , and the trajectories of errors are shown in Figure 2.

Based on expressions (26)–(28), by simple computations, we can obtain the adaptive updating laws in following form:

According to (30), the error dynamics are derived as follows:where the parameters are given as , . The initial values of the state variable for systems (35) and (36) are , where is chosen randomly on the interval . Let the initial values of estimations be and , and the initial value of is given as .

First, according to Theorem 1, systems (35) and (36) can realize fixed-time synchronization under controller (17), and settling time by computation. The trajectories of error states are shown in Figure 3. The trajectories of estimations and are depicted in Figures 4(a) and 4(b). Secondly, according to Theorem 2, systems (35) and (36) can realize fixed-time synchronization under controller (25), and the settling time by computation. Then, the trajectories of error states are shown in Figure 5. The trajectories of estimations and are depicted in Figures 6(a) and 6(b). Moreover, the trajectory of is illustrated in Figure 7. Finally, as shown in Figures 3 and 4, we can find that the chaotic oscillation has been suppressed completely. Moreover, one can see from Figures 3 and 4 that systems (35) and (36) achieve synchronization within the fixed settling time and , respectively.

Compared with the simulation results (see Figure 2 in the work of [53]), our adaptive law with simulation results (Figures 3 and 4) is faster in convergence. From Figures 5 and 6, we can see that the estimations of unknown parameters converge to the true values rapidly. It can be concluded that with the proposed adaptive control approach, better synchronization performances are obtained compared with the previous results.

5. Conclusions

This paper has addressed the fixed-time synchronization of different dimensional complex network driving and response systems with unknown parameters. Two suitable controllers and adaptive update laws are established to guarantee the synchronization realized in a given fixed time, respectively. Sufficient conditions have been obtained to guarantee the fixed-time synchronization for the driving and response systems. Meanwhile, our results can be easily extended to the cases of projective synchronization and complete synchronization. Finally, the effectiveness of theoretical analysis has been verified by a numerical simulation.

Data Availability

All datasets generated for this study are included within the article.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

This work was supported by the Foundation of Graduate Student Innovation Ability Training Project of Hebei Education Department (no. CXZZSS2021106) and College Students Innovative Training Program of Hebei Province (no. S202010082026).