Abstract

In this paper, we establish a new fixed-time stability theorem, which provides a novel fixed-time stability criterion and a novel upper bound estimate formula for the settling time. Numerical simulations show that the upper bound estimate for the settling time in this paper is tighter than those given in the existing fixed-time stability theorems. By designing a simple feedback controller, the fixed-time synchronization of neural networks with discrete delay is investigated based on the fixed-time stability theorem established in this paper. A numerical example is included to validate the effectiveness of the obtained theoretical results.

1. Introduction

Neural networks can be described by differential equations [1], and they usually present complex dynamic behaviors [2]. The stability and synchronization of neural networks can be applied in many fields, such as associative memory [3], secure communication [4], and image encryption [5]. In recent years, considerable results have been reported about the stability and synchronization of neural networks [612].

Different from infinite-time synchronization (including asymptotic synchronization and exponential synchronization), finite-time synchronization [13] requires that the trajectories of the error system tend to the origin after some finite time, which is called the settling time. Considering the control cost, finite-time synchronization is more feasible and valuable than infinite-time synchronization in the engineering fields. Recently, the finite-time synchronization of neural networks has been intensively studied [1422]. In [14], the finite-time synchronization of neural networks with mixed delays and perturbations was investigated. In [19], the finite-time synchronization of Cohen–Grossberg neural networks was studied via delayed feedback control.

The drawback of finite-time synchronization is that the settling time varies with the initial conditions of the drive-response systems. Since different initial conditions lead to different settling times, the corresponding settling times will be confusing when we consider many different initial conditions. Moreover, if the initial conditions of the studied dynamical systems are unknown beforehand, it is even impossible to estimate the settling times. Therefore, it will be desirable that finite-time synchronization can be achieved in a fixed time interval, irrespective of the initial conditions of the studied systems.

In 2012, a new concept named “fixed-time stability” was introduced by Polyakov [23]. Fixed-time stability is a kind of special finite-time stability actually, and its settling time is bounded by a fixed constant for any initial conditions of the studied systems. As we know, the synchronization problem of the drive-response systems can be converted into the stability problem of the error system, so the related fixed-time stability theorems [23, 24] can be used to investigate the fixed-time synchronization of nonlinear systems [2528]. The fixed-time synchronization of nonlinear systems has important applications in secure communication and image encryption. Take secure communication for example: when can the ciphertext signals be decrypted correctly without considering the specific initial values of the drive-response systems? The solution to this problem must be attributed to the fixed-time synchronization control of the drive-response systems. That is to say, for the drive-response systems, the upper bound estimate for the settling time of the fixed-time synchronization can be used to adjust the start time of correct decryption.

As typical nonlinear systems, neural networks usually present some strange dynamic behaviors, so the fixed-time synchronization of neural networks can also be applied in many fields, such as secure communication and image encryption. Based on the fixed-time stability theorems in [23, 24, 29], there have been some publications about the fixed-time synchronization of neural networks [2934]. It should be pointed out that the upper bound estimate formulas for the settling time given in [23, 24, 29] are very inaccurate. Owing to the limitations of theoretical analysis, it is difficult to obtain the least upper bound estimate for the settling time. However, from an application point of view, it is important to derive a tighter upper bound estimate for the settling time.

Inspired by the aforementioned discussion, in this paper, we establish a new fixed-time stability theorem, which provides a novel fixed-time stability criterion and a novel upper bound estimate formula for the settling time. Numerical simulations show that the upper bound estimate for the settling time in this paper is tighter than those given in [23, 24, 29]. By utilizing the established fixed-time stability theorem, the fixed-time synchronization of neural networks with discrete delay is studied. A numerical example is included to show the effectiveness of the obtained theoretical results.

2. Preliminaries

Consider the following neural network with discrete delay:, where expresses the state of neuron; denotes the rate of neuron self-inhibition; and denote connection weights; represents the activation function; discrete delay satisfies , where is a positive constant; and stands for the external input. The initial condition of system (1) is assumed to be , where .

