Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2015 (2015), Article ID 896413, 11 pages
http://dx.doi.org/10.1155/2015/896413
Research Article

Fuzzy Controllers for Nonaffine-in-Control Singularly Perturbed Switched Systems

School of Information and Electrical Engineering, China University of Mining and Technology, Xuzhou 221116, China

Received 21 October 2014; Revised 14 December 2014; Accepted 14 December 2014

Academic Editor: Mohammed Chadli

Copyright © 2015 Linna Zhou 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 investigates the problem of fuzzy controller design for nonaffine-in-control singularly perturbed switched systems (NCSPSSs). First, the NCSPSS is approximated by Takagi-Sugeno (T-S) models which include not only state but also control variables in the premise part of the rules. Then, a dynamic state feedback controller design method is proposed in terms of linear matrix inequalities. Under the controller, stability bound estimation problem of the closed-loop system is solved. Finally, an example is given to show the feasibility and effectiveness of the obtained methods.

1. Introduction

Switched systems, which consist of a finite number of subsystems and a logical rule governing the switching among the subsystems, are widely encountered in mechanical systems, power systems, and aircraft [13]. One of the basic problems of switched systems is the stability analysis of switched systems under arbitrary switching signals [1]. For this problem, it is necessary to assume that all the subsystems are asymptotically stable [4]. But this assumption is not sufficient for stability of the switched systems [4]. To assure stability under arbitrary switching signals, a minimal interval of time between two successive switchings (called dwell time) or a common Lyapunov function for all the subsystems is required [48].

On the other hand, many practical systems exhibit multiple time scale behavior, which can lead to high dimensionality and ill-conditioned numerical issues in the analysis and design problems [9, 10]. Singular perturbation theory has been developed to deal with these problems [11, 12]. In this framework, the system analysis and synthesis problems are based on decomposing the system into fast and slow subsystems [9]. In the past several decades, the theory of singularly perturbed systems has attracted much attention and been applied to chemical processes [13], power systems [14], electromechanical systems [15], and so forth. On stability analysis and stabilization problems of SPSs, there exist two kinds of approaches. One is to present a condition for the existence of an upper bound for the singular perturbation parameter , such that the stability of the SPS is ensured for all [16, 17]. The other is to propose a method to compute the stability bound [18, 19].

Singularly perturbed switched systems (SPSSs) whose subsystems are SPSs are of practical interest in many industry processes [20, 21]. An example is given in [22], where the tail end phase of the rolling process in a hot strip mill was modeled as a SPSS. The classical theory for SPSs is based on the Levinson-Tikhonov theorem [23] which shows, under the assumption that the SPS can be decomposed into slow and fast subsystems, that asymptotic stability of the subsystems is a sufficient condition for the stability of the SPS [16, 24]. However, this principle does not hold for SPSSs. It was shown that stability of the slow and fast switched subsystems is not sufficient for stability of the original SPSS and a dwell-time condition [25, 26] or a constraint taking into account the coupling between slow and fast subsystems has to be considered [20, 21, 27]. Although there have been plenty of methods to estimate the stability bound of SPSs, few approaches were proposed for SPSSs. The exception is given by [28], where a stability bound estimation method was proposed for linear SPSSs whose switching subsystems have the same fast subsystems.

Fuzzy control has found a great variety of applications in control engineering [29, 30]. Takagi-Sugeno (T-S) model based fuzzy control has become one of the most successful approaches since T-S model is a universal approximator for a wide class of nonlinear systems [3134]. Recently, many researchers have focused on the analysis and design of T-S fuzzy SPSs. Stability analysis and stabilization problems for both continuous- and discrete-time T-S fuzzy SPSs were investigated in [17, 35], and some LMI-based approaches were derived. To get a satisfactory transient behavior, control for T-S fuzzy SPSs with pole placement constraints was considered in [36]. Using the results in [17, 35, 36], the stability of the resulting closed-loop systems is only ensured for sufficiently small singular perturbation parameter . The problem of the stability bound estimation for T-S fuzzy systems was considered in [37, 38]. Since the T-S models used in [17, 3538] are only able to approximate affine nonlinear systems, the proposed methods can not be applied to nonaffine systems. However, there are many nonaffine-in-control systems rising from practical applications, such as magnetic servo levitation control system [39], pendulum control systems [40], and chemical reactions [41].

