Journal of Applied Mathematics

Volume 2013 (2013), Article ID 396903, 21 pages

http://dx.doi.org/10.1155/2013/396903

Research Article

LMI Approach to Exponential Stability and Almost Sure Exponential Stability for Stochastic Fuzzy Markovian-Jumping Cohen-Grossberg Neural Networks with Nonlinear -Laplace Diffusion

Ruofeng Rao,¹ Xiongrui Wang,¹ Shouming Zhong,1,2 and Zhilin Pu 1,3

¹Institution of Mathematics, Yibin University, Yibin, Sichuan 644007, China

²School of Science Mathematics, University of Electronic Science and Technology of China, Chengdu 610054, China

³College of Mathematics and Software Science, Sichuan Normal University, Chengdu 610066, China

Received 3 February 2013; Accepted 23 March 2013

Academic Editor: Qiankun Song

Copyright © 2013 Ruofeng Rao et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

The robust exponential stability of delayed fuzzy Markovian-jumping Cohen-Grossberg neural networks (CGNNs) with nonlinear -Laplace diffusion is studied. Fuzzy mathematical model brings a great difficulty in setting up LMI criteria for the stability, and stochastic functional differential equations model with nonlinear diffusion makes it harder. To study the stability of fuzzy CGNNs with diffusion, we have to construct a Lyapunov-Krasovskii functional in non-matrix form. But stochastic mathematical formulae are always described in matrix forms. By way of some variational methods in , Itô formula, Dynkin formula, the semi-martingale convergence theorem, Schur Complement Theorem, and LMI technique, the LMI-based criteria on the robust exponential stability and almost sure exponential robust stability are finally obtained, the feasibility of which can efficiently be computed and confirmed by computer MatLab LMI toolbox. It is worth mentioning that even corollaries of the main results of this paper improve some recent related existing results. Moreover, some numerical examples are presented to illustrate the effectiveness and less conservatism of the proposed method due to the significant improvement in the allowable upper bounds of time delays.

1. Introduction

It is well known that in 1983, Cohen-Grossberg [1] proposed originally the Cohen-Grossberg neural networks (CGNNs). Since then the CGNNs have found their extensive applications in pattern recognition, image and signal processing, quadratic optimization, and artificial intelligence [2–6]. However, these successful applications are greatly dependent on the stability of the neural networks, which is also a crucial feature in the design of the neural networks. In practice, time delays always occur unavoidably due to the finite switching speed of neurons and amplifiers [2–8], which may cause undesirable dynamic network behaviors such as oscillation and instability. Besides delay effects, stochastic effects also exist in real systems. In fact, many dynamical systems have variable structures subject to stochastic abrupt changes, which may result from abrupt phenomena such as sudden environment changes, repairs of the components, changes in the interconnections of subsystems, and stochastic failures. (see [9] and references therein). The stability problems for stochastic systems, in particular the Itô-type stochastic systems, become important in both continuous-time case and discrete-time case [10]. In addition, neural networks with Markovian jumping parameters have been extensively studied due to the fact that systems with Markovian jumping parameters are useful in modeling abrupt phenomena, such as random failures, operating in different points of a nonlinear plant, and changing in the interconnections of subsystems [11–15].

Remark 1. Deterministic system is only the simple simulation for the real system. Indeed, to model a system realistically, a degree of randomness should be incorporated into the model due to various inevitable stochastic factors. For example, in real nervous systems, synaptic transmission is a noisy process brought on by random fluctuations from the release of neurotransmitters and other probabilistic causes. It is showed that the above-mentioned stochastic factors likewise cause undesirable dynamic network behaviors and possibly lead to instability. So it is of significant importance to consider stochastic effects for neural networks. In recent years, the stability of stochastic neural networks has become a hot study topic [3, 16–21].

On the other hand, diffusion phenomena cannot be unavoidable in real world. Usually diffusion phenomena are simply simulated by linear Laplace diffusion in much of the previous literature [2, 22–24]. However, diffusion behavior is so complicated that the nonlinear reaction-diffusion models were considered in several papers [3, 25–28]. Very recently, the nonlinear -Laplace diffusion () is applied to the simulation of some diffusion behaviors [3]. But almost all of the above mentioned works were focused on the traditional neural networks models without fuzzy logic. In the factual operations, we always encounter some inconveniences such as the complicity, the uncertainty and vagueness. As far as we know, vagueness is always opposite to exactness. To a certain degree, vagueness cannot be avoided in the human way of regarding the world. Actually, vague notations are often applied to explain some extensive detailed descriptions. As a result, fuzzy theory is regarded as the most suitable setting to taking vagueness and uncertainty into consideration. In 1996, Yang and his coauthor [29] originally introduced the fuzzy cellular neural networks integrating fuzzy logic into the structure of traditional neural networks and maintaining local connectedness among cells. Moreover, the fuzzy neural network is viewed as a very useful paradigm for image processing problems since it has fuzzy logic between its template input and/or output besides the sum of product operation. In addition, the fuzzy neural network is a cornerstone in image processing and pattern recognition. And hence, investigations on the stability of fuzzy neural networks have attracted a great deal of attention [30–37]. Note that stochastic stability for the delayed -Laplace diffusion stochastic fuzzy CGNNs have never been considered. Besides, the stochastic exponential stability always remains the key factor of concern owing to its importance in designing a neural network, and such a situation motivates our present study. Moreover, the robustness result is also a matter of urgent concern [10, 38–46], for it is difficult to achieve the exact parameters in practical implementations. So in this paper, we will investigate the stochastic global exponential robust stability criteria for the nonlinear reaction-diffusion stochastic fuzzy Markovian-jumping CGNNs by means of linear matrix inequalities (LMIs) approach.

