- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Recently Accepted Articles ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Abstract and Applied Analysis

Volume 2014 (2014), Article ID 938612, 9 pages

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

## Finite-Time Synchronizing Control for Chaotic Neural Networks

National Engineering Research Center of Advanced Rolling, University of Science and Technology Beijing, Beijing 100083, China

Received 11 April 2014; Revised 4 June 2014; Accepted 4 June 2014; Published 17 June 2014

Academic Editor: Hongli Dong

Copyright © 2014 Chao Zhang 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 addresses the finite-time synchronizing problem for a class of chaotic neural networks. In a real communication network, parameters of the master system may be time-varying and the system may be perturbed by external disturbances. A simple high-gain observer is designed to track all the nonlinearities, unknown system functions, and disturbances. Then, a dynamic active compensatory controller is proposed and by using the singular perturbation theory, the control method can guarantee the finite-time stability of the error system between the master system and the slave system. Finally, two illustrative examples are provided to show the effectiveness and applicability of the proposed scheme.

#### 1. Introduction

The chaotic system exhibits unpredictable and irregular dynamics which has been found in many practical systems. Interestingly, small differences in the initial state can lead to significant differences in the chaotic system state. Chaotic synchronization is receiving increasing attention within the area of nonlinear dynamics [1]. One of the most important applications is secure communication [2], where an information-bearing signal is hidden on a chaotic carrier signal. Synchronization of chaotic systems has been thought possible since the seminal work of Pecora and Carroll. They proposed a drive-response concept for constructing synchronization of coupled chaotic systems [3]. State variables of a given chaotic master system are used as inputs to drive a slave system that is a duplicated one of the drive system. Under some conditions, the state evolution of the slave system is shown to synchronize with that of the master system. There are many important results focusing on many typical chaotic systems such as the Chua system, Lorenz system, and Lur’e system (see, e.g., [3–7] and references therein).

On the other hand, neural networks have been extensively studied over the past two decades for their potential applications in modeling complex dynamics, nonlinear programming, image processing, pattern recognition, associative memory, and so forth [8]. Recently, it has been shown that if the networks parameters and time delays are appropriately chosen, these networks can exhibit some complicated dynamics and even chaotic behaviors [9–11]. Therefore, the synchronization of chaotic neural networks has become an important area of study as other kinds of chaotic systems. In this field, various synchronization schemes have been proposed (see, e.g., [12–28]). In [12, 13], synchronization of delayed neural networks is realized by using adaptive control and parameters identification. For time-varying networks, the property of synchronization is discussed in [14, 15]. Adaptive synchronization of two different chaotic neural networks is realized by using Lyapunov method and linear matrix inequalities in [16]. Periodically intermittent control is used to solve the problem of exponential synchronization of stochastic Cohen-Grossberg neural networks [18].

In real physical systems, how to design the systems for special signal transmission channels has become a critical issue. Secure communication has to rely on common communication networks in many applications. Because of the network communication introduced [19], signal transmission channels often involve data missing, system varying, and environment disturbances [20–23]. These lead to a limitation of some existing control schemes when they are applied to a practical environment since they are based on the accurate master-slave system parameters. However, there are few studies on the synchronization issue for this class of chaotic neural networks with unknown parameters and disturbances [24–29]. Most of them focus on either the unknown parameters or the disturbance, but not both.In addition, some of them take the disturbances as a kind of special stochastic structure [25, 26].

Moreover, in real applications, we not only need the systems to guarantee synchronization but also need them to synchronize in the shortest possible time. If the slave system synchronizes with the master system in infinite time, the system will not be able to work effectively. In view of all of the above-mentioned facts, the aim of this paper is to investigate the finite-time synchronization for a class of delayed neural networks with all the uncertainty and external disturbances.