Motivated by [42, 43], where a class of generalized T-S fuzzy dynamic models were proposed and shown to be universal approximators to general nonlinear systems, this paper investigates the problem of fuzzy controller design for nonaffine-in-control singularly perturbed switched systems (NCSPSSs). T-S models which include not only state but also control variables in the premise part of the rules are established to approximate the NCSPSS. A fuzzy dynamic state feedback controller is constructed. Under the assumption that the fast subsystems are stable, a controller design method is proposed. Then, the stability bound of the closed-loop system is addressed and an LMI-based method is established. Finally, a numerical example is included to illustrate the proposed results.

The rest of this paper is organized as follows. In Section 2, the problems under consideration are defined. The controller design method which is reduced to the feasibility of a set of -independent LMIs is given in Section 3. In Section 4, the estimation problem of stability bound is considered. An academic example is given in Section 5 to show the effectiveness and advantage of the obtained methods. Section 6 concludes the paper.

2. System Description

Consider the following nonlinear singularly perturbed switched system:where and are the states, is the input, and denotes the singular perturbation parameter. is the switching rule, which takes its values in the finite set . and are the Lipschitz functions and nonaffine in control.

By using the algorithm in [42], each nonlinear subsystem () could be represented by a T-S fuzzy model described by rules of the following form.

The th rule is where are fuzzy sets.

Denote

The scalars are the membership functions. By using the usual center-average defuzzifier, product inference, and singleton fuzzifier, the T-S fuzzy system can be inferred aswhere denotes the approximation error. According to [42], the error can be made arbitrarily small by choosing large enough number of fuzzy rules. Thus we omit the approximation error in the rest of the paper.

Remark 1. The T-S models used in [17, 3538] are only able to approximate affine nonlinear SPSs, while the T-S model in (4a) and (4b) can represent nonaffine-in-control systems given as in (1a) and (1b), since the control variables are included in the premise part of the rules. As shown in the previous section, there are various examples of nonaffine-in-control systems and SPSSs in practical applications. Therefore, the T-S fuzzy model in (4a) and (4b) will lay a foundation for fuzzy control of nonaffine-in-control SPSSs and can be applied to various applications such as aircraft control, electrical and electromechanical systems, and chemical reactions.

The design of state feedback stabilizing fuzzy controllers for the fuzzy system (4a) and (4b) is based on the dynamic state feedback control method. The fuzzy controller is described by the following.

The th rule is

Because the controller rules are the same as the plant rules, the controller is given as follows:

Then we have the closed-loop system:which can be rewritten in the following compact form:where

Upon introducing the indicator function where if the switching system is in mode and if it is in a different mode, one can write the whole closed-loop system corresponding to (1a) and (1b) as follows:

Assume that , , , are Hurwitz matrices, which is a common assumption for investigations on standard SPSs. Then the corresponding slow and fast subsystems of the SPF (11a) and (11b) are obtained as follows:where , .

3. Controller Design

This section will present a controller design method.

Theorem 2. If there exist matrices , , , , , and of appropriate dimensions satisfying the LMIs, where ,  , , , and  , then there exists a positive scalar such that, for all , the closed-loop system (11a) and (11b) is stable and the controller gains are with , .

Proof. Let
It follows from (15) that
Using the Schur complement, inequality (18) implies that which is equivalent to Then we have
System (8a) and (8b) can be rewritten as where Let
Define , , and as
By simple calculation, we have
LMI conditions (13) and (14) imply that which indicates that there exists a positive scalar , such that, for any , it holds that
On the other hand, it is easy to see that
Then it follows from (28) and (29) that
Let ; then where and .
Thus, for sufficiently small , the controller gains can be chosen as
Then, by (30), (31), and (32), there exists a positive scalar , such that which is equivalent to
Define Lyapunov function
Computing the derivative of along the trajectories of system (22) and taking into account (34), we have Therefore, the closed-loop system (11a) and (11b) is stable for all . This completes the proof.

