New Results on Passivity Analysis of Delayed Discrete-Time Stochastic Neural Networks
The problem of passivity analysis for a class of discrete-time stochastic neural networks (DSNNs) with time-varying interval delay is investigated. The delay-dependent sufficient criteria are derived in terms of linear matrix inequalities (LMIs). The results are shown to be generalization of some previous results and are less conservative than the existing works. Meanwhile, the computational complexity of the obtained stability conditions is reduced because less variables are involved. Two numerical examples are given to show the effectiveness and the benefits of the proposed method.
Over the past decades, Neural Networks (NNs) have attracted considerable attention because of their extensive applications in pattern recognition, optimization solvers, model identification, signal processing, and other engineering areas . Meanwhile, time delays are frequently encountered in various engineering, biological, and economic systems due to the finite switching speed of amplifiers and the inherent communication time of neurons. It has been revealed that time delay may cause instability and oscillation of the neural networks [2, 3]. For these reasons, the stability problem of NNs with delays has been extensively studied, for example, see [2–10]. It is well known that delay-dependent stability conditions are generally less conservative than delay-independent conditions, especially when the size of the delay is small. Therefore, considerable attention has been focused on the derivation of delay-dependent stability results and many effective approaches have been provided to reduce the conservatism of stability results for further improving the quality of delay-dependent stability criteria.
Most NNs studied are assumed to act in a continuous-time manner; however, in implementing and applications of neural networks, discrete-time neural networks become more and more important than their continuous-time counterparts . So, the stability analysis problems for discrete-time neural networks have received more and more interests, and some stability criteria have been proposed in literature; for example, see [11–15] and the references cited therein. Moreover, stochastic disturbance usually appears in the electrical circuit design of neural networks; a neural network could be stabilized or destabilized by certain stochastic inputs. The delay-dependent stability problems of stochastic neural networks are studied in some works, such as, [16, 17] and the reference cited therein.
On the other hand, the passivity theory plays an important role in the analysis and design of linear and nonlinear delayed systems. Recently, the passivity of linear systems with delays [18–20] and the passivity of neural networks with delays [21–23] have been studied. Based on the Lyapunov-Krasovskii method and LMI framework, the passivity properties for delayed NNs were firstly studied in . In , the problem of passivity and robust passivity for a class of discrete-time stochastic neural networks with time-varying delays was studied.
In this paper, by constructing a new Lyapunov-Krasovskii functional, the improved delay-dependent passivity and robust passivity criteria of DSNNs are obtained in the form of linear matrix inequalities (LMIs). It is shown that the obtained conditions are less conservative and more efficiency than those in . Two numerical examples are also provided to show the effectiveness of the proposed stability criteria.
Notation 1. Throughout this paper, stands for the set of nonnegative integers; and denote the dimensional Euclidean space and the set of all real matrices, respectively. Real symmetric matrix denotes being a positive definite (positive semi-definite) matrix. The notation (resp., ) means that and are symmetric matrices, and that is positive semi-definite (resp., positive definite). is used to denote an identity matrix with proper dimension. Matrices, if not explicitly stated, are assumed to have compatible dimensions. The symmetric terms in a symmetric matrix are denoted by . The superscript represents the transpose. We use and to denote the minimum and maximum eigenvalue of a real symmetric matrix, respectively. Let be a complete probability space with a filtration satisfying the usual conditions (i.e., it is right continuous and contains all -pull sets); let be the family of all -measurable -valued random variables such that where stands for the mathematical expectation operator with respect to the given probability measure
2. Problem Formulation and Preliminaries
Consider the uncertain DSNNs with time-varying interval delay described by
where is the neural state vector; and denote the neuron activation functions; is the output of the neural network; is the input vector; denotes the time-varying delay satisfying
and are known positive integers. , , and , where with describing the rate with which the th neuron will reset its potential to the resting state in isolation when disconnected from the networks and external inputs, is the connection weight matrix, and is the delayed connection weight matrix. , and represent the time-varying parameter uncertainties and are assumed to satisfy the following admissible condition:
where , and are known real constant matrices of appropriate dimensions; is the unknown time-varying matrix-valued function satisfying
In system (2.1), is a scalar Wiener process (Brownian Motion) on with
and there exist two positive constants that and such that
The initial condition of system (2.1) is given by
The activation functions in (2.1) satisfy the following assumption.
Assumption 2.1. Activation functions in (2.1) are bounded and satisfy : where are constants. Denote and
Definition 2.3. The delayed DSNNs (2.1) are said passive if there exists a scalar such that
The purpose of this paper is to find the maximum allowed delay bound for the given lower bound such that the system described by (2.1) with uncertainties (2.3) is robust passivity.
In obtaining the main results of this paper, the following lemma will be useful for the proofs.
Lemma 2.4 (see ). Given constant matrices where , then the LMI is equivalent to the following condition:
Lemma 2.5 (see ). Given matrices and with , then holds for all satisfying if and only if there exists a scalar such that
3. Main Results
In this section, we present a delay-dependent criterion guaranteeing the passivity of DSNNs with time-varying delay:
Theorem 3.1. Under Assumption 2.1 given two scalars and , for any delay satisfying (2.2), system (3.1) is passive in the sense of Definition 2.3 if there exist two scalars , five positive definite matrices , three diagonal matrices , and six matrices with appropriate dimensions, such that the following LMIs hold: where with
Proof. Choose a new Lyapunov-Krasovskii functional candidate as follows:
Defining , calculating the difference of along the system (3.1), and taking the mathematical expectation, we have where, Define , and it is easy to see From Assumption 2.1, if follows that for For any diagonal matrices , and in Assumption 2.1, it is easy to get
On the other hand, using (3.2) Since , combining (3.9)–(3.13), we get Applying Lemma 2.4 to (3.3) yields From (3.15), we obtain for all . By the definition of , we know that for all . Thus, then by Definition 2.3, it completes the proof of Theorem 3.1.
Remark 3.2. In Theorem 3.1, the free-weighing matrices are introduced so as to reduce the conservatism of the delay-dependent results.
Remark 3.3. Since the activation functions satisfy Assumption 2.1, we know that So, then So, is nonnegative definite. Including the term in the Lyapunov functional is to reduce the conservatism further, and it is illustrated by the later example. If is not included in (3.6), we can get Corollary 3.4.
Corollary 3.4. Given two scalars and . Then, for any delay satisfying (2.2), system (3.1) is passive in the sense of Definition 2.3 if there exist two scalars , five positive definite matrices , two diagonal matrices , and six matrices with appropriate dimensions, such that (3.2) and the following LMI hold: where with
Next, we provide the delay-dependent robust passivity analysis for uncertain DSNN (2.1).
Theorem 3.5. Given two scalars and . Then, under Assumption 2.1, for any delay satisfying (2.2), system (3.1) is robust passive if there exist two scalars , five positive definite matrices , three diagonal matrices , and six matrices with appropriate dimensions, such that (3.3) and the following LMI hold: where with
Proof. Assume that inequality (3.25) holds, according to Lemma 2.4, we have
Then, from Lemma 2.5, we know that LMI (3.28) is equivalent to the following inequality:
It can be verified that the above inequality is exactly the left-hand side of (3.3) when , and are replaced with , and , respectively. The result then follows from Theorem 3.1.
We now consider the DSNNs without stochastic term. In this case, the system (2.1) reduces to From Theorem 3.5, we can easily obtain the following corollary.
Corollary 3.6. Given two scalars and . Then, for any delay satisfying (2.2), system (3.30) is robust passive if there exist three scalars , five positive definite matrices , three diagonal matrices , and six matrices with appropriate dimensions, such that the following LMI holds:s where with
4. Numerical Examples
This section presents two numerical examples that demonstrate the validity of the method described above.
The activation functions satisfy Assumption 2.1 with , , , and .
Example 4.2. Consider a delayed uncertain DSNNs (3.1) with the following parameters:
, and the activation functions satisfy Assumption 2.1 with , .
If the time-varying delays satisfy , by the Matlab LMI Toolbox, we can find a solution to the LMI (3.25) as follows: and . Therefore, by Theorem 3.5, we know that system (3.1) with the above given parameters is robust passive.
In this paper, we have considered the problem of passivity and robust passivity analysis for a class of DSNNs with time-varying delay. By choosing a new Lyapunov-Krasovskii functional, the improved delay-dependent criteria have been proposed. Finally, two numerical examples have been provided to illustrate the effectiveness of the obtained results.
This work is partially supported by the Natural Science Foundation of China (60874030, 60835001, 60574006), the Qing Lan Project by the Jiangsu Higher Education Institutions of China, and the Natural Science Foundation of the Jiangsu Higher Education Institutions of China (Grant no. 07KJB510125, 08KJD510008, 09KJB510018).
J. Yu, K. Zhang, S. Fei, and T. Li, “Simplified exponential stability analysis for recurrent neural networks with discrete and distributed time-varying delays,” Applied Mathematics and Computation, vol. 205, no. 1, pp. 465–474, 2008.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
W. H. Chen, Z. H. Guan, and X. M. Lu, “Passivity control synthesis for uncertain Markovian jump system with multiple mode-dependent time-delays,” Asian Journal of Control, vol. 7, no. 2, pp. 135–143, 2005.View at: Google Scholar