Abstract

The purpose of this paper is to investigate the delay-dependent stability analysis for discrete-time neural networks with interval time-varying delays. Based on Lyapunov method, improved delay-dependent criteria for the stability of the networks are derived in terms of linear matrix inequalities (LMIs) by constructing a suitable Lyapunov-Krasovskii functional and utilizing reciprocally convex approach. Also, a new activation condition which has not been considered in the literature is proposed and utilized for derivation of stability criteria. Two numerical examples are given to illustrate the effectiveness of the proposed method.

1. Introduction

Neural networks have received increasing attention of researches from various fields of science and engineering such as moving image reconstructing, signal processing, pattern recognition, and fixed-point computation. In the hardware implementation of systems, there exists naturally time delay due to the finite information processing speed and the finite switching speed of amplifiers. It is well known that time delay often causes undesirable dynamic behaviors such as performance degradation, oscillation, or even instability of the systems. Since it is a prerequisite to ensure stability of neural networks before its application to various fields such as information science and biological systems, the problem of stability of neural networks with time delay has been a challenging issue [110]. Also, these days, most systems use digital computers (usually microprocessor or microcontrollers) with the necessary input/output hardware to implement the systems. The fundamental character of the digital computer is that it takes computed answers at discrete steps. Therefore, discrete-time modeling with time delay plays an important role in many fields of science and engineering applications. With this regard, various approaches to delay-dependent stability criteria for discrete-time neural networks with time delay have been investigated in the literature [1116].

In the field of delay-dependent stability analysis, one of the hot issues attracting the concern of the researchers is to increase the feasible region of stability criteria. The most utilized index to check the conservatism of stability criteria is to get maximum delay bounds for guaranteeing the globally exponential stability of the concerned networks. Thus, many researchers put time and efforts into some new approaches to enhance the feasible region of stability conditions. In this regard, Liu et al. [11] proposed a unified linear matrix inequality approach to establish sufficient conditions for the discrete-time neural networks to be globally exponentially stable by employing a Lyapunov-Krasovskii functional. In [12, 13], the existence and stability of the periodic solution for discrete-time recurrent neural network with time-varying delays were studied under more general description on activation functions by utilizing free-weighting matrix method. Based on the idea of delay partitioning, a new stability criterion for discrete-time recurrent neural networks with time-varying delays was derived [14]. Recently, some novel delay-dependent sufficient conditions for guaranteeing stability of discrete-time stochastic recurrent neural networks with time-varying delays were presented in [15] by introducing the midpoint of the time delay’s variational interval. Very recently, via a new Lyapunov functional, a novel stability criterion for discrete-time recurrent neural networks with time-varying delays was proposed in [16] and its improvement on the feasible region of stability criterion was shown through numerical examples. However, there are rooms for further improvement in delay-dependent stability criteria of discrete-time neural networks with time-varying delays.

Motivated by the above discussions, the problem of new delay-dependent stability criteria for discrete-time neural networks with time-varying delays is considered in this paper. It should be noted that the delay-dependent analysis has been paid more attention than delay-independent one because the sufficient conditions for delay-dependent analysis make use of the information on the size of time delay [17, 18]. That is, the former is generally less conservative than the latter. By construction of a suitable Lyapunov-Krasovskii functional and utilization of reciprocally convex approach [19], a new stability criterion is derived in Theorem 3.1. Based on the results of Theorem 3.1 and motivated by the work of [20], a further improved stability criterion will be introduced in Theorem 3.4 by applying zero equalities to the results of Theorem 3.1. Finally, two numerical examples are included to show the effectiveness of the proposed method.

Notation. is the -dimensional Euclidean space, and denotes the set of all real matrices. For symmetric matrices and , (resp., ) means that the matrix is positive definite (resp., nonnegative). denotes a basis for the null space of . denotes the identity matrix with appropriate dimensions. refers to the Euclidean vector norm or the induced matrix norm. denotes the block diagonal matrix. represents the elements below the main diagonal of a symmetric matrix.

2. Problem Statements

Consider the following discrete-time neural networks with interval time-varying delays: where denotes the number of neurons in a neural network, is the neuron state vector, denotes the neuron activation function vector, means a constant external input vector, is the state feedback matrix, are the connection weight matrices, and is interval time-varying delays satisfying where and are known positive integers.

In this paper, it is assumed that the activation functions satisfy the following assumption.

Assumption 2.1. The neurons activation functions, , are continuous and bounded, and for any , , where and are known constant scalars.

As usual, a vector is said to be an equilibrium point of system (2.1) if it satisfies . From [10], under Assumption 2.1, it is not difficult to ensure the existence of equilibrium point of the system (2.1) by using Brouwer’s fixed-point theorem. In the sequel, we will establish a condition to ensure the equilibrium point of system (2.1) is globally exponentially stable. That is, there exist two constants and such that . To confirm this, refer to [16]. For simplicity, in stability analysis of the network (2.1), the equilibrium point is shifted to the origin by utilizing the transformation , which leads the network (2.1) to the following form: where is the state vector of the transformed network, and is the transformed neuron activation function vector with and . From Assumption 2.1, it should be noted that the activation functions    satisfy the following condition [10]: which is equivalent to and if , then the following inequality holds:

Here, the aim of this paper is to investigate the delay-dependent stability analysis of the network (2.4) with interval time-varying delays. In order to do this, the following definition and lemmas are needed.

Definition 2.2 (see [16]). The discrete-time neural network (2.4) is said to be globally exponentially stable if there exist two constants and such that

Lemma 2.3 ((Jensen inequality) [21]). For any constant matrix , integers and satisfying , and vector function , the following inequality holds:

Lemma 2.4 ((Finsler’s lemma) [22]). Let , , and such that . The following statements are equivalent: (i),  ,  ,(ii),(iii),  .

