Abstract

In this paper, the finite-time stabilization problem for memristive Cohen-Grossberg neural networks with time-varying delay is discussed. By using the novel fixed point theory of set-valued maps, we establish the existence theorem of equilibrium point. In order to realize the finite-time stabilization, two different kinds of discontinuous state feedback controllers whether including time-varying delay are designed. Based on the extended Filippov framework and two different kinds of methods whether using finite-time stability theory, some novel sufficient conditions and the upper bound of the settling time for finite-time stabilization are proposed. Finally, two numerical examples are given to demonstrate the validity of theoretical results.

1. Introduction

Memristor, first hypothesized by Chua in 1971 [1], was realized by Hewlett-Packard (HP) lab in 2008 [2]. The new circuit possesses memory characteristic as biological neurons, which is distinct from other circuit elements such as resistor and capacitor. As a result, memristor is widely used in artificial neural networks for emulating human brain [3]. When using memristor to replace other resistors, researchers can construct a new kind of neural networks named memristor-based neural networks (MNNs). Nowadays, MNNs are widely used in the area of science and technology, such as artificial intelligence, signal processing, and associate memory [36].

Due to the state-dependent switching feature, MNNs can be viewed as a differential equation with discontinuous right-hand side. Thus, the differential inclusion theory is a new kind of effective methods to study the dynamical behaviors of various MNNs. There are already many theoretical results about MNNs, such as stability and synchronization [712]. In [8], the authors proposed a new kind of complex-valued memristor-based neural networks with time-varying delays and studied their exponential stability by using some analytic techniques and constructing a Lyapunov functional. However, due to the switching feature of memristor, the dynamical behaviors of MNNs are always unstable such as oscillation and chaos. Thereby, it is necessary and challengeable to investigate the stabilization problem of unstable MNNs by designing suitable controllers.

In most researches about the stabilization of MNNs, the converge time of system states is sufficiently large such as exponential stabilization and asymptotic stabilization. However, researchers always hope the converge time can be shortened in practice. It is worth noting that the finite-time stability theorem is a very effective method to realize this goal. The finite-time stabilization (FTS) indicates the system states can keep in a certain range of equilibrium point after a finite time. Besides the faster converge speed, FTS also has other desirable advantages when compared with the infinite-time stabilization, such as better robustness and disturbance rejection properties [13, 14]. In recent years, the finite-time synchronization and FTS of discontinuous neural networks have received great attention [1519]. In [16], the finite-time synchronization of time-varying delayed neural networks (DNNs) with discontinuous activations was studied by using the famous finite-time stability theorem. In [17], the authors studied the finite-time projective synchronization issue of memristor-based delay fractional-order neural networks by using the definition of finite-time projective synchronization. On the other hand, the discontinuous controllers were creatively designed to realize the FTS of neural networks with discontinuous right-hand side [18, 19]. However, there are a few papers concerning the finite-time stabilization of MNNs [2023]. In [20], the authors investigated the FTS of MNNs by designing the discontinuous state feedback controller, but they ignored time delay. In fact, time delay is always inevitable in most neural networks due to the finite transmitting speed between neuron signals. In [23], the authors mainly studied the finite-time stability and synchronization problems of memristor-based fractional-order fuzzy cellular neural network with time delay. For realizing the FTS of discontinuous neural networks, it is worth noting that discontinuous controllers are always more effective than conventional continuous controllers. This is mainly because the uncertain differences of Filippov solutions can be well handled by using discontinuous controllers. On the other hand, Cohen-Grossberg neural networks that was introduced by Cohen and Grossberg in 1983 is also an important kind of neural networks [24]. There always exist many results about the dynamical behaviors of Cohen-Grossberg neural networks [2528]. In [26], the global and local finite-time synchronization for a class of memristor-based Cohen-Grossberg neural networks with time-varying delays are discussed. In [28], the authors studied the finite-time stability and synchronization problem of a class of memristor-based fractional-order Cohen-Grossberg neural network with time delay by using differential inclusion theory and Gronwalls inequality. However, the time delay is constant and the activation functions are bounded in [28]. To the best of our knowledge, there are few papers concerning the FTS of memristive Cohen-Grossberg neural networks with time-varying delay.