Both the non-linear -Laplace diffusion and fuzzy mathematical model bring a great difficulty in setting up LMI criteria for the stability, and stochastic functional differential equations model with nonlinear diffusion makes it harder. To study the stability of fuzzy CGNNs with diffusion, we have to construct a Lyapunov-Krasovskii functional in non-matrix form (see, e.g., [4]). But stochastic mathematical formulae are always described in matrix forms. Note that there is no stability criteria for fuzzy CGNNs with -Laplace diffusion, let alone Markovian-jumping stochastic fuzzy CGNNs with -Laplace diffusion. Only the exponential stability of Itô-type stochastic CGNNs with -Laplace diffusion was studied by one literature [3] in 2012. Recently, Ahn use the passivity approach to derive a learning law to guarantee that Takagi-Sugeno fuzzy delayed neural networks are passive and asymptotically stable (see, e.g., [47, 48] and related literature [49–57]). Especially, LMI optimization approach for switched neural networks (see, e.g., [53]) may bring some new edificatory to our studying the stability criteria of Markovian jumping CGNNs. Muralisankar, Gopalakrishnan, Balasubramaniam, and Vembarasan investigated the LMI-based robust stability for Takagi-Sugeno fuzzy neural networks [36, 38–41]. Mathiyalagan et al. studied robust passivity criteria and exponential stability criteria for stochastic fuzzy systems [10, 37, 42–46]. Motivated by some recent related works ([9, 10, 36–57], and so on), particularly, Zhu and Li [4], Zhang et al. [2], Pan and Zhong [58], we are to investigate the exponential stability and robust stability of Itô-type stochastic Markovian jumping fuzzy CGNNs with -Laplace diffusion. By way of some variational methods in (Lemma 6), Itô formula, Dynkin formula, the semi-martingale convergence theorem, Schur Complement Theorem, and LMI technique, the LMI-based criteria on the (robust) exponential stability and almost sure exponential (robust) stability are finally obtained, the feasibility of which can efficiently be computed and confirmed by computer matlab LMI toolbox. When , or ignoring some fuzzy or stochastic effects, the simplified system may be investigated by existing literature (see, e.g., [2–4, 58]). Another purpose of this paper is to verify that some corollaries of our main results improve some existing results in the allowable upper bounds of time delays, which may be illustrated by numerical examples (see, e.g., Examples 30 and 36).

The rest of this paper is organized as follows. In Section 2, the new -Laplace diffusion fuzzy CGNNs models are formulated, and some preliminaries are given. In Section 3, new LMIs are established to guarantee the stochastic global exponential stability and almost sure exponential stability of the above-mentioned CGNNs. Particularly in Section 4, the robust exponential stability criteria are given. In Section 5, Examples 28, 30, 32, 35, 36, and 38 are presented to illustrate that the proposed methods improve significantly the allowable upper bounds of delays over some existing results ([4, Theorem 1], [4, Theorem 3], [58, Theorem 3.1], [58, Theorem 3.2]). Finally, some conclusions are presented in Section 6.

2. Model Description and Preliminaries

In 2012, Zhu and Li [4] consider the following stochastic fuzzy Cohen-Grossberg neural networks:

where each is scalar standard Brownian motion defined on a complete probability space with a natural filtration . The noise perturbation is a Borel measurable function. and denote the fuzzy AND and OR operation, respectively. Under several inequalities conditions and the following five similar assumptions on System (1), some exponential stability results are obtained in [4]. Of course, in this paper, we may present the following conditions which are more flexible than those of [4].

(A1) There exists a positive definite diagonal matrix such that

  for all , . (A2) There exist positive definite diagonal matrix such that

(A3) For any given , is locally Lipschitz continuous, and there exists a constant such that for all at which is differentiable; is locally Lipschitz continuous, and there exists a constant such that at which is differentiable. (A4) There exist nonnegative matrices and such that

  where , . (A5) , , .

Remark 2. The condition (A3) is different from that of some existing literature (e.g., [2–4]). In those previous literature, and are always assumed to be globally Lipschitz continuous. Here, we relax this assumption, for and are only the local Lipschitz continuous functions. From Rademacher's theorem [59], a locally Lipschitz continuous function is differentiable almost everywhere. Let be the set of those points where is differentiable, then is the Jacobian of at and the set is dense in . The generalized Jacobian of a locally Lipschitz continuous function is a set of matrices defined by

where denotes the convex hull of a set.

Remark 3. The conditions (A1) and (A2) relax the corresponding ones in some previous literature (e.g., [2–4]).

The condition (A5) guarantees zero-solution is an equilibrium of stochastic fuzzy system (1). Throughout this paper, we always assume that all assumptions (A1)–(A5) hold. In addition, we assume that and are symmetric matrices in consideration of LMI-based criteria presented in this paper.

Besides delays, stochastic effects, the complexity, the vagueness and diffusion behaviors always occur in real nervous systems. So in this paper, we are to consider the following delays stochastic fuzzy Markovian-jumping Cohen-Grossberg neural networks with nonlinear -Laplace diffusion :

with boundary condition

where is a given scalar, is a bounded domain with a smooth boundary of class by , , , and is the state variable of the th neuron and the th neuron at time and in space variable . The smooth nonnegative functions are diffusion operators. Time delay . represents an amplification function, and is an appropriately behavior function. , are neuron activation functions of the th unit at time and in space variable . is a right-continuous Markov process on the probability space which takes values in the finite space with generator given by

where is transition probability rate from to and , and . In mode , we denote , , and , which imply the connection strengths of the ith neuron on the th neuron, respectively.