Remark 3. LMIs (13), (14), and (15) are independent of the singular perturbation parameter and thus well-defined. The feasibility of the LMIs can be checked by the existing algorithms [44]. If the LMIs are feasible, an -independent stabilization controller can be obtained when is small enough.

Remark 4. In [17, 3538], some T-S model based control approaches have been proposed for nonlinear SPSs. The results are based on the parallel distributed compensation (PDC) scheme and can design state feedback controllers for affine-in-control nonlinear systems. In contrast, this paper employed a dynamic state feedback fuzzy controller and can be applied to nonaffine-in-control singularly perturbed switched systems.

Remark 5. LMIs (14) imply that the controller design method is valid only if the fast subsystem is open-loop stable, which limits the method to standard NCSPSS. Control of nonstandard NCSPSS is still an open problem.

Remark 6. T-S models, which use a set of fuzzy rules to describe a nonlinear system in terms of a set of local linear models, offer an efficient approach to stability analysis and controller design of complex nonlinear systems. In this framework, most of the stability analysis and controller design problems can be reduced to solve LMI problems. A larger number of individual subsystems or fuzzy rules will lead to larger computational burden. Fortunately, there have been some efficient algorithms to deal with LMI problems with reasonable large dimensions [44].

4. Stability Bound Analysis

Stability bound is a key stability index of SPSs. Theorem 2 guarantees the existence of the stability bound . This section will propose a method to estimate the stability bound of the closed-loop system. To begin with, the closed-loop system is written aswhere

Theorem 7. If there exists matrices , , , and of appropriate dimensions, such LMIs, are verified for , with Then, the closed-loop system is stable for .

Proof. Let
It follows from (40) that that is,
We can rewrite (37a) and (37b) as where Let
Define as which are equivalent to
From LMIs (39), it follows that which is equivalent to which implies that
Since it follows from (44) and (52) that then
Define Lyapunov function
Computing the derivative of along the trajectories of system (45) and taking into account (55), we have Thus, the closed-loop system is stable for . This completes the proof.

Remark 8. Stability bound problem of SPSS is challenging. The existing method in [28] is limited to linear SPSS. Theorem 7 describes an efficient method to compute stability bound of nonlinear SPSS. The best estimation of the stability bound can be obtained by the following optimization problem: which can be effectively solved by a one-dimensional search algorithm with the aid of LMI Control Toolbox in Matlab 7.0.

Remark 9. It is known that LMI-based stability conditions for T-S fuzzy systems are usually sufficient conditions [30]. Theorem 2 is derived by using common Lyapunov function, which may lead to conservatism in some cases. Our future work will try to reduce the conservatism by using piecewise quadratic Lyapunov functions and fuzzy Lyapunov functions, which have been demonstrated to be less conservative under certain assumptions [31].

5. A Numerical Example

To illustrate the proposed results, we consider the following singularly perturbed switched system composed of two modes.

Mode 1:

Mode 2:

For the individual systems, we choose the interpolation points set as follows.

Mode 1:

Mode 2:

Using Algorithm  2.1 in [42], we have the T-S fuzzy models of the system.

Mode 1:

Mode 2:

Triangle-type membership functions are employed as the fuzzy basis functions (see Figures 1 and 2 for the details).

Figure 1: Membership function of .
Figure 2: Membership function of .

Solving the LMIs in Theorem 2, we have the stabilizing controller gains:

Under this controller, the stability bound of the closed-loop system is by using Theorem 7.

For simulation, we choose , , , , and the switching rule shown in Figure 3. Applying the fuzzy controller to the original system, the state trajectories and control input of the closed-loop system are shown in Figure 4. It can be seen that the closed-loop system is stable.

