Abstract

The stability of discrete-time impulsive delay neural networks with and without uncertainty is investigated. First, by using Razumikhin-type theorem, a new less conservative condition for the exponential stability of discrete-time neural network with delay and impulse is proposed. Moreover, some new sufficient conditions are derived to guarantee the stability of uncertain discrete-time neural network with delay and impulse by using Lyapunov function and linear matrix inequality (LMI). Finally, several examples with numerical simulation are presented to demonstrate the effectiveness of the obtained results.

1. Introduction

In the last three decades, much attention has been paid to the study of neural networks due to their potential applications in a variety of fields such as signal processing, pattern recognition, associative memory, combinational optimization, and other areas [15]. As we all know, it is very important to know the dynamical behaviors of neural networks. In particular, stability properties of dynamical neural networks are very essential in their design for solving practical problems.

It is well known that time delay is always encountered in the implementation of a signal transmission and even small time delay may lead to significantly deteriorated performance or instability for the system. So stability of delayed neural networks has been widely investigated. Impulse is also a common phenomenon in control schemes and evolution processes of dynamic system. For the dynamics of system, impulse can bring about many complex influences. For some stable systems, impulse may play a role as perturbation and may destabilize the system. However, for others, impulse may serve as control power and makes unstable system stabilization. Consequently, it is essential to study how impulse affects the stability of system. Meanwhile, over the past few decades, many results about the stability of neural networks with time delay and impulse were obtained [612].

In general, most neural networks were assumed to be continuous time and many considerable results were obtained. However, in the fields of engineering especially in the numerical simulations, many phenomena are often described by discrete-time systems. Generally speaking, there always exist different dynamic properties between continuous-time neural networks and discrete-time neural networks. And results about the discrete-time neural networks are still few [1332].

Furthermore, uncertainty is unavoidable in many evolution processes, which may destroy the stability of the neural networks. Therefore, it is necessary to analyze the robust stability of neural networks with uncertainty. But for the discrete-time impulsive neural networks with delay and uncertainty, there are very few results. In previous articles, several approaches were proposed to study the stability of impulsive delayed systems, most of which were based on Lyapunov functional, inequality technique, and Razumikhin technique. For instance, in [18], exponential stability for discrete-time impulsive delayed neural networks with and without uncertainty was investigated by using Lyapunov functionals. In [24], the global exponential stability of the discrete-time systems of Cohen-Grossberg neural networks with and without delays was studied by using Lyapunov methods. Global dissipativity criteria of uncertain discrete-time stochastic neural networks with time-varying delays were obtained in [25] by using linear matrix inequalities. The authors in [26] studied the stability effects of impulses in discrete-time delayed neural networks. In [27], the impulsive stabilization results for neural network without uncertainty were given by using Razumikhin technique, but the authors did not take discrete-time analogs into account. The authors in [28] investigated the existence and global exponential stability of periodic solution for delayed neural networks with impulsive and stochastic effects. The robust exponential stability of discrete-time switched Hopfield neural networks with time delay was studied in [29]. In [30], some new stability results for discrete-time recurrent neural networks with time-varying delay were proposed. And some conditions for robust stability of discrete-time uncertain neural networks with leakage time-varying delay were obtained in [31]. In [32], a new delay-independent condition for global robust stability of neural networks with time delays was given. In [18], although exponential stability for discrete-time impulsive delay neural networks with and without uncertainty was investigated by using Lyapunov functionals, the results were complicated. Consequently, we consider globally exponential stability of discrete-time impulsive delayed neural networks with uncertainty via Razumikhin-type theorems. Besides, different from articles [1, 2, 4, 16, 1822], we do not require that activation functions in this paper are bounded on .

The rest of this paper is organized as follows. In Section 2, the model description and some useful lemmas are provided. In Section 3, the main results are derived to ensure the exponential stability analysis of discrete-time impulsive delayed neural network with certainties and uncertainties. In Section 4, some numerical examples are presented to demonstrate the effectiveness of the obtained results. The conclusion is given in Section 5.