The boundary condition (6a) is called Dirichlet boundary condition if , and Neumann boundary condition if , where , denotes the outward normal derivative on . It is well known that the stability of neural networks with Neumann boundary condition has been widely studied. The Dirichlet boundary conditions describe the situation where the space is totally surrounded by a region in which the states of the neuron equal zero on the boundary. And the stability analysis of delayed reaction-diffusion neural networks with the Dirichlet boundary conditions is very important in theories and applications, and also has attracted much attention [2, 3, 29, 58]. So in this paper, we consider the CGNNs under Neumann boundary condition and Dirichlet boundary condition, respectively.

If the complexity and the vagueness of CGNNs are ignored, the stochastic fuzzy system (6) is simplified to the following stochastic system:

where matrices , . In 2012, Wang et al. [3] studied the stability of System (8) without Markovian-jumping.

Finally, we consider the global robust exponential stability for the following uncertain fuzzy CGNNs with -Laplace diffusion:

For any mode , we denote , , , by , , , , and matrices , , , . Assume

The , , , and are parametric uncertainties, satisfying

where is an unknown matrix with , and , , , are known real constant matrices for all .

Throughout this paper, we denote matrices , , , , , , . For the sake of simplicity, let , and , . Matrix satisfies for all , , . Denote with . And denotes the Hadamard product of matrix and (see, [60] or [3]).

For convenience’s sake, we need introduce some standard notations.

(i) The space of real Lebesgue measurable functions of , it is a Banach space for the 2-norm with , where is Euclid norm. (ii) : The family of all -measurable -value random variable such that , where stands for the mathematical expectation operator with respect to the given probability measure . (iii)   (<0): A positive (negative) definite matrix, that is,   (<0) for any . (iv)   : A semi-positive (semi-negative) definite matrix, that is,    for any . (v) : This means is a semi-positive (semi-negative) definite matrix. (vi) : This means is a positive (negative) definite matrix. (vii) denotes the largest and smallest eigenvalue of matrix , respectively. (viii) Denote for any matrix ; for any . (ix) : Identity matrix with compatible dimension. (x) The symmetric terms in a symmetric matrix are denoted by . (xi) The Sobolev space (see [61] for detail). Particularly in the case of , then . (xii) Denote by the lowest positive eigenvalue of the boundary value problem

Let be the state trajectory from the initial condition , on in . Below, we always assume is a solution of System (6).

Definition 4. For any given scalar , the null solution of system (6) is said to be stochastically globally exponentially stable in the mean square if for every initial condition , , there exist scalars and such that for any solution ,

Definition 5. The null solution of System (6) is said to be almost sure exponentially stable if for every , there exists a positive scalar such that the following inequality holds:

Lemma 6. Let be a positive definite matrix, and be a solution of system (6) with the boundary condition (6a). Then one has

Proof. Since is a solution of system (6), we can derive it by Guass formula and the boundary condition (6a) that

Then the other three equalities can be proved similarly.

Remark 7. Lemma 9 actually generalizes the conclusion of [62, Lemma 3.1] from Hilbert space to Banach space .

Lemma 8 (nonnegative semi-martingale convergence theorem [63]). Let and be two continuous adapted increasing processes on with . Let be a real-valued continuous local martingale with . Let be a nonnegative -measurable random variable with . Define

for . If is nonnegative, then

where . means . In particular, if ., then for almost all , and , that is, both and converge to finite random variables.

Lemma 9 (see [64]). Let be locally Lipschitz continuous. For any given , there exists an element in the union such that

where denotes the segment connecting and .

Lemma 10 (see [65]). Let be any given scalar, and and be matrices with appropriate dimensions. If , then one has

3. Main Results

Theorem 11. Assume that . In addition, there exist a sequence of positive scalars and positive definite diagonal matrices and such that the following LMI conditions hold:

where matrices , , , and

then the null solution of Markovian jumping stochastic fuzzy system (6) is stochastically exponentially stable in the mean square.

Proof. Consider the Lyapunov-Krasovskii functional:

where is a solution for stochastic fuzzy system (6). Sometimes we may denote by , by , and , by for simplicity.

Let be the weak infinitesimal operator. Then it follows by Lemma 6 that

Moreover, we get by A4 and A5

From A3 and Lemma 9, we know

where , and .

So it follows by A1–A5 that

or

Remark 12. In (28), we employ a new method, which is different from that of [4, (3)]. Therefore, our LMI conditions in Theorem 11 may be more feasible and effective than [4, Theorem 1] to some extent, which may be illustrated by a numerical example below (see, Example 30).

Denote . Then we get by (21)

Then we can obtain by the Dynkin formula

Hence, we have

On the other hand,

Combining the above two inequalities, we obtain

Therefore, we can see it by Definition 4 that the null solution of stochastic fuzzy system (6) is globally stochastically exponentially stable in the mean square.

Corollary 13. If there exist a positive scalar and positive definite diagonal matrices and such that the following LMI conditions hold:

where matrices ,,,, and

then the null solution of stochastic fuzzy system (1) is stochastically exponentially stable in the mean square.

Remark 14. It is obvious from Remark 12 that our Corollary 13 is more feasible and effective than [4, Theorem 1]. In addition, the LMI-based criterion of Corollary 13 has its practical value in real work, for it is available to computer matlab calculation.

Corollary 15. Assume that . In addition, there exist a sequence of positive scalars and positive definite diagonal matrices and such that the following LMI conditions hold:

where

then the null solution of Markovian jumping stochastic system (8) is stochastically exponentially stable in the mean square.

Particularly for the case of , we get from the Poincaré inequality (see, e.g., [58, Lemma 2.4]) that

Denote . Then Lemma 6 derives that

where , and is a positive scalar, satisfying

Moreover, one can conclude the following Corollary from (40) and the proof of Theorem 11.