The main contributions of this paper have three aspects. First, the existence of equilibrium point is studied by using the novel fixed point theory of set-valued maps. Second, there are few results about the finite-time stabilization of neural networks concerning the factor of memristor, amplification function, and time-varying delay. Third, two discontinuous controllers whether including time-varying delay and two analysis methods whether using finite-time stability theory are considered.

The structure of this paper is organized as follows. In Section 2, the delayed memristive Cohen-Grossberg neural networks and some preliminary knowledge are presented. In Section 3, the existence theorem of equilibrium point is obtained. In Section 4, main theorems and some sufficient conditions about finite-time stabilization are provided. In Section 5, we illustrate the effectiveness of theoretical results by using numerical examples. Finally, conclusions and future research topics are presented in Section 6.

Notations. and denote the space of real number and the n-dimensional Euclidean space, respectively. Let , denotes the collection of all nonempty, compact, and convex subset of . For any column vector , the norm of is defined as . Given vectors and , denotes the inner product of and , and the superscript represents the transposition of a vector or matrix. Finally, stands for the sign function.

2. System Description and Preliminaries

In this section, the memristive Cohen-Grossberg neural networks with time-varying delay and some important preliminaries are introduced. The neural network system considered in this paper is described as follows [26]: where ; represents the voltage of capacitor ; and denote the amplification function and self-inhibition function, respectively; represents the time-varying delay and , ; and are the activation functions without and with time-varying delay, respectively; represents the external input to the th neuron; and and represent memristive connection weights satisfying in which and stand for the memductances of memristors and , respectively. denotes the memristor between the feedback function and . denotes the memristor between the time-delayed feedback function and . According to the current-voltage characteristic of memristor, and satisfy the following properties: where the switching jumps , and , , , and are constants, , .

Throughout this paper, we need the following assumptions:

Assumption 1. is continuous and bounded. There exist positive constants and such that , .

Assumption 2. is differentiable, and there exists a positive constant such that , .

Assumption 3. For and any two different , , the activation functions and satisfy Lipschitz conditions, i.e., there exist positive constants and such that

Assumption 4. For , there exist positive constants , , , and such that the activation functions and satisfy the following conditions

By taking the equivalent transformation method [26, 27], the amplification function in the delayed memristive Cohen-Grossberg neural networks (1) can be well handled. Let us choose a transformation function such that

According to Assumption 1, is continuous and positive. Thus, is a strictly increasing function. Denoting , thus and .

Taking the above variable transformations, it follows from (1) that

Next, we introduce some important definitions and lemmas for subsequent analysis. For more relevant details, we can refer to [29]. For , represents the collection of all continuous functions and denotes the Banach space equipped with the norm . If , for any continuous function , can be defined as for all . Then, .

Definition 1 ([20]). Let set , if for each point of , there corresponds a nonempty set , then is said to be a set-valued map from . A set-valued map with nonempty values is said to be upper semicontinuous (USC) at , if for any open set containing , there exists a neighborhood of , such that .

Definition 2 ([30]). Consider a differential equation with discontinuous right-hand side . Let us define a Filippov set-valued map (i.e., Filippov regularization) as follows: where represents the Lebesgue measure of set ; represents the closure of the convex hull of some set ; intersection is taken over all sets of Lebesgue measure zero and over all ; . A vector-valued function defined on a nongenerate internal is said to be a Filippov solution of the discontinuous differential equation, if it is absolutely continuous on any compact subinterval of , and also satisfies the differential inclusion , for almost all .

Definition 3 ([30]). A vector-valued function , is a Filippov solution of system (1) if (i) is continuous on and absolutely continuous on any compact subinterval of (ii)for almost all , satisfies the following differential inclusion: where Obviously, the set-valued map is USC and measurable. By using the measurable selection theorem [29], there exist measurable functions , , for a.e. , such that

Based on Definition 3, we can obtain that the Filippov solution of system (8) satisfies where

Equivalently, there exist for a.e. , such that

