Mathematical Problems in Engineering

Volume 2014 (2014), Article ID 906439, 13 pages

http://dx.doi.org/10.1155/2014/906439

Research Article

State Estimation for Discrete-Time Fuzzy Cellular Neural Networks with Mixed Time Delays

Lijie Geng,¹ Haiying Li,² Bingchen Zhao,² and Guang Su²

¹Institute of Applied Mathematics, Shijiazhuang Mechanical Engineering College, Shijiazhuang 050003, China

²College of Mathematics and Information Technology, Xingtai University, Xingtai 054001, China

Received 26 December 2013; Accepted 10 March 2014; Published 29 April 2014

Academic Editor: Qintao Gan

Copyright © 2014 Lijie Geng 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.

This paper is concerned with the exponential state estimation problem for a class of discrete-time fuzzy cellular neural networks with mixed time delays. The main purpose is to estimate the neuron states through available output measurements such that the dynamics of the estimation error is globally exponentially stable. By constructing a novel Lyapunov-Krasovskii functional which contains a triple summation term, some sufficient conditions are derived to guarantee the existence of the state estimator. The linear matrix inequality approach is employed for the first time to deal with the fuzzy cellular neural networks in the discrete-time case. Compared with the present conditions in the form of -matrix, the results obtained in this paper are less conservative and can be checked readily by the MATLAB toolbox. Finally, some numerical examples are given to demonstrate the effectiveness of the proposed results.

1. Introduction

Cellular neural networks (CNNs), initially proposed by Chua and Yang in 1988 [1], have been extensively investigated owing to their important applications in many areas such as image processing, pattern recognition, and combinatorial optimization. However, when mathematically modeling real neural networks, uncertainty or vagueness is often encountered. In order to take this vagueness into consideration, the fuzzy cellular neural networks (FCNNs) were proposed by Yang et al. in [2, 3], which integrate fuzzy logic into the structure of traditional CNNs and maintain local connectedness among cells. Recently, the dynamics analysis problem of FCNNs has received an increasing research attention and some relevant results have been reported in the literature [4–9].

It should be noted that all of the aforementioned results are in the continuous-time settings. In reality, however, discrete-time neural networks (DNNs) become more important than their continuous-time counterparts when implementing the neural networks in a digital way. Therefore, it is necessary to study the dynamics of DNNs and many results have been obtained during the past years [10–17]. By using the average dwell time approach and the discontinuous piecewise Lyapunov function technique, Zhang and Yu [16] studied passivity analysis problem for a class of discrete-time switched neural networks with various activation functions and mixed time delays. More recently, Wu et al. [17] discussed the problem of dissipativity analysis for discrete-time stochastic neural networks with time-varying discrete and finite-distributed delays with the aid of Jensen inequality and lower bounds lemma. Unfortunately, little attention has been paid to the discrete-time fuzzy cellular neural networks. In this context, only two works can be found [18, 19]. The following discrete-time fuzzy cellular neural networks with variable delays and impulses were studied in [18]:

where , , corresponds to the number of units in the neural networks; is the state of the th neuron at time ; denotes the neuron activation function; corresponds to the transmission delay and satisfies ; , , , and are elements of fuzzy feed-forward MIN template, fuzzy feed-forward MAX template, fuzzy feedback MIN template, and fuzzy feedback MAX template, respectively; and are elements of feedback template and feed-forward template, respectively; and denote the fuzzy AND and fuzzy OR operation, respectively; and denote input and bias of the th neuron, respectively; . The time sequence satisfies , and ; represents impulsive perturbation of the th unit at time ; denotes impulsive perturbation of the th unit at time which is caused by the transmission delays; represents external impulsive input at time .