Corollary 16. Assume that . In addition, there exist a sequence of positive scalars and positive definite diagonal matrices and such that the following LMI conditions hold:

where satisfies (38), then the null solution of Markovian jumping stochastic system (8) with is stochastically exponentially stable in the mean square.

Remark 17. Corollary 16 not only extends [58, Theorem  3.2] into the case of Markovian jumping, but also improves its complicated conditions by presenting the efficient LMI-based criterion.

Below, we denote for convenience's sake.

Theorem 18. Assume . The null solution of Markovian jumping stochastic fuzzy system (6) is almost sure exponentially stable if there exist positive scalars , , and positive definite matrices such that

where

Proof. Consider the Lyapunov-Krasovskii functional:

By applying Itô formula (see, e.g., [3, (2.7)]) and Lemma 6, we can get

where , , and .

Similarly as (26)–(29), we can derive by A1–A5 and Lemma 9

On the other hand,

Denote for convenience’s sake. Then we have

Combining (47) and (49) results in

which together with (43) implies

Remark 19. The methods employed in (38)–(50) are different from ones in the proof of [4, Theorem 3] so that our efficient LMI criterion can be constructed. In large numerical calculations, LMI-based criterion in Theorem 18 is more effective than the complicated condition (8) in [4, Theorem 3]. To some extent, Theorem 18 is more effective than [58, Theorem 3.1] to some extent if fuzzy system (6) is simplified to system (8) without Markovian jumping (see, e.g., Example 38).

It is obvious that the right-hand side of (51) is a nonnegative semi-martingale. And hence the semi-martingale convergence theorem derives

Note that

Then we can conclude from (52)

So we can see it from Definition 5 that the null solution of stochastic fuzzy system (6) is almost sure exponentially stable.

Corollary 20. The null solution of stochastic fuzzy system (1) is almost sure exponentially stable if there exist positive scalars , , and positive definite diagonal matrices such that

where

Remark 21. It seems from Remark 19 that Corollary 20 is obviously more effective than [4, Theorem 3] and [58, Theorem 3.1], which may shown by numerical examples below.

Corollary 22. Assume . The null solution of Markovian jumping stochastic system (8) is almost sure exponentially stable if there exist positive scalars , , and positive definite matrices , such that

where

Corollary 23. Assumed . The null solution of Markovian jumping stochastic system (8) is almost sure exponentially stable if there exist positive scalars , , , and positive definite matrices , such that

where satisfies (58).

Remark 24. As pointed out in Remark 19, Corollary 23 is obviously more effective than [58, Theorem 3.1] if Markovian jumping stochastic system (8) is simplified to a stochastic system without Markovian juamping.

4. The Robust Exponential Stability Criteria

Theorem 25. Assume that . In addition, there exist a sequence of positive scalars and positive definite diagonal matrices and such that for all ,

where matrices , , , , and

then the null solution of Markovian jumping stochastic fuzzy system (9) is stochastically exponentially robust stable in the mean square.

Proof. Similarly as the proof of Theorem 11, we consider the same Lyapunov-Krasovskii functional

where is a solution for stochastic fuzzy system (9). Then it follows by the proof of Theorem 11 that

Denote , and , where . It is obvious that

Then we can conclude it by , (11), Lemma 10, and applying Schur Complement ([66]) to (60) that

Thereby, we can complete the rest of the proof by the same methods employed in (32)–(34).

Similarly, we can derive the following Theorem by (11), Lemma 10, Schur Complement Theorem and the proof of Theorem 18.

Theorem 26. Assume . The null solution of Markovian jumping stochastic fuzzy system (9) is the almost sure robust exponential stability if there exist positive scalars , , and positive definite matrices , such that for all ,

where

Remark 27. Although the stability of Laplace diffusion stochastic neural networks are studied by previous literature. However, it is the first attempt that the robust stability criteria about the nonlinear -Laplace diffusion stochastic fuzzy neural networks with Markovian jumping are obtianed, and the first time that the exponential stability criteria of -Laplace diffusion stochastic fuzzy neural networks with Markovian jumping are provided. It is also the first attempt to synthesize the variational methods in (see, e.g., Lemma 6, Remark 7), Itô formula, Dynkin formula, the semi-martingale convergence theorem, Schur Complement Theorem, and LMI technique to set up the LMI-based (robust) exponential stability or almost sure exponential (robust) stability criteria.

5. Comparisons and Numerical Examples

Example 28. Consider the following stochastic fuzzy CGNNs:

under Dirichlet boundary condition, where the initial value function

, , ,, , , , , and

The transition rates matrices are considered as

Fix . Let , then we use matlab LMI toolbox to solve LMIs (21) and (22), and obtain , , , , and

Then by Theorem 11 we know that the null solution of Markovian jumping stochastic fuzzy system (68) is stochastically exponentially stable in the mean square with the allowable upper bounds of time delays (see, Figures 1 and 2).

(a)

(b)

Figure 1: The state variable .

(a)

(b)

Figure 2: The state variable .

Remark 29. (1) Thanks to some novel techniques employed in this paper (Remark 12), LMI-based criterion of Theorem 11 is more effective and feasible in consideration of its significant improvement in the allowable upper bounds of time delays.

(2) Because the stability of the stochastic fuzzy CGNN with -Laplace diffusion is never studied by any previous literature, below we have to compare the corollaries of Theorem 11 with some existing results to demonstrate the advantages of the proposed method (see, e.g., Example 30).

(3) Finding a solution to the LMI system is called the feasibility problem. In matlab LMI toolbox, the feasibility problem is solved by the so-called feasp solver. And the feasp solver always judges the feasibility of the feasibility problem by solving the following convex optimization problem:

The global optimum value of the convex optimization problem is always denoted by , which is the first datum of the output data of the feasp solver. Particularly, the system is feasible if min , and infeasible if .

Example 30. Consider the following fuzzy system:

with all the parameters mentioned in Example 28. In addition, denote

Let , then we solve LMIs (35), and get , , and

Then by Corollary 13, the null solution of stochastic fuzzy system (75) is stochastically exponentially stable in the mean square with the allowable upper bounds of time delays .

Remark 31. With all the above parameters in Example 30, we solve the inequalities condition (2) in [4, Theorem 1], and obtain which implies infeasible (see, Remark 29 (3)). However, the inequalities condition (2) in [4, Theorem 1] is only sufficient, not necessary for the stability. In Example 30, we can conclude from LMI-base criterion of Corollary 13 that the null solution of stochastic fuzzy system (75) is stochastically exponentially stable in the mean square. Hence, as pointed out in Remarks 12 and 14, Corollary 13 is more feasible and effective than [4, Theorem 1].

Example 32. Consider the Markovian jumping system (8) with all the parameters mentioned in Example 28. In addition, denote

Let . Then one can solve LMIs (37), and obtain , , , , and

And hence Corollary 15 derives that the null solution of Markovian jumping stochastic system (8) is stochastically exponentially stable in the mean square with the allowable upper bounds of time delays .

If , we can solve LMIs (42) with , and get , , , , , , , and

where for (see, e.g., [58, Remark 2.5]). Then Corollary 16 yields that the null solution of Markovian jumping stochastic system (8) is stochastically exponentially stable in the mean square with the allowable upper bounds of time delays .

Remark 33. Example 32 illustrates that LMI-based criteria of Corollaries 15 and 16 are more effective and feasible than some existing results (see, e.g., [58, Theorem 3.2]) due to the significant improvement in the allowable upper bounds of time delays.

There are some interesting comparisons among Examples 28, 30, and 32 as follows.

From Table 1, we know that the ambiguity of the fuzzy system affect the analysis and judgement on the stability. The maximum allowable upper bounds decrease when the fuzzy factors occur. In addition, both the randomicity of Markovian jumping and nonlinear -Laplace diffusion exercised a malign influence on judging the stability.

Table 1: Allowable upper bound of for various cases.

Theorem 11
Corollary 13
Corollary 15
Corollary 16

Value of

Markovian jumping
Yes
No
Yes
Yes

Fuzzy
Yes
Yes
No
No

Time delays
50.78
45.37
108.9
109.88

Remark 34. Table 1 also illustrates that the diffusion item plays an active role in the LMI-based criterion of Corollary 16.

Example 35. Consider (68) with the parameters (71), (72), and

Assume, in addition, . Fix and . Let , then we solve LMIs (43), and obtain , , , , and

Hence, we can conclude from Theorem 18 that the null solution of Markovian jumping stochastic fuzzy system (6) is almost sure exponentially stable with the allowable upper bounds of time delays .

Example 36. Consider stochastic fuzzy system (75) with all the parameters in Example 35. In addition, denote

Let , then one can solve LMIs (55), and obtain , and

Then by Corollary 20, the null solution of stochastic fuzzy system (75) is almost sure exponentially stable with the allowable upper bounds of time delays .

Remark 37. With all the above data in Example 36, we solve the inequalities condition (8) in [4, Theorem 3], and obtain which implies infeasible. However, the inequalities condition (8) in [4, Theorem 3] is only sufficient, not necessary for the stability. In Example 36, we can conclude from LMI-base criterion of Corollary 20 that the null solution of stochastic fuzzy system (1) is almost sure exponentially stable. Hence, as pointed out in Remarks 19 and 21, Corollary 20 is more feasible and effective than [4, Theorem 3].

Example 38. Consider Markovian jumpimg stochastic system (8) with all the parameters in Example 35. In addition, denote

Let , then we solve LMIs (43), and obtain , , , , and

Hence, we can conclude from Corollary 22 that the null solution of Markovian jumping stochastic system (8) is almost sure exponentially stable with the allowable upper bounds of time delays .

If , then one can solve LMIs (59) with , and get , , , , , , , and

where for .

Hence, Corollary 23 yields that the null solution of Markovian jumping stochastic system (8) is almost sure exponentially stable with the allowable upper bounds of time delays .

Remark 39. Example 38 illustrates that LMI-based criteria of Corollaries 22 and 23 are more effective and feasible than some existing results (see, e.g., [58, Theorem 3.1]) due to the significant improvement in the allowable upper bounds of time delays.

There are some interesting comparisons among Examples 35, 36, and 38 as follows.

From Table 2, we know that the ambiguity of the fuzzy system affect the analysis and judgement on the stability. The maximum allowable upper bounds decrease when the fuzzy factors occur. In addition, both the randomicity of Markovian jumping and nonlinear -Laplace diffusion exercised a malign influence on judging the stability.

Table 2: Allowable upper bound of for various cases.

Theorem 18
Corollary 20
Corollary 22
Corollary 23

Value of

Markovian jumping
Yes
No
Yes
Yes

Fuzzy
Yes
Yes
No
No

Time delays
27.15
88.15
98.85
99.89

Remark 40. Table 2 also illustrates that the diffusion item plays an active role in the LMI-based criterion of Corollary 23.

Remark 41. From Examples 28, 30, 32, 35, 36, and 38 we learn that owing to some novel techniques employed in this paper (see, Remarks 12 and 19), LMI-based criteria of Theorems 11 and 18, and their corollaries are more effective and feasible than recent related results (Remarks 12, 14, 17, 19, 21, and 24), and improve significantly the allowable upper bounds of time delays (Remarks 29, 31, 33, 34, 37, and 39).