Definition 4 ([20]). A constant vector is said to be an equilibrium point of system (8), if and only if, or, equivalently, there exist and such that

Lemma 1 (Kakutani’s fixed point theorem [20]). Let be a compact convex subset of a Banach space , if the set-valued map is an upper semicontinuous convex compact map, then has a fixed point in , i.e., there exists such that .

Lemma 2 (Chain rule [20]). Suppose that is C-regular, and is absolutely continuous on any compact subinterval of . Then, and are differential for a.e. and Here, represents the Clarke’s generalized gradient of at point .

Lemma 3 ([31, 32]). Suppose that is C-regular, and that is absolutely continuous on any compact interval of . If there exists a continuous function , with for , such that and then, we have for . Especially, we have the following conclusions. (i)If , for all , where and , , then the settling time is estimated by (ii)If and , then the settling time is estimated by

Lemma 4 (Young inequality [33]). Assume that , , , , then the following inequality holds

Lemma 5 (Hardy inequality [20]). If are positive numbers and , then

3. Existence Analysis of Equilibrium Point

In this section, we discuss the existence of equilibrium point of system (1) using the Kakutani’s fixed point theorem of set-valued maps. For further analysis, the following Assumption is needed.

Assumption 5. , where and .

Theorem 1. Under the Assumptions 1, 2, 4, and 5, the discontinuous differential system (1) has at least one equilibrium point.

Proof. From Assumption 2, we can obtain is a monotone increasing function. On the other hand, is also a monotone increasing function due to the monotone increasing property of . Thus, if is an equilibrium point of system (8), it follows from (17) that Let us denote and be the norm of , . Obviously, is a Banach space with the norm . Next, we define a compact convex subset as follows: where Now, let us define a set-valued map as follows: where Obviously, the set-valued map is USC with nonempty compact convex values. In other words, is an upper semicontinuous convex compact map.
For any and , then there exist and such that Because and are all monotone increasing functions, it follows that Thus, Since and are differentiable, and , we can obtain where is between and , is between and .
Under Assumption 4, we can get where is between 0 and . Similarly, It follows from (32)–(36) that By summing up the above inequity, we can get Under Assumption 5, it follows that It is easy to obtain , i.e., .
Thus, and for any . Up to now, satisfies all the conditions in Lemma 1. Therefore, the set-valued map exists at least one fixed point , i.e., . Then, it is easy to obtain that the discontinuous neural networks (1) exists at least one equilibrium point . The proof is completed.

Remark 1. The novel Kakutani’s fixed point theorem of set-valued maps is used to discuss the existence of equilibrium point for memristive Cohen-Grossberg neural networks with time-varying delay [20, 32]. Compared with [20, 32], the factor of amplification function are considered and the activation functions can be unbounded in the neural networks (1). Thus, the neural networks in this paper is more general. On the other hand, the method by using the equivalent transformation system (8) is effective and novel. In one word, the method of proof and theoretical results in Theorem 1 are novel and extend the scope of the previous work.

4. Finite-Time Stabilization

In this section, we will discuss the FTS of system (1), i.e., stabilize the system states to the equilibrium point in finite time. In order to realize this goal, two kinds of discontinuous controllers are designed. By adding the discontinuous controller , we obtain the following discontinuous controlled system from (1)

By taking the variable transformation , it follows from (40) that

For further analysis, the following important inequalities are needed. Let where , . Since is differentiable, we can get where is between and . From (42) and , it follows that .

Similar to (42), we can get where is between and .

Using (42), it follows that

Since and are all differentiable, is also differentiable. By using the Lagrange mean value theorem, it follows that where is between and , is between and .

From the proof of Theorem 1, we can know that the equilibrium point . Therefore, there exist positive constants and such that

Under the Assumption 3 and (46), we can obtain

Similar to (47), it follows that

4.1. Discontinuous State Feedback Controller with Time-Varying Delay

In order to realize the FTS of system (1), the following discontinuous state feedback controller with time-varying delay is designed. where , , and are positive constants to be determined later. In this section, we will use the famous finite-time stability theory to study the FTS of system (1). In the following, we further assume