In this paper, system (1) is the drive system, and the corresponding response system is, where stands for the controller. Let ; the initial condition of MNN (2) is .

The synchronization errors between systems (1) and (2) are defined by ; then, the error system should be, where

Let ; then, the initial condition of system (3) should be , .

Throughout this paper, the following assumptions will be needed:A1. For , there exist constants such thatA2. For , activation function satisfies , where is a constant.

Lemma 1. , .

Proof. Based on assumptions A1 and A2, the proof is obvious.

Lemma 2 (see [35]). If , then we have

Definition 1. The origin of system (3) can achieve finite-time stability, if there is a constant such that and for , where is called the settling time.

Definition 2. The origin of system (3) can achieve fixed-time stability, if two conditions can be satisfied: (a) the origin of system (3) can achieve finite-time stability; (b) for any , there is a fixed constant such that .

Lemma 3 (see [23]). Suppose that is a continuous radically unbounded function and satisfies the following:(1)(2) for any , where and

Then, the origin of system (3) can achieve fixed-time stability, and

Lemma 4 (see [29]). Suppose that is a continuous radically unbounded function and satisfies the following:(1)(2) for any , where and

Then, the origin of system (3) can achieve fixed-time stability, and

Lemma 5 (see [24]). Suppose that is a continuous radically unbounded function and satisfies the following(1)(2) for any , where and ()

Then, the origin of system (3) can achieve fixed-time stability, and

Lemma 6 (see [36]). Suppose is C-regular. If satisfies

for any , where are two constants, then the origin of system (3) can achieve finite-time stability, and the settling time is given by

3. Main Results

First, we derive a new fixed-time stability theorem, which provides a novel fixed-time stability criterion and a novel upper bound estimate formula for the settling time.

Theorem 1. Suppose that is a continuous radically unbounded function and satisfies the following:(1)(2) for any , where and

Then, the origin of system (3) can achieve fixed-time stability, and

Proof. It is obvious thatBased on Lemma 3, the origin of system (3) can achieve fixed-time stability.
Let ; then, we haveTherefore,Since , it follows thatThis meansSo we can obtain thatTwo cases will be considered separately:(1)If , we have . Then,(2)If , we have . Then,Then, we have

Remark 1. Since , we have . Therefore, compared with Lemma 3, Theorem 1 can give a more accurate estimate. Moreover, if , .
Next, we investigate the fixed-time synchronization of systems (1) and (2) by means of the following controller:, where and will be determined later, and are arbitrary positive constants, , and .

Theorem 2. Suppose assumptions A1 and A2 hold. If control gains and satisfy , , , systems (1) and (2) can realize fixed-time synchronization under controller (22). In addition,where , , and .

Proof. We choose the following Lyapunov function:The derivative of iswhere Lemma 1 has been used.
Since , , we obtain thatwhere Lemma 2 has been used.
Let , , and . Then, we haveIt is obvious that and . Since , we have . Based on Theorem 1, the origin of system (3) can achieve fixed-time stability. In addition,

Corollary 1. Suppose assumptions A1 and A2 hold. If control gains and satisfy , , , systems (1) and (2) can realize fixed-time synchronization under controller (22). In addition,where and .

Proof. Similarly, we can prove thatwhere , , and .
Based on Lemma 3, the origin of system (3) can achieve fixed-time stability. In addition,

Corollary 2. Suppose assumptions A1 and A2 hold. If control gains and satisfy , , , systems (1) and (2) can realize fixed-time synchronization under controller (22). In addition,where and .

Proof. Similarly, we can prove thatwhere and .
Based on Lemma 4, the origin of system (3) can achieve fixed-time stability. In addition,Now, we consider the following controller:, where and will be determined later, and are arbitrary positive constants, , and , .

Corollary 3. Suppose assumptions A1 and A2 hold. If control gains and satisfy , , , systems (1) and (2) can realize fixed-time synchronization under controller (35). In addition,where and .