6. Conclusions

In this paper, the stability for delayed nonlinear reaction-diffusion Markovian jumping stochastic fuzzy Cohen-Grossberg neural networks is investigated. The fuzzy factors and the nonlinear -Laplace diffusion bring a great difficulty in setting up the LMI-based criteria for the stability. By way of some variational methods in , Itô formula, Dynkin formula, the semi-martingale convergence theorem, Schur Complement Theorem and LMI technique, the LMI-based criteria on the (robust) exponential stability and almost sure exponential (robust) stability are finally obtained, the feasibility of which can efficiently be computed and confirmed by computer matlab LMI toolbox. As the stability of the nonlinear -Laplace diffusion fuzzy CGNNs has never been studied before, we compare some corollaries of our main results with existing results in numerical examples. In Examples 30 and 36, Corollaries 13 and 20 judge what existing criteria cannot do. Numerical examples and simulations illustrate the effectiveness and less conservatism of the proposed method due to the significant improvement in the allowable upper bounds of time delays (see, Remarks 29, 31, 33 and Remarks 34, 37, 39). Tables 1 and 2 show that fuzzy factors and stochastic factors give some difficulties to judge the stability, for the allowable upper bounds of time delays decrease when fuzzy factors and stochastic factors occur. In addition, when , the diffusion item plays a positive role. So for the future work, the -Laplace diffusion item ( and ) should play its role in stability criteria, which still remains open and challenging.

Acknowledgments

This work was supported by the National Basic Research Program of China (2010CB732501), by Scientific Research Fund of Science Technology Department of Sichuan Province (2010JY0057, 2012JY010), and by Scientific Research Fund of Sichuan Provincial Education Department (12ZB349).

References

M. A. Cohen and S. Grossberg, “Absolute stability of global pattern formation and parallel memory storage by competitive neural networks,” IEEE Transactions on Systems, Man, and Cybernetics, vol. 13, no. 5, pp. 815–826, 1983.

X. Zhang, S. Wu, and K. Li, “Delay-dependent exponential stability for impulsive Cohen-Grossberg neural networks with time-varying delays and reaction-diffusion terms,” Communications in Nonlinear Science and Numerical Simulation, vol. 16, no. 3, pp. 1524–1532, 2011.

X. Wang, R. Rao, and S. Zhong, “LMI approach to stability analysis of Cohen-Grossberg neural networks with p-Laplace diffusion,” Journal of Appplied Mathematics, vol. 2012, Article ID 523812, 12 pages, 2012.

Q. Zhu and X. Li, “Exponential and almost sure exponential stability of stochastic fuzzy delayed Cohen-Grossberg neural networks,” Fuzzy Sets and Systems, vol. 203, pp. 74–94, 2012.

Q. Liu and R. Xu, “Periodic solutions of a Cohen-Grossberg-type BAM neural networks with distributed delays and impulses,” Journal of Applied Mathematics, vol. 2012, Article ID 643418, 17 pages, 2012.

H. Xiang and J. Cao, “Periodic oscillation of fuzzy Cohen-Grossberg neural networks with distributed delay and variable coefficients,” Journal of Applied Mathematics, vol. 2008, Article ID 453627, 18 pages, 2008.

X. Zhou and S. Zhong, “Riccati equations and delay-dependent BIBO stabilization of stochastic systems with mixed delays and nonlinear perturbations,” Advances in Difference Equations, vol. 2010, Article ID 494607, 14 pages, 2010.

Y. Zhao and Y. Ma, “Stability of neutral-type descriptor systems with multiple time-varying delays,” Advances in Difference Equations, vol. 2012, 7 pages, 2012.

A. Friedman, Stochastic Differential Equations and Applications. Vol. 2, Probability and Mathematical Statistics, vol. 28, Academic Press, New York, NY, USA, 1976.

K. Mathiyalagan, R. Sakthivel, and S. Marshal Anthoni, “Exponential stability result for discrete-time stochastic fuzzy uncertain neural networks,” Physics Letters A, vol. 376, no. 8-9, pp. 901–912, 2012.

Q. Ling and H. Deng, “A new proof to the necessity of a second moment stability condition of discrete-time Markov jump linear systems with real states,” Journal of Applied Mathematics, vol. 2012, Article ID 642480, 10 pages, 2012.

Q. Zhu and J. Cao, “Exponential stability of stochastic neural networks with both Markovian jump parameters and mixed time delays,” IEEE Transactions on Systems, Man, and Cybernetics, Part B, vol. 41, no. 2, pp. 341–353, 2011.

Q. Zhu and J. Cao, “Stability analysis for stochastic neural networks of neutral type with both Markovian jump parameters and mixed time delays,” Neurocomputing, vol. 73, no. 13-15, pp. 2671–2680, 2010.

Q. Zhu, X. Yang, and H. Wang, “Stochastically asymptotic stability of delayed recurrent neural networks with both Markovian jump parameters and nonlinear disturbances,” Journal of the Franklin Institute, vol. 347, no. 8, pp. 1489–1510, 2010.

Q. Zhu and J. Cao, “Stochastic stability of neural networks with both Markovian jump parameters and continuously distributed delays,” Discrete Dynamics in Nature and Society, vol. 2009, Article ID 490515, 20 pages, 2009.

S. Blythe, X. Mao, and X. Liao, “Stability of stochastic delay neural networks,” Journal of the Franklin Institute. Engineering and Applied Mathematics, vol. 338, no. 4, pp. 481–495, 2001.

J. Buhmann and K. Schulten, “Influence of noise on the function of a “physiological” neural network,” Biological Cybernetics, vol. 56, no. 5-6, pp. 313–327, 1987.