Assumption 6. , , where .

Theorem 2. Suppose that Assumptions 16 hold. If , , and . Then, the discontinuous neural networks (1) can be stabilized in a finite time with the discontinuous state feedback controller (49). The settling time for FTS can be estimated by

Proof. Let us consider the Lyapunov function It can be easily verified that is C-regular. Therefore, we can calculate the derivative of along the solution of (41) by using Lemma 2, Under Assumption 6 and expressions (42)–(48), we can get According to Lemma 4, Then, By Lemma 5, we can deduce the following inequality It follows from (53)–(56) that Under the conditions and , the FTS of discontinuous neural networks (8) can be realized using Lemma 3. In addition, the settling time can be calculated as follows: In other words, , . It follows that It follows from (42) that Thus, , . Therefore, the FTS of delayed memristive Cohen-Grossberg neural networks (1) with the discontinuous state feedback controller (49) can be realized with the settling time .
The proof is completed.

Similar to Theorem 2, it is easy to obtain the following corollary by a similar proof.

Corollary 1. Suppose that Assumptions 16 hold. If , , and . Then, the discontinuous neural networks (1) with the discontinuous state feedback controller (49) can realize FTS. The settling time for FTS can be estimated by

Remark 2. When compared with conventional continuous state feedback controllers, the discontinuous state feedback controller (49) contains discontinuous terms and . It is easy to obtain that different terms in this controller play different roles. In other words, can handle the influence of time-varying delay, and are used to guarantee the FTS. It is worth noting that the expressions (59) and (60) are important to obtain the FTS of the system (1) when we have proved the FTS of the discontinuous system (8).

Remark 3. It is effective to handle the uncertain differences of Filippov solutions by designing discontinuous controllers [16, 20, 27, 32]. From (50) and (61), we can know that the settling time for FTS can be controlled by the tunable constant . However, this goal was realized by adding the related term in the controllers in [16, 27, 32], such as the term in [16]. On the other hand, the neural networks in this paper is more general than [16, 20, 27, 32]. Thus, the discontinuous controller (49) and theoretical results obtained in Theorem 2 are novel.

4.2. Discontinuous State Feedback Controller without Time-Varying Delay

In this section, we design the following discontinuous state feedback controller without time-varying delay, where and are the gain coefficients to be determined later. Besides, the analysis method without using the finite-time stability theory will be presented to investigate the FTS of (1).

Based on Assumption 1, we need to further assume that

Assumption 7. , for , .

Theorem 3. Suppose Assumptions 15 and 7 hold. The gain coefficients and satisfy the following conditions, and where . Then, the memristive Cohen-Grossberg neural networks with time-varying delay (1) can be finite-time stabilized via the discontinuous state feedback controller without time-varying delay (62). Furthermore, the settling time can be calculated as follows:

Proof. Consider the following Lyapunov function It is easy to verify that is C-regular. The derivative of along the solution of (41) can be calculated by using Lemma 2, By using (42)–(48), we can get Next, the FTS of discontinuous system (1) can be studied without using the finite-time stability theory. As proposed in [34], we can get for . By taking a similar analysis in Theorem 2, we can obtain that the FTS of discontinuous neural networks (1) can be realized via the discontinuous controller without time-varying delay (62) with the settling time . The proof is completed.

Remark 4. In this paper, we design two different kinds of state feedback controllers whether including time-varying delay. When compared with the discontinuous controller with time-varying delay (49), the discontinuous controller without time-varying delay (62) is simpler. However, in Theorem 2, we do not need the conditions and Assumption 7, which are essential conditions in Theorem 3. Thus, the results in Theorem 2 are less conservative. Besides, two different kinds of analysis methods whether using finite-time stability theory are utilized. In practice, the researchers can choose the suitable controller and analysis method according to practical needs. On the other hand, it is worth noting that the expressions (42)–(44) are important to connect the discontinuous systems (1) and (8) in the proof of Theorem 2 and Theorem 3.