Figure 3: Switching rule .
Figure 4: State trajectories and control input.

6. Conclusion

In this paper, we considered the problem of fuzzy controller design for nonaffine-in-control singularly perturbed switched systems (NCSPSSs). A general class of Takagi-Sugeno (T-S) models including both state and control variables in the premise part of the rules were established to approximate the NCSPSS. By LMI technique, the controller design and stability bound estimation problems were solved. The presented example demonstrated the feasibility and effectiveness of the obtained methods. It can be seen that the proposed results are limited to standard NCSPSS. Thus, one of our future works is to investigate control and analysis problems of nonstandard NCSPSS.

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 (61374043, 60904009, and 61020106003), the Jiangsu Provincial Natural Science Foundation of China (BK20130205), the China Postdoctoral Science Foundation funded Project (2013M530278, 2014T70558), the Fundamental Research Funds for the Central Universities (2013QNA50, 2013RC10, 2013RC12, and 2013XK09), and the Natural Science Foundation of Liaoning Province (201202201).

References

  1. D. Liberzon and A. S. Morse, “Basic problems in stability and design of switched systems,” IEEE Control Systems Magazine, vol. 19, no. 5, pp. 59–70, 1999. View at Publisher · View at Google Scholar · View at Scopus
  2. D. Liberzon, Switching in Systems and Control, Birkhäuser, Boston, Mass, USA, 2003. View at Publisher · View at Google Scholar · View at MathSciNet
  3. J. Zhao and G. M. Dimirovski, “Quadratic stability of a class of switched nonlinear systems,” IEEE Transactions on Automatic Control, vol. 49, no. 4, pp. 574–578, 2004. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  4. H. Lin and P. J. Antsaklis, “Stability and stabilizability of switched linear systems: a survey of recent results,” IEEE Transactions on Automatic Control, vol. 54, no. 2, pp. 308–322, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  5. A. Hocine, M. Chadli, and H. R.. Karimi, “A structured filter for Markovian switching systems,” International Journal of Systems Science, vol. 45, no. 7, pp. 1518–1527, 2014. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  6. M. Darouach and M. Chadli, “Admissibility and control of switched discrete-time singular systems,” Systems Science & Control Engineering, vol. 1, no. 1, pp. 43–51, 2013. View at Publisher · View at Google Scholar
  7. M. Chadli and M. Darouach, “Robust admissibility of uncertain switched singular systems,” International Journal of Control, vol. 84, no. 10, pp. 1587–1600, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  8. H. Ishii and B. A. Francis, “Stabilizing a linear system by switching control with dwell time,” IEEE Transactions on Automatic Control, vol. 47, no. 12, pp. 1962–1973, 2002. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  9. P. V. Kokotovic, H. K. Khalil, and J. O’Reilly, Singularly Perturbation Methods in Control: Analysis and Design, Academic Press, New York, NY, USA, 1986. View at MathSciNet
  10. D. S. Naidu, “Singular perturbations and time scales in control theory and applications: an overview,” Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications and Algorithms, vol. 9, no. 2, pp. 233–278, 2002. View at Google Scholar · View at MathSciNet
  11. I. A. Gondal, “On the application of singular perturbation techniques to nuclear engineering control problems,” IEEE Transactions on Nuclear Science, vol. 35, no. 5, pp. 1080–1085, 1988. View at Publisher · View at Google Scholar · View at Scopus
  12. J.-W. Son and J.-T. Lim, “Stabilization of approximately feedback linearizable systems using singular perturbation,” IEEE Transactions on Automatic Control, vol. 53, no. 6, pp. 1499–1503, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  13. A. Zagaris, H. G. Kaper, and T. J. Kaper, “Analysis of the computational singular perturbation reduction method for chemical kinetics,” Journal of Nonlinear Science, vol. 14, no. 1, pp. 59–91, 2004. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  14. J. W. Kimball and P. T. Krein, “Singular perturbation theory for DC-DC converters and application to PFC converters,” IEEE Transactions on Power Electronics, vol. 23, no. 6, pp. 2970–2981, 2008. View at Publisher · View at Google Scholar
  15. A. E. Lindsay, J. Lega, and F. J. Sayas, “The quenching set of a MEMS capacitor in two-dimensional geometries,” Journal of Nonlinear Science, vol. 23, no. 5, pp. 807–834, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  16. H. D. Tuan and S. Hosoe, “Multivariable circle criteria for multiparameter singularly perturbed systems,” IEEE Transactions on Automatic Control, vol. 45, no. 4, pp. 720–725, 2000. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  17. H. Liu, F. Sun, and Y. Hu, “H control for fuzzy singularly perturbed systems,” Fuzzy Sets and Systems, vol. 155, no. 2, pp. 272–291, 2005. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  18. L. Saydy, “New stability/performance results for singularly perturbed systems,” Automatica, vol. 32, no. 6, pp. 807–818, 1996. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  19. L. Cao and H. M. Schwartz, “Complementary results on the stability bounds of singularly perturbed systems,” IEEE Transactions on Automatic Control, vol. 49, no. 11, pp. 2017–2021, 2004. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  20. I. Malloci, J. Daafouz, and C. Tung, “Stability and stabilization of two time scale switched systems in discrete time,” IEEE Transactions on Automatic Control, vol. 55, no. 6, pp. 1434–1438, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  21. I. Malloci, J. Daafouz, and C. Iung, “Stabilization of continuous-time singularly perturbed switched systems,” in Proceedings of the Joint 48th IEEE Conference on Decision and Control Held Jointly with the 28th Chinese Control Conference (CDC/CCC ’09), pp. 6371–6376, Shanghai, China, December 2009. View at Publisher · View at Google Scholar
  22. I. Malloci, J. Daafouz, C. Iung, R. Bonidal, and P. Szczepanski, “Switched system modeling and robust steering control of the tail end phase in a hot strip mill,” Nonlinear Analysis: Hybrid Systems, vol. 3, no. 3, pp. 239–250, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  23. E. H. Abed, “A new parameter estimate in singular perturbations,” Systems & Control Letters, vol. 6, no. 3, pp. 193–198, 1985. View at Publisher · View at Google Scholar · View at MathSciNet
  24. H. K. Khalil, “Stability analysis of nonlinear multiparameter singularly perturbed systems,” IEEE Transactions on Automatic Control, vol. 32, no. 3, pp. 260–263, 1987. View at Google Scholar · View at Scopus
  25. M. S. Alwan, X. Liu, and B. Ingalls, “Exponential stability of singularly perturbed switched systems with time delay,” Nonlinear Analysis: Hybrid Systems, vol. 2, no. 3, pp. 913–921, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  26. M. S. Alwan and X. Liu, “Stability of singularly perturbed switched systems with time delay and impulsive effects,” Nonlinear Analysis: Theory, Methods & Applications, vol. 71, no. 9, pp. 4297–4308, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  27. I. Malloci, J. Daafouz, C. Iung, R. Bonidal, and P. Szczepanski, “Robust steering control of hot strip mill,” IEEE Transactions on Control Systems Technology, vol. 18, no. 4, pp. 908–917, 2010. View at Publisher · View at Google Scholar · View at Scopus
  28. G. S. Deaecto, J. Daafouz, and J. C. Geromel, “H2 and H performance optimization of singularly perturbed switched systems,” SIAM Journal on Control and Optimization, vol. 50, no. 3, pp. 1597–1615, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  29. T. Takagi and M. Sugeno, “Fuzzy identification of systems and its applications to modeling and control,” IEEE Transactions on Systems, Man and Cybernetics, vol. 15, no. 1, pp. 116–132, 1985. View at Google Scholar · View at Scopus
  30. G. Feng, “A survey on analysis and design of model-based fuzzy control systems,” IEEE Transactions on Fuzzy Systems, vol. 14, no. 5, pp. 676–697, 2006. View at Publisher · View at Google Scholar · View at Scopus
  31. G. Feng, Analysis and Synthesis of Fuzzy Control Systems: A Model Based Approach, CRC Press, Boca Raton, Fla, USA, 2010.
  32. Y. M. Chen, C. M. Lin, and C. S. Hsueh, “Emitter identification of electronic intelligence system using type-2 fuzzy classifier,” Systems Science and Control Engineering, vol. 2, no. 1, pp. 389–397, 2014. View at Publisher · View at Google Scholar
  33. A. Ghanbari and M. R. Moghanni-Bavil-Olyaei, “Adaptive fuzzy terminal sliding-mode control of MEMS z-axis gyroscope with extended Kalman filter observer,” Systems Science & Control Engineering, vol. 2, no. 1, pp. 183–191, 2014. View at Publisher · View at Google Scholar
  34. A. Iqbal, H. Abu-Rub, and H. Nounou, “Adaptive fuzzy logic-controlled surface mount permanent magnet synchronous motor drive,” Systems Science & Control Engineering, vol. 2, no. 1, pp. 465–475, 2014. View at Publisher · View at Google Scholar
  35. H. Liu, F. Sun, and Z. Sun, “Stability analysis and synthesis of fuzzy singularly perturbed systems,” IEEE Transactions on Fuzzy Systems, vol. 13, no. 2, pp. 273–284, 2005. View at Publisher · View at Google Scholar · View at Scopus
  36. W. Assawinchaichote and S. K. Nguang, “Fuzzy H output feedback control design for singularly perturbed systems with pole placement constraints: an LMI approach,” IEEE Transactions on Fuzzy Systems, vol. 14, no. 3, pp. 361–371, 2006. View at Publisher · View at Google Scholar · View at Scopus
  37. G.-H. Yang and J. Dong, “Control synthesis of singularly perturbed fuzzy systems,” IEEE Transactions on Fuzzy Systems, vol. 16, no. 3, pp. 615–629, 2008. View at Publisher · View at Google Scholar · View at Scopus
  38. C. Yang and Q. Zhang, “Multiobjective control for T-S fuzzy singularly perturbed systems,” IEEE Transactions on Fuzzy Systems, vol. 17, no. 1, pp. 104–115, 2009. View at Publisher · View at Google Scholar · View at Scopus
  39. H. M. Gutierrez and P. I. Ro, “Magnetic servo levitation by sliding-mode control of nonaffine systems with algebraic input invertibility,” IEEE Transactions on Industrial Electronics, vol. 52, no. 5, pp. 1449–1455, 2005. View at Publisher · View at Google Scholar · View at Scopus
  40. A. Young, C. Y. Cao, N. Hovakimyan, and E. Lavretsky, “Control of a nonaffine doublependulum system via dynamic inversion and timescale separation,” in Proceedings of the American Control Conference, pp. 1820–1825, Minneapolis, Minn, USA, June 2006.
  41. S. S. Ge, C. C. Hang, and T. Zhang, “Nonlinear adaptive control using neural networks and its application to CSTR systems,” Journal of Process Control, vol. 9, no. 4, pp. 313–323, 1999. View at Publisher · View at Google Scholar · View at Scopus
  42. Q. Gao, G. Feng, Y. Wang, and J. Qiu, “Universal fuzzy controllers based on generalized T-S fuzzy models,” Fuzzy Sets and Systems, vol. 201, pp. 55–70, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  43. Q. Gao, X. J. Zeng, G. Feng, Y. Wang, and J. Qiu, “T-S-fuzzy-model-based approximation and controller design for general nonlinear systems,” IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, vol. 42, no. 4, pp. 1143–1154, 2012. View at Publisher · View at Google Scholar · View at Scopus
  44. S. Boyd, L. El Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory, SIAM, Philadelphia, Pa, USA, 1994. View at Publisher · View at Google Scholar · View at MathSciNet