In [18], by using M-matrix theory and analytic methods, several sufficient conditions guaranteeing the global exponential stability of the equilibrium point and the existence of periodic solutions were obtained. Recently, Li and Wang [19] further discussed the existence and global exponential stability of equilibrium for discrete-time fuzzy BAM neural networks with variable delays and impulses. However, there still exist two points waiting for the improvements. First, in [18, 19], the authors only discussed discrete-time fuzzy neural networks with discrete delays. We all know the effects of distributed delays should not be neglected because a neural network usually has a spatial nature due to the presence of an amount of parallel pathways of a variety of node sizes and lengths. Second, the results in [18, 19] are described in the form of M-matrix. However, the results in the form of M-matrix do not contain any unknown parameters. Moreover, the excitatory and inhibitory effects of neuron on neural networks are also neglected. Thus, the conservativeness of the results is much greater. We note that the results in the form of linear matrix inequalities (LMIs) are less conservative because they not only include suitable number of unknown parameters, but also consider the excitatory and inhibitory effects of neuron on neural networks. Furthermore, the LMIs can be easily solved by using the MATLAB LMI toolbox.

In many applications, one needs to know the neuron states to achieve certain objectives. On the other hand, the neuron states are not often fully available in the network outputs. Thus, the state estimation problem for neural networks has drawn particular research interests [20–24]. The results reported in [20–24] can only ensure that the dynamics of the error system is asymptotically stable. In some cases, the engineers need to know how fast the trajectory of the error system converges to the equilibrium point. Therefore, the problem of exponential state estimation is very important. Reference [25] investigated the problem of exponential state estimation for Markovian jumping neural networks with time-varying discrete and distributed delays. By constructing a novel Lyapunov-Krasovskii functional and developing a new convex combination technique, a new exponential stability condition was proposed. Reference [26] studied the estimator design problem for discrete-time switched neural networks with time-varying delay and addressed the asynchronous phenomenon between the neuron state-mode switching and the estimator switching. Delay-dependent sufficient conditions were provided to ensure the exponential stability of estimation error dynamics as well as a prescribed gain level from the noise signal to the estimation error. Recently, the authors in [27] discussed the state estimation problem for continuous-time fuzzy cellular neural networks. However, to the best of our knowledge, the state estimation problem for discrete-time fuzzy cellular neural networks has not been investigated in the existing literatures, which elicits our research work.

In this paper, the state estimation problem for a class of discrete-time fuzzy cellular neural networks is considered for the first time. The neural networks under study involve fuzzy parameters, discrete delays, and unbounded distributed delays, which are more general than those discussed in the previous literatures. By constructing a Lyapunov-Krasovskii functional including the triple-integral term, some delay-dependent sufficient conditions are derived, such that, for all admissible delay bounds, the dynamics of the estimation error is globally exponentially stable. It is noted that the effects of neuron excitatory and inhibitory responses on neural networks are taken into account in the proposed approach, which will lead to less conservative results. These conditions obtained are in the form of LMIs whose solution can be easily calculated by using MATLAB LMI toolbox.

2. Problem Formulation

Considering the following discrete-time fuzzy cellular neural networks with mixed time delays:

where , is the number of neurons in the networks; is the state of the th neuron at time ; , , , and are elements of fuzzy feedback MIN template, fuzzy feedback MAX template, fuzzy feed-forward MIN template, and fuzzy feed-forward MAX template, respectively; and are elements of feedback template and are elements of feed-forward template; and denote the fuzzy AND and fuzzy OR operation, respectively; and denote input and bias of the th neuron, respectively. denotes the neuron activation function; denotes the time-varying delay and satisfies , in which and are known positive integers; satisfies and represents the rate with which the th neuron will reset its potential to the resting state when disconnected from the network and external inputs.

Throughout the paper, the following assumptions are needed.

(H1)The constant () satisfies the following convergent conditions:

(H2)For , the neuron activation function satisfies

where are some constants.

Remark 1. This assumption was first introduced in [28]. The constants , are allowed to be positive, negative, or zero. Hence, the resulting activation functions could be nonmonotonic and more general than the usual sigmoid functions and Lipschitz-type conditions. Such a description is very precise in quantifying the lower and upper bounds of the activation functions and therefore very helpful for employing LMI-based method to reduce the possible conservatism.