Remark 5. There exist a few papers considering the FTS of memristor-based neural networks [20, 23, 28, 35]. However, the authors in [20, 23, 35] did not consider the factor of time-varying delay and amplification function simultaneously. In [28], the finite-time stability and synchronization of a class of memristor-based fractional-order Cohen-Grossberg neural network with time delay was discussed. However, the activation functions are bounded and the time delay is constant in [28]. To the best of our knowledge, there is little work concerning the FTS of memristive Cohen-Grossberg neural networks with time-varying delay. Therefore, the theoretical results obtained in this paper are novel.

5. Numerical Examples

In this section, we take two numerical examples to illustrate the correctness of theoretical results provided in this paper.

Example 1. Consider the 2-D delayed memristive Cohen-Grossberg neural networks as follows: where

It is obvious that , , , , and , , for any , , . Thus, it is easy to obtain that the system (69) satisfies Assumptions 15. Taking initial values and for , the dynamical behavior of system (69) without any controller can be shown in the case of Figure 1(a).

Using the discontinuous state feedback controller (49), we take , , and , . By simple computation, we can get Assumption 6 hold and , . Thus, all the conditions in Theorem 2 are satisfied. Therefore, the considered discontinuous system (69) can be stabilized in finite time by using the discontinuous state feedback controller (49). We choose the initial values as and , for . The case of Figure 1(b) shows the dynamical behavior of system (69) with the controller (49). The numerical simulations illustrate the correctness of theoretical results in Theorem 2.

Example 2. Consider the following 3-D delayed memristive Cohen-Grossberg neural networks: where

It is straightforward to obtain that

Thus, it is easy to obtain that Assumptions 15 and 7 are satisfied. By taking initial values , , and for , the case of Figure 2(a) shows the dynamical behavior of system (71) without any controllers.

Using the discontinuous state feedback controller without time-varying delay (62), we take and , . By simple computation, we can get and . Thus, all the conditions in Theorem 3 are satisfied. Therefore, the finite-time stability of the discontinuous system (71) with the discontinuous controller (62) can be realized. We choose the initial values as , , and for . The case of Figure 2(b) shows the trajectories of the discontinuous system (71) with the discontinuous controller (62). The numerical simulations indicate our theoretical results in Theorem 3 are valid.

6. Conclusion

In this paper, the FTS of memristive Cohen-Grossberg neural networks with time-varying delay has been discussed. Based on the novel Kakutani’s fixed point theorem of set-valued maps, we have obtained the existence theorem of equilibrium point without assuming the boundedness of the activation functions. Due to the existence of memristor, amplification function, and time-varying delay, the FTS control of memristive Cohen-Grossberg neural networks with time-varying delay is not an easy work. Thus, we have considered two different kinds of discontinuous state feedback controllers whether including time-varying delay and two different analysis methods whether using finite-time stability theory. Under the extended Filippov framework and some inequality techniques, several sufficient conditions for guaranteeing the FTS have been obtained. In addition, the settling time for FTS are also proposed. Finally, two numerical examples have been used to illustrate the validity of theoretical results. On the other hand, it is a very effective method to investigate the FTS of the discontinuous system (1) by using the equivalent transformation system (8). The approaches in this paper can also be extended to study the fixed-time stabilization and fixed-time synchronization of other types of Cohen-Grossberg neural networks. Besides, it is well known that the factor of impulse has an important effect on the neural networks. In the future research, we hope to study the fixed-time stabilization and fixed-time synchronization problem of other more complex Cohen-Grossberg neural networks, such as concerning the factor of impulse or mixed delays [3640]. Meanwhile, how to design more simple and effective controllers is also our future research topic.

Data Availability

In the numerical examples, we have verified that all the conditions in Theorem 2 and Theorem 3 are hold. Then, the correctness of theoretical results is illustrated by using MATLAB programming. If the data used in MATLAB programming does not satisfy all the conditions in the two theorems, the numerical simulations are incorrect and cannot verify the correctness of theoretical results. Or available from the corresponding author upon request.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This research was supported by the National Natural Science Foundation of China (Grant No. 71171077) and China Hunan Provincial Science and Technology Department (2015JC3050).