2. Preliminary

Consider the following discrete-time neural network with delay and impulses:where , , , denotes the set of nonnegative integers, that is, , , and denotes the state associated with the th neuron at time , , , are the interconnection matrices representing the weight coefficients of the neurons, , denote the neuron activation functions, and , denotes the set of positive integers, and , , , means a constant input vector, determines the size of the jump, and , , , are impulsive moments satisfying and .

A vector is said to be an equilibrium point of system (1) if it satisfies

In this paper, we assume that there exists a unique equilibrium point for system (1), and , where . Set ; then system (1) becomeswhere , , .

When parameter uncertainty is considered in system (3), the system becomes an impulsive discrete-time neural network with delay and uncertainty, which can be formulated as follows:For interval matrices , there exist known real constant matrices such thatwith .

In order to obtain our main results, the following assumptions are always made through this paper.

The activation function is a continuous function on and there exist scalars , such that, for any , ,

The activation function is a continuous function on and there exist scalars such that, for any , ,

For convenience, the following notations are defined:

We introduce the following lemmas.

Lemma 1 (see [11]). Let , and be real matrices of appropriate dimensions with satisfying ; thenfor all if and only if there exists such that

Lemma 2 (Schur’s complement). The linear matrix inequalitywhere , , is equivalent to either of the following conditions: (1) and .(2) and .

Lemma 3 (see [17]). Let , , ; suppose there exists a Lyapunov function , such that(1),  for all , ;(2) holds for all ;(3), .Then, if , the trivial solution of system (3) is globally exponentially stable.

Lemma 4 (see [17]). Let , , , be all positive numbers; suppose there exists a Lyapunov function , such that (1),  for all , ;(2) holds for all ;(3), .Then, if , the trivial solution of system (3) is globally exponentially stable.

3. Main Results

Theorem 5. Suppose that hold. If there exist positive numbers and satisfying , and positive diagonal matrices such that(1)where the symbol represents the elements below the main diagonal of the symmetric matrix;(2), where ,then the trivial solution of system (3) is globally exponentially stable.

Proof. Consider the Lyapunov functionWhen , we haveBy using and , for any , , we obtain Thus, Substituting these into (14),where
From condition (), we knowMoreover, we have From the above proving procedure, one observes that all conditions of Lemma 3 are satisfied, which implies that the trivial solution of system (3) is globally exponentially stable. This completes the proof.

Remark 6. The parameter in inequality describes the influence of impulses on the stability of discrete-time neural networks. In Theorem 5, when , this means the impulses have destabilizing effects, and we give the bound of which keep the stability property of the system. In reality, is not a necessary condition, and if , it means that both impulse-free system and its effects are stabilizing the dynamic system.

Theorem 7. Suppose that hold. If there exist positive numbers and satisfying , , and and positive diagonal matrices , such that(1)    where the symbol represents the elements below the main diagonal of the symmetric matrix;(2), where ,then the trivial solution of system (3) is globally exponentially stable.

Proof. Consider the Lyapunov function Similar to the proof of Theorem 5, for all , we have where
Moreover, we get Then all conditions of Lemma 4 are satisfied, which indicates that the trivial solution of system (3) is globally exponentially stable. This completes the proof.

Remark 8. In [18], in order to obtain the condition of globally exponential stability of the equilibrium point of (1), Theorems 5 and 7 are given. In these theorems, the parameters , , and positive definite symmetric matrices and are introduced. And in Theorem 5, the matrix , and under some other conditions, the equilibrium point of (1) is globally exponentially stable. The conditions in Theorem 7 are similar. However, in this paper, we only introduce the positive parameters , and positive diagonal matrices . In Theorem 5, we choose parameters and such that , in which is known, and where . In Theorem 7, we choose parameters and such that and , where . Comparing the conditions of Theorems 5 and 7 of this paper with those given in [18], we find that the conditions in this paper are easier implementation in practice.