As mentioned before, for relatively large scale neural networks, it is very difficult to acquire the complete information of the neuron states. The purpose of this study is to develop an efficient approach to estimate the states of neural networks via the available network outputs. Here, we assume the network outputs to be of the form

where , is a known constant matrix with appropriate dimension, and is the nonlinear disturbance satisfying the following Lipschitz condition:

where is also a known constant matrix.

We construct the state estimator as follows:

where is the estimation of the th neuron state and is the element of an estimator gain matrix to be designed.

Define the error . Then the error system can be directly obtained from (3) and (8):

where and . The initial condition associated with (9) is given as (). It is obvious that is a trivial solution of the system (9).

Now we introduce the following definition and lemmas which will be used in the sequel.

Lemma 2 (see [2]). Let and be two states of system (3), then one has

Lemma 3 (see [7]). For any constant , -dimensional real vectors , , and positive definite matrix , the following matrix inequality holds:

Lemma 4 (see [29, 30]). Let be a positive semidefinite matrix, let be a vector, and let () be scalar. If the series concerned are convergent, then the following inequality holds:

Definition 5. The error system (9) is said to be globally exponentially stable, if there exist constants and such that

where is the Euclidean norm of .

3. Main Results

In this section, by constructing a new Lyapunov-Krasovskii functional, we will develop an LMI approach to derive some sufficient conditions under which the error system (9) is globally exponentially stable, and the resulting gain matrix K will also be given. For presentation convenience, in the following, we denote

Theorem 6. Suppose that assumptions (H1)-(H2) and condition (7) hold; the error system (9) is globally exponentially stable if there exist positive diagonal matrices , , and , positive symmetric matrices , , , , and , real matrix , and scalars , such that the following LMI holds:

where

with

Moreover, the estimate gain matrix can be designed as .

Proof. Defining , we introduce the following Lyapunov-Krasovskii functional:

where

According to Lemma 2, the following inequalities hold:

Calculating the difference of along the solution of system (9), we have

where

Moreover, from (5) and (7) we know that, for any -dimensional diagonal matrices , and any scalar , the following inequalities hold:

Substituting (22)–(29) into (21) leads to

where

By Schur complement, (15) implies that there exists a constant such that

where

By the definition of , it is easy to obtain

where

For any scalar , it follows from (32) and (34) that

For any integer , summing up both sides of (36) from 0 to with respect to , we can obtain

By the methods employed in [31], we have

In (34), let and from (H1) we can obtain

Substituting (38)–(41) into (37), we have

where

Because , it can be verified that there exists a scalar such that . Therefore, we can get that

Meanwhile, it follows from (18) that . Then, it can be obtained that

According to Definition 5, we conclude that the system (9) is globally exponentially stable. This completes the proof.

Remark 7. In [30], the triple-integral term was first introduced in the Lyapunov functional since it could reduce the conservativeness of the stability criterion greatly. The triple-integral term has been used to deal with the continuous-time neural networks, yet few present works have extended it to tackle the discrete-time neural networks. In this paper, a triple summation term is introduced in which is helpful for the reduction of conservativeness.

Remark 8. In [18, 19], the authors concerned the discrete-time fuzzy neural networks only with discrete-time delays. Meanwhile, the information on the considered time delays was not involved in the results. The condition given in Theorem 6 contains the time delay information. Thus the effect of the delays on the dynamical behavior of neural networks is considered in our result.

Remark 9. This work is the first attempt, to the best of our knowledge, to deal with the state estimation problem for discrete-time fuzzy cellular neural networks by using linear matrix inequality approach, not to mention the fact that the unbounded distributed delays are also involved. Compared with the results in the form of M-matrix in [18, 19], the result in the form of linear matrix inequalities (LMIs) is less conservative and can be easily solved by using the MATLAB LMI toolbox.