S. Haykin, Neural Networks, Prentice-Hall, Upper Saddle River, NJ, USA, 1994.

Y. Sun and J. Cao, “th moment exponential stability of stochastic recurrent neural networks with time-varying delays,” Nonlinear Analysis: Real World Applications, vol. 8, no. 4, pp. 1171–1185, 2007.

L. Wan and J. Sun, “Mean square exponential stability of stochastic delayed Hopfield neural networks,” Physics Letters A, vol. 343, no. 4, pp. 306–318, 2005.

L. Wan and Q. Zhou, “Convergence analysis of stochastic hybrid bidirectional associative memory neural networks with delays,” Physics Letters A, vol. 370, no. 5-6, pp. 423–432, 2007.

X. Liang and L. Wang, “Exponential stability for a class of stochastic reaction-diffusion Hopfield neural networks with delays,” Journal of Applied Mathematics, vol. 2012, Article ID 693163, 12 pages, 2012.

Y. Zhang, “Asymptotic stability of impulsive reaction-diffusion cellular neural networks with time-varying delays,” Journal of Applied Mathematics, vol. 2012, Article ID 501891, 17 pages, 2012.

A. Salem, “Invariant regions and global existence of solutions for reaction-diffusion systems with a tridiagonal matrix of diffusion coefficients and nonhomogeneous boundary conditions,” Journal of Applied Mathematics, vol. 2007, Article ID 12375, 15 pages, 2007.

D. J. Higham and T. Sardar, “Existence and stability of fixed points for a discretised nonlinear reaction-diffusion equation with delay,” Applied Numerical Mathematics, vol. 18, no. 1–3, pp. 155–173, 1995.

V. K. Baranwal, R. K. Pandey, M. P. Tripathi, and O. P. Singh, “An analytic algorithm for time fractional nonlinear reaction-diffusion equation based on a new iterative method,” Communications in Nonlinear Science and Numerical Simulation, vol. 17, no. 10, pp. 3906–3921, 2012.

G. Meral and M. Tezer-Sezgin, “The comparison between the DRBEM and DQM solution of nonlinear reaction-diffusion equation,” Communications in Nonlinear Science and Numerical Simulation, vol. 16, no. 10, pp. 3990–4005, 2011.

F. Liang, “Blow-up and global solutions for nonlinear reaction-diffusion equations with nonlinear boundary condition,” Applied Mathematics and Computation, vol. 218, no. 8, pp. 3993–3999, 2011.

T. Yang and L. Yang, “The global stability of fuzzy cellular neural networks,” IEEE Transactions on Circuits and Systems I, vol. 43, no. 10, pp. 880–883, 1996.

Y. Xia, Z. Yang, and M. Han, “Lag synchronization of unknown chaotic delayed yang-yang-type fuzzy neural networks with noise perturbation based on adaptive control and parameter identification,” IEEE Transactions on Neural Networks, vol. 20, no. 7, pp. 1165–1180, 2009.

Y. Xia, Z. Yang, and M. Han, “Synchronization schemes for coupled identical Yang-Yang type fuzzy cellular neural networks,” Communications in Nonlinear Science and Numerical Simulation, vol. 14, no. 9-10, pp. 3645–3659, 2009.

D. He and D. Xu, “Attracting and invariant sets of fuzzy Cohen-Grossberg neural networks with time-varying delays,” Physics Letters A, vol. 372, no. 47, pp. 7057–7062, 2008.

Y. Liu and W. Tang, “Exponential stability of fuzzy cellular neural networks with constant and time-varying delays,” Physics Letters A, vol. 323, no. 3-4, pp. 224–233, 2004.

S. Niu, H. Jiang, and Z. Teng, “Exponential stability and periodic solutions of FCNNs with variable coefficients and time-varying delays,” Neurocomputing, vol. 71, no. 13-15, pp. 2929–2936, 2008.

Q. Song and J. Cao, “Impulsive effects on stability of fuzzy Cohen-Grossberg neural networks with time-varying delays,” IEEE Transactions on Systems, Man, and Cybernetics, Part B, vol. 37, no. 3, pp. 733–741, 2007.

P. Balasubramaniam, V. Vembarasan, and R. Rakkiyappan, “Leakage delays in T-S fuzzy cellular neural networks,” Neural Processing Letters, vol. 33, no. 2, pp. 111–136, 2011.

K. Mathiyalagan, R. Sakthivel, and S. Marshal Anthoni, “New stability and stabilization criteria for fuzzy neural networks with various activation functions,” Physica Scripta, vol. 84, no. 1, Article ID 015007, 2011.

S. Muralisankar, N. Gopalakrishnan, and P. Balasubramaniam, “An LMI approach for global robust dissipativity analysis of T-S fuzzy neural networks with interval time-varying delays,” Expert Systems with Applications, vol. 39, no. 3, pp. 3345–3355, 2012.

P. Balasubramaniam, V. Vembarasan, and R. Rakkiyappan, “Delay-dependent robust asymptotic state estimation of Takagi-Sugeno fuzzy Hopfield neural networks with mixed intervaltime-varying delays,” Expert Systems with Applications, vol. 39, no. 1, pp. 472–481, 2012.

P. Balasubramaniam, V. Vembarasan, and R. Rakkiyappan, “Delay-dependent robust exponential state estimation of Markovian jumping fuzzy Hopfield neural networks with mixed random time-varying delays,” Communications in Nonlinear Science and Numerical Simulation, vol. 16, no. 4, pp. 2109–2129, 2011.

P. Balasubramaniam and V. Vembarasan, “Robust stability of uncertain fuzzy BAM neural networks of neutral-type with Markovian jumping parameters and impulses,” Computers & Mathematics with Applications, vol. 62, no. 4, pp. 1838–1861, 2011.