Theorem 9. Suppose that hold. If there exist constants , , , and satisfying and positive diagonal matrices , such that(1)   where and the symbol represents the elements below the main diagonal of the symmetric matrix;(2), where ,then the trivial solution of system (4) is globally exponentially stable.

Proof. Consider the Lyapunov function Similar to the proof of Theorem 5, for all , we have where and Consider , , , , , .
By using Lemma 2, the condition can be equivalently expressed asInequality (28) can be rewritten in the following form:whereAccording to Lemma 1, inequality (29) holds if and only if there exists a scalar such thatand again by using Schur’s complement, inequality (31) is equivalent to condition (). Thus, we obtain Moreover, we get Then all conditions of Lemma 3 are satisfied, which implies that the trivial solution of system (4) is globally exponentially stable. This completes the proof.

Theorem 10. Suppose that hold. If there exist constants , , , and satisfying , and positive diagonal matrices , such that(1)   where and the symbol represents the elements below the main diagonal of a symmetric matrix.(2), where ,then the trivial solution of system (4) is globally exponentially stable.

Proof. Consider the Lyapunov function Similar to the proof of Theorem 5, Theorem 10 can be similarly proved; thus we omit it here.

Remark 11. From the conditions of Theorem 10, the original impulse-free neural network may not be globally stable. Theorem 10 actually derives the impulsive stabilization result for discrete-time delayed neural networks with uncertainty, and the impulses are key in stabilizing the uncertain system.

Remark 12. Compared with the existing works in [18], the conditions of Theorems 9 and 10 in this paper are easier implementation.

4. Numerical Examples

Example 1. Consider the following discrete-time impulsive neural network:The matrices are given as follows:, , , , .
It is easy to obtain that , We choose , and solving LMI () in Theorem 7, we getThen condition () of Theorem 7 holds. Thus, the trivial solution of system (36) is globally exponentially stable. Figure 1 depicts the state trajectories and of system (36) without impulsive effects. Figure 2 depicts the state variables and with impulsive effects.

Example 2. Consider the following discrete-time impulsive neural network:The matrices are given as follows: , , , , .
It is easy to see that , . We choose , and solving LMI () in Theorem 9, we get By choosing , , , , and , we get . Also by choosing and , we derive . Whether or , condition () of Theorem 9 always holds. Thus the trivial solution of system (39) is globally exponentially stable. Figure 3 depicts the state trajectories and of system (39) without impulsive effects. Figures 4 and 5 depict the state variables and with different impulsive effects, respectively.

Remark 13. In Example 1, compared with Figures 1 and 2, we get that impulse effects will make unstable system stable if conditions of Theorem 7 hold. Similarly, according to Example 2, uncertain systems with delay and impulse will also be stable if the conditions of Theorem 9 hold. Consequently, through two examples, we have the following results. On the one hand, when the original dynamic system is stable, we figure out feasible regions of impulses that can keep the stability property of the system. On the other hand, when the original dynamic system is unstable, we use impulses to stabilize it.

5. Conclusions

In this paper, the stability of discrete-time impulsive delayed neural network with and without uncertainty has been investigated. Uncertain parameters take values in some intervals. By applying Lyapunov functions and Razumikhin-type theorems, as well as linear matrix inequalities (LMIs), some new results for achieving exponential stability have been derived. Meanwhile, two examples together with their simulations have been presented to show the effectiveness and the advantage of the presented results.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work was supported by the National Natural Science Foundation of Peoples Republic of China (Grants no. 61164004, no. 61473244, and no. 11402223), Natural Science Foundation of Xinjiang (Grant no. 2013211B06), Project Funded by China Postdoctoral Science Foundation (Grants no. 2013M540782 and no. 2014T70953), Natural Science Foundation of Xinjiang University (Grant no. BS120101), and Specialized Research Fund for the Doctoral Program of Higher Education (Grant no. 20136501120001).