If we neglect the effect of the distributed delay term, the error system (9) reduces to

For the system (46), we obtain the following result based on Theorem 6.

Corollary 10. Suppose that assumption (H2) and condition (7) hold; the error system (46) is globally exponentially stable if there exist positive diagonal matrices , , and , positive symmetric matrices , , , and , real matrix , and scalars such that the following LMI holds:

where

with

Moreover, the estimate gain matrix can be designed as .

Proof. Consider the following Lyapunov-Krasovskii functional:

where

Calculating the difference of along the solution of system (46), we have

, , and can be calculated using the same method in Theorem 6; hence the proof is omitted to avoid duplication. Then, we have

where

From , , and , we have

Noting , it follows from (47) and (55) that

Pre- and postmultiplying (56), respectively, by we can obtain

By Schur complement, (57) implies that . Thus there exists a constant such that

It follows from Lyapunov-Krasovskii stability theorem that the system (46) is globally asymptotically stable. The proof of the exponential stability of the system (46) is similar to Theorem 6 and hence it is omitted.

4. Numerical Examples

In this section, two numerical examples are introduced to illustrate the effectiveness of the proposed results.

Example 1. Consider system (3) with the following parameters:

The activation function and the nonlinear disturbance are taken as follows:

It is easy to verify that

Choosing , . With the above parameters and by using the MATLAB LMI toolbox to solve the LMI in Theorem 6, we obtain the feasible solution as follows:

Thus, the state estimator gain matrix can be designed as

Therefore, it follows from Theorem 6 that the error system (9) is globally exponentially stable. The simulation results are shown in Figures 1 and 2. In the simulation, the initial values and are chosen for systems (3) and (8), respectively.

Figure 1: The responses of the true state and the estimate state .

Figure 2: The responses of estimation error .

Example 2. Consider system (46) with the following parameters:

The activation function and the nonlinear disturbance are taken as follows:

It is easy to verify that

Our purpose is to find the maximum allowable upper bound for different by solving the LMI (47) via the MATLAB LMI toolbox such that system (46) is globally exponentially stable. Now assume ; then by utilizing the result in [32] it is found that the maximum allowable upper bound is 9. By using the method proposed in this paper, we find that the maximum allowable upper bound is 12. A more detailed comparison is given in Table 1, from which we see that the stability criterion proposed in this paper is less conservative than the results proposed in [21, 32].

Table 1: The maximum allowable upper bound for different .

Methods

[32, Theorem  1]
7
8
11
16
19
22

Corollary  1 [21]
7
9
12
17
21
23

Theorem 6
10
11
14
19
22
26

5. Conclusion

In this paper, we have studied the state estimation problem for a class of discrete-time fuzzy cellular neural networks with mixed time delays. A state estimator is designed to estimate the neuron states through available output measurements, such that the dynamics of the error-state system is exponentially asymptotically stable. By constructing a novel Lyapunov-Krasovskii functional containing a triple summation term and utilizing the LMI approach, some less conservative stability criteria in terms of LMI are derived to guarantee the existence of the asymptotic state estimator. It is worth noting that our developed approach can be effectively employed to investigate the state estimation and stability analysis problems for other discrete-time fuzzy delayed neural networks. Recently, a delay partition approach was proposed and has been verified to be very effective in reducing the conservatism of stability conditions. The delay partition approach also can be employed in our work to further reduce the conservatism. However, this approach will increase the computational complexity of the theorem because too many matrices were introduced. How to further reduce the conservatism by utilizing delay partition approach and, in the meantime, overcome the rapid increase in the computational complexity is still a challenging topic and will be investigated in our future work.

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 China (61305076) and by NNSF of China (11071254).

References

L. O. Chua and L. B. Yang, “Cellular neural networks: theory,” IEEE Transactions on Circuits and Systems, vol. 35, no. 10, pp. 1257–1272, 1988.