Proof. Similarly, we can prove thatwhere , , , , and .
Based on Lemma 5, the origin of system (3) can achieve fixed-time stability. In addition,To study the finite-time synchronization of systems (1) and (2), we design the following controller:, where and will be determined later, is an arbitrary positive constant, and .

Corollary 4. Suppose assumptions A1 and A2 hold. If control gains and satisfy , , , systems (1) and (2) can realize finite-time synchronization under controller (36). In addition,where .

Proof. Similarly, we can prove thatwhere , .
Based on Lemma 6, the origin of system (3) can achieve finite-time stability. In addition,

Remark 2. Based on the fixed-time stability theorems in [23, 24, 29], there have been some publications about the fixed-time synchronization of neural networks [2934]. However, the upper bound estimate formulas for the settling time given in [23, 24, 29] are very inaccurate. In this paper, we establish a new fixed-time stability theorem, which provides a novel upper bound estimate formula for the settling time. Numerical simulations show that the upper bound estimate for the settling time in this paper is tighter than those given in [23, 24, 29].

Remark 3. In the controllers designed in this paper, the switching item is used to deal with the sign problems in theoretical derivation. In theoretical derivation, is desirable, while is not desirable. In this case, since , can play a key role. It should be pointed out that is a discontinuous term, which may lead to chattering phenomenon. Alternatively, the continuous term can be used to replace in engineering applications, where is a sufficiently small constant. However, in strict theoretical analysis, we need not do this kind of replacement, and this kind of replacement usually leads to problems.

4. Numerical Simulations

In this section, a numerical example is provided to validate the obtained theoretical results.

Example 1. Consider the following neural network:, where , , , , , , , , , , , and .
Let and ; we have , , and . The initial condition of system (43) is , where .
The corresponding response system is, where , are controllers. Suppose the initial conditions of system (44) are , and , respectively. The synchronization errors between systems (43) and (44) without control inputs are given in Figure 1.
Choose , , , , , , , and ; then, we have , , . It can be verified that and , .
Based on Theorem 2, systems (43) and (44) can realize fixed-time synchronization under controller (22) and . The synchronization errors between systems (43) and (44) under controller (22) are presented in Figure 2. Although there are three kinds of different synchronization errors, one can see that all the synchronization errors tend to 0 within .

Remark 4. Based on Corollary 1 and Corollary 2, systems (43) and (44) can realize fixed-time synchronization under controller (22), and and . Furthermore, systems (43) and (44) can realize fixed-time synchronization under controller (35) according to Corollary 3 (), and . In fact, if and , controller (35) is the same as controller (22). Obviously, numerical example shows that is smaller than , , and (see Figure 2).

Remark 5. Based on Corollary 4, by choosing the same parameters as those in Example 1, systems (43) and (44) can realize finite-time synchronization under controller (36). It should be pointed out that the settling time is related to , which depends on the initial values of systems (43) and (44). Therefore, the settling time cannot be bounded by a unified upper bound. If is large enough, the settling time will be larger than . In contrast, for arbitrary , systems (43) and (44) can realize fixed-time synchronization under controller (22) within .

Remark 6. In Example 1, if we choose some larger and keep the other controller parameters unchanged, the obtained can be smaller. However, , , and still remain unchanged in this case.

5. Conclusions

In this paper, the fixed-time synchronization of neural networks with discrete delay is investigated by utilizing the newly developed fixed-time stability theorem, which can give the settling time a tighter upper bound estimate compared with the existing fixed-time stability theorems. The settling time of fixed-time synchronization/stability is bounded by a fixed constant, irrespective of the initial conditions of the considered systems. The obtained fixed-time synchronization criteria can be verified easily, and numerical simulations are provided to demonstrate the validity of the theoretical results. In the future, we will study the application of neural networks in associative memory.

Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

Disclosure

Julian Shen and Wei Wei are co-first authors.

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 China (Grant nos. 61771071 and 11771196).