In this paper, an active control method is proposed to control the slave system based on the terminal attractor for the purpose of guaranteeing that the error system between the master system and the slave system will achieve finite-time stability. In the meantime, in order to realize the controller, an effective state observer based on a special tracking differentiator is designed to estimate all the uncertainties and disturbances in a very short time. The approximate finite-time stability of the closed-loop system is analysed in detail on the basis of the singular perturbation theory. Moreover, the results are applied to some chaotic neural networks. Two numerical simulations are also given to validate the effectiveness of the proposed control strategy on the Matlab TrueTime simulation platform.

The rest of this paper is organized as follows. In Section 2, the problem formulations are presented after some preliminaries are given. In Section 3, the observer and the controller are proposed to realize the finite-time synchronization. Numerical simulations are given to demonstrate and also visualize the effectiveness of the proposed theoretical results in Section 4. Finally, some concluding remarks are drawn in Section 5.

#### 2. Problem Formulation and Some Preliminaries

In this section, we formulate an error system for the master-slave synchronization of delayed neural networks. Some preliminary knowledge will be presented for the derivation of our main results. Consider a class of delayed neural network models consisting of identical nodes, which can be described by the following differential equation: or in a compact form as follows: where is the state vector associated with the neurons, is a positive diagonal matrix, denoting the rate with which the cell resets its potential to the resting state when isolated from other cells and inputs, and and are the connection weight matrix and the delayed connection weight matrix. stands for activation functions, so is the output of the th neuron of the network and are time-varying time delays of the neural network. The initial conditions are given by , where denotes the set of all continuous functions from to .

The corresponding slave system is established as follows: where is the neuron state of the slave system. All the system parameters , , and have the same definitions as in (1) but may not be equal to parameters of the master system all the time. is the control signals and the initial conditions are given by .

In network-based synchronization systems, there exist system uncertainties and external disturbances when network communications are introduced. In this paper, we assume that all the parameters of the master system are uncertain or even time-varying to represent the system’s internal uncertainty. For the external disturbance, it is inevitable in physics systems and it plays an important role in chaos synchronization in different ways [25]. Some papers regard a type of Brownian motions as a result of the occurrence of random uncertainties in the communication channels in the error system between the master system and the slave system. In this paper we do not care about the specific form of the disturbance, so we regard all the input disturbances and other uncertain nonlinearities as a more general form . is unknown and bounded; that is, and is an unknown positive number. For simplicity, the master system is supposed to be without disturbances and disturbance dynamics are exhibited in the slave system.

In order to give a better explanation, subtract the master system (1) from the slave system (3) and define the synchronization errors as . Consider the input disturbance , writing the error system in an expanded form as follows: where . Then, our goal is to design the controller which makes the dynamical system (4) stabilized in a finite-time.

To facilitate further work, it is assumed that some reasonable conditions are satisfied. (H1)The activation functions satisfy the Lipschitz condition with a positive : (H2)The time delay is a bounded and differentiable function satisfying and . (H3)The unknown nonlinear disturbance is a differentiable function satisfying and .

#### 3. Main Results

In this section, we introduce the terminal attractor and its work principle first, and then we give the design of the controller and the observer. Finally, some criteria are derived to ensure finite-time synchronization between the master and slave systems.

In system (4), we define and rewrite the error dynamical system (4) as follows:

Obviously, denotes the overall uncertainty of all the unknown parameters and disturbances. Considering the form of and assumptions in the previous section, we obtain that is differentiable and satisfies .

##### 3.1. Terminal Attractor

Terminal attractor can realize finite-time stability of the system using the non-Lipschitz continuity of equilibrium points [30]. Consider a differential equation as follows: where and are positive odd numbers. Obviously, is the equilibrium point and we can obtain . If , does not satisfy Lipschitz continuity and this leads to the finite-time stability of (8). Meanwhile, , and we can calculate the Jacobian matrix of (8). Consider

In other words, if approaches the equilibrium point , its eigenvalue will approach . The trajectory of the system will converge to the equilibrium point at an infinite rate and this leads to its finite-time stability. On the other hand, we solve the equation directly, and the solutions all satisfy (10) for arbitrary initial states . Consider From (10), we can obtain , and is the required time from to .