T. Yang, L.-B. Yang, C. W. Wu, and L. O. Chua, “Fuzzy cellular neural networks: theory,” in Proceedings of the 4th IEEE International Workshop on Cellular Neural Networks, and Their Applications, pp. 181–186, June 1996.

T. Yang, L.-B. Yang, C. W. Wu, and L. O. Chua, “Fuzzy cellular neural networks: applications,” in Proceedings of the 4th IEEE International Workshop on Cellular Neural Networks, and Their Applications, pp. 225–230, June 1996.

M. Syed Ali and P. Balasubramaniam, “Global asymptotic stability of stochastic fuzzy cellular neural networks with multiple discrete and distributed time-varying delays,” Communications in Nonlinear Science and Numerical Simulation, vol. 16, no. 7, pp. 2907–2916, 2011.

K. Yuan, J. Cao, and J. M. Deng, “Exponential stability and periodic solutions of fuzzy cellular neural networks with time-varying delays,” Neurocomputing, vol. 69, no. 13–15, pp. 1619–1627, 2006.

Z. W. Liu, H. G. Zhang, and Z. S. Wang, “Novel stability criterions of a new fuzzy cellular neural networks with time-varying delays,” Neurocomputing, vol. 72, no. 4-6, pp. 1056–1064, 2009.

X. D. Li, R. Rakkiyappan, and P. Balasubramaniam, “Existence and global stability analysis of equilibrium of fuzzy cellular neural networks with time delay in the leakage term under impulsive perturbations,” Journal of the Franklin Institute, vol. 348, no. 2, pp. 135–155, 2011.

X. M. Feng, F. Q. Zhang, and W. J. Wang, “Global exponential synchronization of delayed fuzzy cellular neural networks with impulsive effects,” Chaos, Solitons and Fractals, vol. 44, no. 1–3, pp. 9–16, 2011.

Q. T. Gan, R. Xu, and P. H. Yang, “Exponential synchronization of stochastic fuzzy cellular neural networks with time delay in the leakage term and reaction-diffusion,” Communications in Nonlinear Science and Numerical Simulation, vol. 17, no. 4, pp. 1862–1870, 2012.

Y. R. Liu, Z. D. Wang, and X. H. Liu, “Asymptotic stability for neural networks with mixed time-delays: the discrete-time case,” Neural Networks, vol. 22, no. 1, pp. 67–74, 2009.

H. W. Wang and Q. K. Song, “Synchronization for an array of coupled stochastic discrete-time neural networks with mixed delays,” Neurocomputing, vol. 74, no. 10, pp. 1572–1584, 2011.

H. Y. Li, C. Wang, P. Shi, and H. J. Gao, “New passivity results for uncertain discrete-time stochastic neural networks with mixed time delays,” Neurocomputing, vol. 73, no. 16-18, pp. 3291–3299, 2010.

T. Li, A. G. Song, and S. M. Fei, “Synchronization control for arrays of coupled discrete-time delayed Cohen-Grossberg neural networks,” Neurocomputing, vol. 74, no. 1–3, pp. 197–204, 2010.

M. J. Park, O. M. Kwon, S. M. Li, and E. J. Cha, “On synchronization criterion for coupled discrete-time neural networks with interval time-varying delays,” Neurocomputing, vol. 99, no. 1, pp. 188–196, 2013.

L. Tian, J. L. Liang, and J. D. Chao, “Robust observer for discrete-time Markovian jumping neural networks with mixed mode-dependent delays,” Nonlinear Dynamics, vol. 67, no. 1, pp. 47–61, 2012.

D. Zhang and L. Yu, “Passivity analysis for discrete-time switched neural networks with various activation functions and mixed time delays,” Nonlinear Dynamics, vol. 67, no. 1, pp. 403–411, 2012.