K. Mathiyalagan, R. Sakthivel, and S. M. Anthoni, “New robust passivity criteria for stochastic fuzzy BAM neural networks with time-varying delays,” Communications in Nonlinear Science and Numerical Simulation, vol. 17, no. 3, pp. 1392–1407, 2012.

R. Sakthivel, A. Arunkumar, K. Mathiyalagan, and S. M. Anthoni, “Robust passivity analysis of fuzzy Cohen-Grossbert BAM neural networks with time-varying delays,” Applied Mathematics and Computation, vol. 218, no. 7, pp. 3799–3809, 2011.

K. Mathiyalagan, R. Sakthivel, and S. M. Anthoni, “New robust exponential stability results for discrete-time switched fuzzy neural networks with time delays,” Computers & Mathematics with Applications, vol. 64, no. 9, pp. 2926–2938, 2012.

R. Sakthivel, K. Mathiyalagan, and S. Marshal Anthoni, “Design of a passification controller for uncertain fuzzy Hopfield neural networks with time-varying delays,” Physica Scripta, vol. 84, no. 4, Article ID 045024, 2011.

P. Vadivel, R. Sakthivel, K. Mathiyalagan, and P. Thangaraj, “Robust stabilisation of non-linear uncertain Takagi-Sugeno fuzzy systems by control,” Control Theory & Applications, vol. 6, no. 16, pp. 2556–2566, 2012.

C. K. Ahn, “Some new results on stability of Takagi-Sugeno fuzzy Hopfield neural networks,” Fuzzy Sets and Systems, vol. 179, pp. 100–111, 2011.

C. K. Ahn, “Switched exponential state estimation of neural networks based on passivity theory,” Nonlinear Dynamics, vol. 67, no. 1, pp. 573–586, 2012.

C. K. Ahn, “Exponential stable learning method for Takagi-Sugeno fuzzy delayed neural networks: a convex optimization approach,” Computers & Mathematics with Applications, vol. 63, no. 5, pp. 887–895, 2012.

C. K. Ahn, “Delay-dependent state estimation of T-S fuzzy delayed Hopfield neural networks,” Nonlinear Dynamics, vol. 61, no. 3, pp. 483–489, 2010.

C. K. Ahn, “Takagi-Sugeno fuzzy Hopfield neural networks for nonlinear system identification,” Neural Processing Letters, vol. 34, no. 1, pp. 59–70, 2011.

C. K. Ahn, “ state estimation for Takagi-Sugeno fuzzy delayed Hopfield neural networks,” International Journal of Computational Intelligence Systems, vol. 4, no. 5, pp. 855–862, 2011.

C. K. Ahn, “Linear matrix inequality optimization approach to exponential robust filtering for switched Hopfield neural networks,” Journal of Optimization Theory and Applications, vol. 154, no. 2, pp. 573–587, 2012.

C. K. Ahn, “Exponentially convergent state estimation for delayed switched recurrent neural networks,” The European Physical Journal E, vol. 34, no. 11, p. 122, 2011.

C. K. Ahn and M. K. Song, “L2 - filtering for time-delayed switched hopfield neural networks,” International Journal of Innovative Computing, Information and Control, vol. 7, no. 4, pp. 1831–1843, 2011.

C. K. Ahn, “Passive learning and input-to-state stability of switched Hopfield neural networks with time-delay,” Information Sciences, vol. 180, no. 23, pp. 4582–4594, 2010.

C. K. Ahn, “An approach to stability analysis of switched Hopfield neural networks with time-delay,” Nonlinear Dynamics, vol. 60, no. 4, pp. 703–711, 2010.

J. Pan and S. Zhong, “Dynamic analysis of stochastic reaction-diffusion Cohen-Grossberg neural networks with delays,” Advances in Difference Equations, vol. 2009, Article ID 410823, 18 pages, 2009.

R. T. Rockafellar and R. J.-B. Wets, Variational Analysis, vol. 317 of Fundamental Principles of Mathematical Sciences, Springer, Berlin, Germany, 1998.

R. F. Rao, S. M. Zhong, and X. R. Wang, “Stochastic stability criteria with LMI conditions for Markovian jumping impulsive BAM neural networkswithmode-dependent time-varying delays and nonlinear reaction-diffusion,” submitted to Communications in Nonlinear Science and Numerical Simulation

R. A. Adams and J. J. F. Fournier, Sobolev Spaces, vol. 140 of Pure and Applied Mathematics, Elsevier/Academic Press, Amsterdam, The Netherlands, 2nd edition, 2003.

L. Wang, Z. Zhang, and Y. Wang, “Stochastic exponential stability of the delayed reaction-diffusion recurrent neural networks with Markovian jumping parameters,” Physics Letters A, vol. 372, no. 18, pp. 3201–3209, 2008.

R. Sh. Liptser and A. N. Shiryayev, Theory of martingales, vol. 49 of Mathematics and Its Applications (Soviet Series), Kluwer Academic Publishers, Dordrecht, The Netherlands, 1989.

X. Nie and J. Cao, “Stability analysis for the generalized Cohen-Grossberg neural networks with inverse Lipschitz neuron activations,” Computers & Mathematics with Applications, vol. 57, no. 9, pp. 1522–1536, 2009.

Y. Y. Wang, L. Xie, and C. E. de Souza, “Robust control of a class of uncertain nonlinear systems,” Systems & Control Letters, vol. 19, no. 2, pp. 139–149, 1992.

S. Boyd, L. El Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory, vol. 15 of SIAM Studies in Applied Mathematics, SIAM, Philadelphia, Pa, USA, 1994.