##### 3.2. Controller and Observer Design

If is previously identified, then we can design the active compensatory controller based on the terminal attractor. Consider where , is the feedback strength and , with being positive odd numbers and .

Substitute (11) into the error dynamical system (7); a new form of the system is shown in (12). It is easy to check the finite-time stability of this closed-loop system according to terminal attractor. Consider

In practice, the uncertain nonlinear term is totally unknown, so we cannot realize the synchronization by (11). We need to achieve its realistic form.

To estimate, based on [31–33], here we introduce a differential observer (13). Using a similar method mentioned in [31, 34], it is easy to prove that the observer can track system uncertainties in a short time. The time needed is . Consider where , , and , is the estimation value of , , and . Therefore, we can obtain the realistic form of . Consider

But peaking phenomenon is an important feature of the observer and in particular the controller may destabilize the closed-loop system as the observer gain is driven sufficiently high [34]. So we design the control as a globally bounded function so that it is saturated during the peaking period. Define as the upper bound of all input control that can stabilize the closed-loop system. Consider

##### 3.3. Analysis of the Finite-Time Synchronization

Define the estimate error as , substitute controller (14) into system (11), and rewrite the error dynamical system as or in a compact form as , where . From (13), we obtain or in a compact form , where matrix .

So we can describe the error dynamical system as

When is small enough, system (17) will be a singular perturbation system. The stability of this system is determined by its two subsystems [35]. When , equation has an only solution . Based on the singular perturbation theory, the slow subsystem of the closed-loop system (16) is and the fast subsystem is where and .

Lemma 1 (see [36]). *Consider system , where , , is a continuous function vector. The system is finite-time stable if and only if there exists a Lyapunov function which satisfies the following inequality (20) for the system:
**
where and .*

Theorem 2. *If there exists a small positive , when , the controller (14) based on the observer (13) makes the error system (17) finite-time stable and, thus, master system (1) and slave system (3) are finite-time synchronized.*

*Proof. *For the subsystem (19), because is a positive definite diagonal matrix, this system is exponentially stable, and it is easy to check its stability using Lyapunov function , differentiating with respect to (17). Consider
Define and . If , (21) will change to

Define the initial time as and make . When , there exists a positive constant for system (17) and will satisfy (24). Consider
where . When , (21) can still hold. So we obtain

In other words, is . According to the definition of this Lyapunov function, we can get
where . Equation (26) tells us that is also when .

For the order-reduced system (18), it is easy to explain its finite-time stability using the terminal attractor theory [30]. So, according to Lemma 1, there exists a Lyapunov function that satisfies and for :
where and .

On the other hand, we differentiate with respect to the system (17). Consider

Because the error is bounded, we can get that is bounded and define as the bound. When , consider (26) and then we have
If and , (28) will change to
If , there exists a time constant which makes (31) hold according to Lemma 1. Consider
Calculate the integral of (29) from to , and we can obtain
When , (29) can still hold and . So we obtain

From (32) and , we can obtain that is when . In other words, for arbitrary small positive constant , there exists a constant . Any will make the states of the closed-loop system (16) satisfy , where and is a closed sphere whose centre is and radius is .

Meanwhile, according to the analysis above, the closed-loop system (17) is finite-time stable and the time it needs to achieve stability is . This also means that the master system and the slave system are synchronized.

The proof is complete.

#### 4. Illustrative Examples

In this section, two examples are presented below to illustrate the effectiveness of the previous results.

*Example 3. *Consider a typical two-dimensional chaotic neural network with mixed delay to be the master system (1) with the following parameters:

It is investigated in [29] that the system possesses a chaotic behaviour. Figure 1 shows the chaotic behaviour of the system with the initial condition (). The slave system is given by (3) with parameters given by (34). Assume that there is an overall disturbance in the communication channels. The observer and the controller are designed as in (14) and (13), and the parameters are given as follows:

Now we begin to simulate the synchronization in Matlab TrueTime simulation platform. The initial condition associated with the slave system is . The simulation time is 15 s, and the control signal begins to work at 5 s. Figure 2 shows the trajectories of the master system and the slave system, and the dynamics of synchronization errors are illustrated in Figure 3. It can be seen that the error system is stabilized in a short time and the slave system indeed synchronizes with the master system.

*Remark 4. *There are some nondifferentiable points in of this system because of the form of . However, we can see the effectiveness and applicability of the proposed method from these simulation results. That is to say, this control scheme has a great potential for complex systems.

*Example 5. *Consider the neural network (1) with the following parameters:
and .

The chaotic dynamic behaviours of this system have been studied in [37]. In the case of a time-varying time delay, let in the master system. Figure 4 shows its dynamic behaviour with the initial condition (). Assume that the slave system cannot get the accurate parameters of the master system, so the slave system is given by (3) with the following parameters: Assume that there is a nonlinear high frequency external disturbance in the communication channels. The observer and the controller are designed as in (14) and (13), and the parameters are given as follows: Now we begin to simulate the synchronization for these two different systems on Matlab simulation platform. The initial condition associated with the slave system is . The total simulation time is 10 s, and the control signal begins to work at s. Figure 5 shows the trajectories of the master system and the slave system, and the dynamics of synchronization errors are illustrated in Figure 6. The control inputs are shown in Figure 7. In addition, Figure 5 is magnified to show the synchronization performance clearly. It can be seen that the error system is stabilized in a short time and the slave system indeed synchronizes with the master system.

#### 5. Conclusions

We have proposed an active finite-time synchronization method for uncertain chaotic neural networks. By using a differential observer, all the uncertainties have been estimated without requiring any prior information about the factors. The error dynamic system will become a singular perturbation system if is small enough and we obtain its finite-time stability by analyzing two subsystems. Therefore, the slave system can synchronize with the master system even if there exist complex nonlinear disturbances and model uncertainties. As the method is simple to achieve and the control system shows strong robustness, it is believed that the results should provide some practical guidelines in practical engineering applications such as secure communication.

#### Conflict of Interests

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

#### Acknowledgments

The authors would like to thank Beijing Higher Education Young Elite Teacher Project for their support and also all the reviewers for their constructive comments and suggestions to improve the quality of the paper.

#### References