Z. G. Wu, P. Shi, H. Y. Su, and J. Chu, “Dissipativity analysis for discrete-time stochastic neural networks with time-varying delays,” IEEE Transactions on Neural Networks and Learning Systems, vol. 24, no. 3, pp. 345–355, 2013.

Q. K. Song and J. D. Cao, “Dynamical behaviors of discrete-time fuzzy cellular neural networks with variable delays and impulses,” Journal of the Franklin Institute, vol. 345, no. 1, pp. 39–59, 2008.

Y. K. Li and C. Wang, “Existence and global exponential stability of equilibrium for discrete-time fuzzy BAM neural networks with variable delays and impulses,” Fuzzy Sets and Systems, vol. 217, pp. 62–79, 2013.

Y. R. Liu, Z. D. Wang, and X. H. Liu, “State estimation for discrete-time Markovian jumping neural networks with mixed mode-dependent delays,” Physics Letters A: General, Atomic and Solid State Physics, vol. 372, no. 48, pp. 7147–7155, 2008.

H. B. Bao and J. D. Cao, “Delay-distribution-dependent state estimation for discrete-time stochastic neural networks with random delay,” Neural Networks, vol. 24, no. 1, pp. 19–28, 2011.

S. Lakshmanan, J. H. Park, H. Y. Jung, and P. Balasubramaniam, “Design of state estimator for neural networks with leakage, discrete and distributed delays,” Applied Mathematics and Computation, vol. 218, no. 22, pp. 11297–11310, 2012.

Z. Wang, Y. Liu, X. Liu, and Y. Shi, “Robust state estimation for discrete-time stochastic neural networks with probabilistic measurement delays,” Neurocomputing, vol. 74, no. 1–3, pp. 256–264, 2010.

Z. G. Wu, H. Y. Su, and J. Chu, “State estimation for discrete Markovian jumping neural networks with time delay,” Neurocomputing, vol. 73, no. 10–12, pp. 2247–2254, 2010.

D. Zhang and L. Yu, “Exponential state estimation for Markovian jumping neural networks with time-varying discrete and distributed delays,” Neural Networks, vol. 35, no. 11, pp. 103–111, 2012.

D. Zhang, L. Yu, Q. G. Wang, and C. J. Ong, “Estimator design for discrete-time switched neural networks with asynchronous switching and time-varying delay,” IEEE Transactions on Neural Networks and Learning Systems, vol. 23, no. 5, pp. 827–834, 2012.

P. Balasubramaniam, M. Kalpana, and R. Rakkiyappan, “State estimation for fuzzy cellular neural networks with time delay in the leakage term, discrete and unbounded distributed delays,” Computers and Mathematics with Applications, vol. 62, no. 10, pp. 3959–3972, 2011.

Y. R. Liu, Z. D. Wang, and X. H. Liu, “Global exponential stability of generalized recurrent neural networks with discrete and distributed delays,” Neural Networks, vol. 19, no. 5, pp. 667–675, 2006.

Y. R. Liu, Z. D. Wang, J. L. Liang, and X. H. Liu, “Synchronization and state estimation for discrete-time complex networks with distributed delays,” IEEE Transactions on Systems, Man, and Cybernetics, B: Cybernetics, vol. 38, no. 5, pp. 1314–1325, 2008.

J. Sun, G. P. Liu, and J. Chen, “Delay-dependent stability and stabilization of neutral time-delay systems,” International Journal of Robust and Nonlinear Control, vol. 19, no. 10, pp. 1364–1375, 2009.

Q. K. Song and Z. D. Wang, “A delay-dependent LMI approach to dynamics analysis of discrete-time recurrent neural networks with time-varying delays,” Physics Letters A: General, Atomic and Solid State Physics, vol. 368, no. 1-2, pp. 134–145, 2007.

S. S. Mou, H. J. Gao, W. Y. Qiang, and Z. Y. Fei, “State estimation for discrete-time neural networks with time-varying delays,” Neurocomputing, vol. 72, no. 1–3, pp. 643–647, 2008.