3. Main Results

In this section, new stability criteria for the network (2.4) will be proposed. For the sake of simplicity on matrix representation, are defined as block entry matrices (e.g., ). The notations of several matrices are defined as

Now, the first main result is given by the following theorem.

Theorem 3.1. For given positive integers and , diagonal matrices and , the network (2.4) is globally exponentially stable for , if there exist positive definite matrices , , , , , positive diagonal matrices , any symmetric matrices , and any matrix satisfying the following LMIs: where , , and are defined in (3.1).

Proof. Define the forward difference of and as Let us consider the following Lyapunov-Krasovskii functional candidate as where The forward differences of and are calculated as By calculating the forward differences of and , we get For any matrix , integers and satisfying , and a vector function where is the discrete time, the following equality holds: It should be noted that From the equalities (3.12) and (3.13), by choosing as , and , the following three zero equations hold with any symmetric matrices ,  , and : By adding three zero equalities into the results of , we have where By Lemma 2.3, when , the sum term in (3.18) is bounded as where .
By reciprocally convex approach [19], if the inequality (3.3) holds, then the following inequality for any matrix satisfies which implies It should be pointed out that when or , we have or , respectively. Thus, the following inequality still holds: Then, has an upper bound as follows: Here, if the inequalities (3.4) hold, then is bounded as From (2.7), for any positive diagonal matrices   , the following inequality holds: Therefore, from (3.8)–(3.16) and by application of the -procedure [23], has a new upper bound as where and are defined in (3.1).
Also, the system (2.4) with the augmented vector can be rewritten as where is defined in (3.1).
Then, a delay-dependent stability condition for the system (2.4) is Finally, by utilizing Lemma 2.4, the condition (3.29) is equivalent to the following inequality From the inequality (3.30), if the LMIs (3.2)-(3.4) hold. From (ii) and (iii) of Lemma 2.4, if the stability condition (3.29) holds, then for any free maxrix with appropriate dimension, the condition (3.29) is equivalent to Therefore, from (3.31), there exists a sufficient small scalar such that By using the similar method of [11, 12], the system (2.4) is globally exponentially stable for any time-varying delay from Definition 2.2. This completes our proof.

Remark 3.2. In Theorem 3.1, the stability condition is derived by utilizing a new augmented vector including . This state vector which may give more information on dynamic behavior of the system (2.4) has not been utilized as an element of augmented vector in any other literature. Correspondingly, the state vector is also included in (3.26).

Remark 3.3. As mentioned in [10], the activation functions of transformed system (2.4) also satisfy the condition (2.6). In Theorem 3.4, by choosing in (2.6) as and , , more information on cross-terms among the states , , , , and will be utilized, which may lead to less conservative stability criteria. In stability analysis for discrete-time neural networks with time-varying delays, this consideration has not been proposed in any other literature. Through two numerical examples, it will be shown that the newly proposed activation condition may enhance the feasible region of stability criterion by comparing maximum delay bounds with the results obtained by Theorem 3.1.

As mentioned in Remark 3.3, from (2.6), we add the following new inequality with any positive diagonal matrices    to be chosen as where , , and . We will add this inequality (3.33) in Theorem 3.4. Now, we have the following theorem.

Theorem 3.4. For given positive integers and , diagonal matrices and , the network (2.4) is globally exponentially stable for , if there exist positive definite matrices , , , , , positive diagonal matrices , any symmetric matrices , and any matrix satisfying the following LMIs: where , , and are defined in (3.1) and is in (3.33).

Proof. With the same Lyapunov-Krasovskii functional candidate in (3.6), by using the similar method in (3.8)–(3.16), and considering inequality (3.36), the procedure of deriving the condition (3.34)–(3.36) is straightforward from the proof of Theorem 3.1, so it is omitted.

4. Numerical Examples

In this section, we provide two numerical examples to illustrate the effectiveness of the proposed criteria in this paper.

Example 4.1. Consider the discrete-time neural networks (2.4) where The activation functions satisfy Assumption 2.1 with For various , the comparison of maximum delay bounds () obtained by Theorems 3.1 and 3.4 with those of [12, 16] is conducted in Table 1. From Table 1, it can be confirmed that the results of Theorem 3.1 give a larger delay bound than those of [12] and are equal to the results of [16]. However, the results obtained by Theorem 3.4 are better than the results of [16] and Theorem 3.1, which supports the effectiveness of the proposed idea mentioned in Remark 3.3.

Example 4.2. Consider the discrete-time neural networks (2.4) having the following parameters: When , for different values of , maximum delay bounds obtained by [1214, 16] and our Theorems are listed in Table 2. From Table 2, it can be confirmed that all the results of Theorems 3.1 and 3.4 provide larger delay bounds than those of [1214]. Also, our results are better than or equal to the results of [16]. For the case of , another comparison of our results with those of [15, 16] is conducted in Table 3, which shows all the results obtained by Theorems 3.1 and 3.4 give larger delay bounds than those of [15, 16].

5. Conclusions

In this paper, improved delay-dependent stability criteria were proposed for discrete-time neural networks with time-varying delays. In Theorem 3.1, by constructing the suitable Lyapunov-Krasovskii’s functional and utilizing some recent results introduced in [19, 20], the sufficient condition for guaranteeing the global exponential stability of discrete-time neural network having interval time-varying delays has been derived. Based on the results of Theorem 3.1, by constructing new inequalities of activation functions, the further improved stability criterion was presented in Theorem 3.4. Via two numerical examples, the improvement of the proposed stability criteria has been successfully verified.

Acknowledgments

This paper was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (2012-0000479), and by a grant of the Korea Healthcare Technology R & D Project, Ministry of Health & Welfare, Republic of Korea (A100054).