- S. Boccaletti, J. Kurths, G. Osipov, D. L. Valladares, and C. S. Zhou, “The synchronization of chaotic systems,”
*Physics Reports*, vol. 366, no. 1-2, pp. 1–101, 2002. View at Publisher · View at Google Scholar · View at MathSciNet - G. Kolumbán, M. P. Kennedy, and L. O. Chua, “The role of synchronization in digital communications using chaos. I. Fundamentals of digital communications,”
*IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications*, vol. 44, no. 10, pp. 927–936, 1997. View at Publisher · View at Google Scholar · View at MathSciNet - L. M. Pecora and T. L. Carroll, “Synchronization in chaotic systems,”
*Physical Review Letters*, vol. 64, no. 8, pp. 821–824, 1990. View at Publisher · View at Google Scholar · View at MathSciNet - J. Hu, S. Chen, and L. Chen, “Adaptive control for anti-synchronization of Chua's chaotic system,”
*Physics Letters A: General, Atomic and Solid State Physics*, vol. 339, no. 6, pp. 455–460, 2005. View at Publisher · View at Google Scholar · View at Scopus - Q.-L. Han, “On designing time-varying delay feedback controllers for master-slave synchronization of Lur'e systems,”
*IEEE Transactions on Circuits and Systems I: Regular Papers*, vol. 54, no. 7, pp. 1573–1583, 2007. View at Publisher · View at Google Scholar · View at MathSciNet - F.-H. Hsiao, “Delay-dependent exponential optimal ${H}^{\infty}$ synchronization for nonidentical chaotic systems via neural-network-based approach,”
*Abstract and Applied Analysis*, vol. 2013, Article ID 294892, 16 pages, 2013. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Sun, “Delay-dependent stability criteria for time-delay chaotic systems via time-delay feedback control,”
*Chaos, Solitons & Fractals*, vol. 21, no. 1, pp. 143–150, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Gupta, L. Jin, and N. Homma,
*Static and Dynamic Neural Networks: From Fundamentals to Advanced Theory*, John Wiley and Sons, New Jersey, NJ, USA, 2004. - F. Zou and J. A. Nossek, “Bifurcation and chaos in cellular neural networks,”
*IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications*, vol. 40, no. 3, pp. 166–173, 1993. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Gilli, “Strange attractors in delayed cellular neural networks,”
*IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications*, vol. 40, no. 11, pp. 849–853, 1993. View at Publisher · View at Google Scholar · View at Scopus - T. Chen, W. Lu, and G. Chen, “Dynamical behaviors of a large class of general delayed neural networks,”
*Neural Computation*, vol. 17, no. 4, pp. 949–968, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Zhou, T. Chen, and L. Xiang, “Robust synchronization of delayed neural networks based on adaptive control and parameters identification,”
*Chaos, Solitons and Fractals*, vol. 27, no. 4, pp. 905–913, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C.-J. Cheng, T.-L. Liao, and C.-C. Hwang, “Exponential synchronization of a class of chaotic neural networks,”
*Chaos, Solitons & Fractals*, vol. 24, no. 1, pp. 197–206, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Cao and J. Lu, “Adaptive synchronization of neural networks with or without time-varying delay,”
*Chaos*, vol. 16, no. 1, Article ID 013133, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Cui and X. Lou, “Synchronization of chaotic recurrent neural networks with time-varying delays using nonlinear feedback control,”
*Chaos, Solitons and Fractals*, vol. 39, no. 1, pp. 288–294, 2009. View at Publisher · View at Google Scholar · View at Scopus - H. Zhang, Y. Xie, Z. Wang, and C. Zheng, “Adaptive synchronization between two different chaotic neural networks with time delay,”
*IEEE Transactions on Neural Networks*, vol. 18, no. 6, pp. 1841–1845, 2007. View at Publisher · View at Google Scholar · View at Scopus - W. He and J. Cao, “Adaptive synchronization of a class of chaotic neural networks with known or unknown parameters,”
*Physics Letters A: General, Atomic and Solid State Physics*, vol. 372, no. 4, pp. 408–416, 2008. View at Publisher · View at Google Scholar · View at Scopus - Q. Gan, “Exponential synchronization of stochastic Cohen-Grossberg neural networks with mixed time-varying delays and reaction-diffusion via periodically intermittent control,”
*Neural Networks*, vol. 31, pp. 12–21, 2012. View at Publisher · View at Google Scholar · View at Scopus - D. S. Goshi, K. M. K. H. Leong, and T. Itoh, “A secure high-speed retrodirective communication link,”
*IEEE Transactions on Microwave Theory and Techniques*, vol. 53, no. 11, pp. 3548–3556, 2005. View at Publisher · View at Google Scholar · View at Scopus - B. Shen, Z. Wang, and X. Liu, “Sampled-data synchronization control of dynamical networks with stochastic sampling,”
*IEEE Transactions on Automatic Control*, vol. 57, no. 10, pp. 2644–2650, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - Z.-G. Wu and J. H. Park, “Synchronization of discrete-time neural networks with time delays subject to missing data,”
*Neurocomputing*, vol. 122, pp. 418–424, 2013. View at Publisher · View at Google Scholar · View at Scopus - H. Dong, Z. Wang, and H. Gao, “Distributed H
_{∞}filtering for a class of markovian jump nonlinear time-delay systems over lossy sensor networks,”*IEEE Transactions on Industrial Electronics*, vol. 60, no. 10, pp. 4665–4672, 2013. View at Publisher · View at Google Scholar · View at Scopus - Z. Wang, H. Dong, B. Shen, and H. Gao, “Finite-horizon ${H}_{\infty}$ filtering with missing measurements and quantization effects,”
*IEEE Transactions on Automatic Control*, vol. 58, no. 7, pp. 1707–1718, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - Y. Liu, Z. Wang, J. Liang, and X. Liu, “Synchronization of coupled neutral-type neural networks with jumping-mode-dependent discrete and unbounded distributed delays,”
*IEEE Transactions on Systems, Man, and Cybernetics B: Cybernetics*, vol. 43, no. 1, pp. 102–114, 2012. View at Publisher · View at Google Scholar · View at Scopus - Y. Sun and J. Cao, “Adaptive lag synchronization of unknown chaotic delayed neural networks with noise perturbation,”
*Physics Letters A: General, Atomic and Solid State Physics*, vol. 364, no. 3-4, pp. 277–285, 2007. View at Publisher · View at Google Scholar · View at Scopus - Y. Sun, J. Cao, and Z. Wang, “Exponential synchronization of stochastic perturbed chaotic delayed neural networks,”
*Neurocomputing*, vol. 70, no. 13–15, pp. 2477–2485, 2007. View at Publisher · View at Google Scholar · View at Scopus - S. C. Jeong, D. H. Ji, J. H. Park, and S. C. Won, “Adaptive synchronization for uncertain chaotic neural networks with mixed time delays using fuzzy disturbance observer,”
*Applied Mathematics and Computation*, vol. 219, no. 11, pp. 5984–5995, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - X. Li, C. Ding, and Q. Zhu, “Synchronization of stochastic perturbed chaotic neural networks with mixed delays,”
*Journal of the Franklin Institute: Engineering and Applied Mathematics*, vol. 347, no. 7, pp. 1266–1280, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Q. Ma, S. Xu, Y. Zou, and G. Shi, “Synchronization of stochastic chaotic neural networks with reaction-diffusion terms,”
*Nonlinear Dynamics*, vol. 67, no. 3, pp. 2183–2196, 2011. - V. Parra-Vega, S. Arimoto, Y.-H. Liu, G. Hirzinger, and P. Akella, “Dynamic sliding PID control for tracking of robot manipulators: theory and experiments,”
*IEEE Transactions on Robotics and Automation*, vol. 19, no. 6, pp. 967–976, 2003. View at Publisher · View at Google Scholar · View at Scopus - J.-L. Zhao, J. Wang, and W. Wei, “Cascade control with active compensation for a class of uncertain nonlinear system,”
*Journal of University of Science and Technology Beijing*, vol. 34, no. 3, pp. 355–361, 2012 (Chinese). View at Scopus - J. Alvarez-Ramírez, R. Suarez, and A. Morales, “Cascade control for a class of uncertain nonlinear systems: a backstepping approach,”
*Chemical Engineering Science*, vol. 55, no. 16, pp. 3209–3221, 2000. View at Publisher · View at Google Scholar · View at Scopus - C. Zhang, J. Wang, Q. Guo, L. Zhao, and L. Fan, “Synchronization of uncertain perturbed chaotic neural network using tracking differential observer,” in
*Proceeding of the International Symposium on Computer, Consumer and Control*, Taichung, Taiwan, June 2014. - H. K. Khalil and L. Praly, “High-gain observers in nonlinear feedback control,”
*International Journal of Robust and Nonlinear Control*, vol. 24, no. 6, pp. 993–1015, 2014. View at Publisher · View at Google Scholar · View at Scopus - H. K. Khalil and J. W. Grizzle,
*Nonlinear Systems*, vol. 3, Prentice hall, Upper Saddle River, NJ, USA, 2002. - A. Bacciotti and L. Rosier,
*Liapunov Functions and Stability in Control Theory*, Springer, London, UK, 2006. View at Zentralblatt MATH · View at MathSciNet - Y. Zhang and Q.-L. Han, “Network-based synchronization of delayed neural networks,”
*IEEE Transactions on Circuits and Systems I: Regular Papers*, vol. 60, no. 3, pp. 676–689, 2013. View at Publisher · View at Google Scholar · View at MathSciNet