New Developments in Mathematical Control and Information for Fuzzy Systems
View this Special IssueResearch Article  Open Access
TingTing Gang, Jun Yang, Qing Gao, Yu Zhao, Jianbin Qiu, "A Fuzzy Approach to Robust Control of Stochastic Nonaffine Nonlinear Systems", Mathematical Problems in Engineering, vol. 2012, Article ID 439805, 17 pages, 2012. https://doi.org/10.1155/2012/439805
A Fuzzy Approach to Robust Control of Stochastic Nonaffine Nonlinear Systems
Abstract
This paper investigates the stabilization problem for a class of discretetime stochastic nonaffine nonlinear systems based on TS fuzzy models. Based on the function approximation capability of a class of stochastic TS fuzzy models, it is shown that the stabilization problem of a stochastic nonaffine nonlinear system can be solved as a robust stabilization problem of the stochastic TS fuzzy system with the approximation errors as the uncertainty term. By using a class of piecewise dynamic feedback fuzzy controllers and piecewise quadratic Lyapunov functions, robust semiglobal stabilization condition of the stochastic nonaffine nonlinear systems is formulated in terms of linear matrix inequalities. A simulation example illustrating the effectiveness of the proposed approach is provided in the end.
1. Introduction
In recent years, TakagiSugeno (TS) type dynamic fuzzy model [1] based control methodologies have attracted great attention from control community. TS fuzzy models describe a nonlinear system by the “blending” of a set of local linear dynamic models. This relatively simple structure facilitates the systematic stability analysis and controller design of TS fuzzy control systems in view of the powerful linear systems control theory [2–13]. By using a common quadratic Lyapunov function and LMI techniques, control design of TS fuzzy systems can be formulated in a convex optimization problem, which can be effectively solved by various tools. However, common Lyapunov functions (CLFs) tend to be conservative and even might not exist for many highly complex nonlinear systems [3]. In order to reduce the conservatism of approaches based on CLFs, some results based on piecewise Lyapunov functions (PLFs) have been proposed [12, 13]. For the most recent advances on relevant topics, readers please refer to the book and the survey paper [2, 3] and the references therein for details.
Control design of nonlinear systems based on TS fuzzy models can be typically summarized into two steps: (i) for a given nonlinear system, find its approximate TS fuzzy model; and (ii) design a controller for the obtained TS fuzzy model. It has been shown that TS fuzzy models are universal function approximators in the sense that they are able to approximate any smooth nonlinear functions to any degree of accuracy in any convex compact region [14–16], which provides a theoretical foundation for utilizing the TS fuzzy modeling method as an alternative approach to describing complex nonlinear systems approximately. However, it has been proved in [16] that the commonly used TS fuzzy models where the control variables are not included in the premise variables are only able to approximate affine nonlinear systems to any degree of accuracy on any compact set. This implies that only the control design of affine nonlinear systems can be solved based on the commonly used TS fuzzy models. To deal with more general nonlinear systems, that is, nonaffine nonlinear systems, recently the coauthors proposed a class of generalized TS fuzzy models which are universal function approximators of nonaffine nonlinear systems [17, 18].
On another fruitful research frontier, stochastic control systems have been extensively studied because stochastic modeling plays a very important role in many branches of science and engineering [19–22]. Although many valuable results on stability analysis and controller synthesis of stochastic linear systems have been reported, most of the existing results on stochastic nonlinear control systems do not provide any systematic way of control design due to the difficulty in searching for suitable Lyapunov functions, especially for highly complex stochastic nonlinear systems. Motivated by the deterministic TS fuzzy model based control techniques, the TS fuzzy models have been extended to the stochastic case, where the local models are stochastic linear dynamic models instead of deterministic ones [23–26]. Especially, to deal with stochastic nonaffine nonlinear systems (SNNS), the socalled generalized stochastic TS fuzzy models were proposed in [26] by the coauthors.
In [26], the stabilization problem of continuoustime SNNS was studied based on the generalized stochastic TS fuzzy models. However, it is noted that the approach proposed in [26] is based on common Lyapunov functions, which is very conservative. In this paper, we investigate the stabilization problem of discretetime SNNS based on discretetime generalized stochastic TS fuzzy models. By using a piecewise Lyapunov function and a class of piecewise dynamic feedback fuzzy controllers, it is shown that the robust semiglobal stabilization condition of discretetime SNNS can be formulated in terms of a set of linear matrix inequalities (LMIs) that are numerically efficient with commercially available software.
The rest of this paper is structured as follows. Section 2 is devoted to model description and problem formulation. In Section 3, robust controller design result for discretetime stochastic nonaffine nonlinear systems is presented. Simulation results are provided in Section 4 to demonstrate the effectiveness of the proposed approach. Conclusions are given in Section 5.
Notations. The notations used in this paper are fairly standard. The notation is used to indicate the terms that can be induced by symmetry. represents vector or matrix transpose. and are used to denote the identity matrix and the zero matrix, respectively. The subscripts and are omitted when the size is not relevant or can be determined from the context. means that matrix is real, symmetric, and positive definite. For a matrix , is the eigenvalue of . Let be the mathematical expectation operator with respect to the given probability measure , and let be a complete probability space with a natural filtration .
2. Model Description and Problem Formulation
2.1. TS Fuzzy Model Description of SNNS
In this paper, we consider the following discretetime stochastic nonaffine nonlinear system: where , , is a compact set on containing the origin, and is a dimensional Wiener process defined on a complete probability space with Moreover, the noise processes , the system state, and the control input are independent. It is assumed in this paper that the mappings and both vanish at zero, that is, and . It is also assumed that and satisfy the usual linear growth and local Lipschitz conditions for existence and uniqueness of solutions to (2.1).
Our objective is to develop an approach to controlling the SNNS in (2.1) via TS fuzzy modeling. In order to approximate the SNNS in (2.1), the following discretetime generalized stochastic TS fuzzy model is employed.
Plant rule
IF is AND AND is ; is AND AND is ; THEN
where denotes the thrule, the total number of rules, and the fuzzy sets, the state vector, the input vector, and the matrices of the th local model.
Under the centeraverage defuzzifier, product inference, and singleton fuzzifier, the TS fuzzy system in (2.3) can be expressed globally as with where are the socalled normalized fuzzy membership functions satisfying and .
In the coauthors’ recent work [26], the continuoustime counterpart of the stochastic TS fuzzy models in (2.4) has been proved to be the universal function approximator to continuoustime SNNS. It has been also shown in [26] that the function approximation capability also holds for the discretetime case, which is summarized in the following lemma.
Lemma 2.1 (see [26]). For any given SNNS described by (2.1) and any two positive constants and , there exist a set of fuzzy basis functions and constant matrices , , , and , , such that where with
From (2.6) in Lemma 2.1, an SNNS described by (2.1) can be exactly expressed in a compact set by a generalized stochastic TS fuzzy model in (2.4) with the approximation errors as some normbounded uncertainties as follows: where
Therefore, one can easily conclude that the stabilization of an SNNS given in (2.1) can be actually solved as a robust stabilization problem of its corresponding stochastic generalized TS fuzzy model with the approximation errors as the uncertainty terms.
2.2. System Formulation and Dynamic Fuzzy Controllers
It is noted that fuzzy system (2.4) induces a polyhedral partition of the premise space, which is dependent on both the system state and control input . As a result, the global fuzzy system can be viewed as a number of subsystems in a number of individual regions.
In this paper, the premise space is divided into a set of crisp regions and fuzzy regions. Denote the partitioned regions as with as the set of region indices and define the indices of fired rules in each region , then the crisp regions and fuzzy regions can be defined respectively by where .
Based on such a partition method, the fuzzy model (2.4), or the original SNNS (2.1), in each region can be rewritten by a blending of subsystems,
In order to stabilize the nonlinear system in (2.12), we employ the following piecewise dynamic state feedback fuzzy controller:
Remark 2.2. As it has been argued in [17], because the premise variables of the generalized stochastic TS fuzzy system in (2.12) contain the system control input, the commonly used parallel distributed compensation (PDC) scheme cannot be directly applied. Instead, the dynamic fuzzy controller in (2.13) is proposed. It is noted that by using the dynamic state feedback controller in (2.13), the closedloop control system can be expressed in the summation of one index which is different from the traditional static state feedback case where indices are used. This will lead to much less number of LMIs in controller design which will be shown subsequently.
Remark 2.3. When the local gains of the piecewise dynamic fuzzy controller (PDFC) in (2.13) are equal, that is, , for , the fuzzy controller in (2.13) reduces to the socalled piecewise dynamic crisp controller (PDCC). It will be shown in Section 4 that the fuzzy controller in (2.13) achieves better performance than the piecewise dynamic state feedback controller.
Then the closedloop control system consisting of (2.12) and (2.13) is given by
where , and are defined in (2.10), and
In addition, we define a new set that represents all possible state transitions among regions of the closedloop TS fuzzy system in (2.15) as follows:
In the case of and , the state trajectories evolve in the same region at the time . Otherwise, the state trajectories will transit from the region to at that time.
3. Robust Controller Design for SNNS
In this section, an LMI approach will be developed to solve the stabilization problem of the SNNS in (2.1) based on the generalized stochastic TS fuzzy models in (2.4).
The following definitions are introduced first.
Definition 3.1. The closedloop control system in (2.14) is said to be stochastically asymptotically stable in the mean square sense, if for any initial conditions , the solution of (2.14) exists for all and .
Definition 3.2. The closedloop control system in (2.14) is said to be stochastically exponentially stable in the mean square sense, if there exist a set of positive constants , and , such that given any initial states , the solution of (2.14) exists for all and .
Denote and . For the sake of simplicity, we denote , , , and as , , , and , respectively.
Suppose that the upper bounds of the uncertainties and are given by respectively.
Then the stochastic stability analysis result for the closedloop control system (2.14) is provided in the following theorem.
Theorem 3.3. The closedloop stochastic fuzzy control system (2.14) is stochastically asymptotically stable in the mean square sense if there exist a set of positive definite matrices , , two sets of positive constants and , and a positive constant such that the following matrix inequalities hold for all , , where
Proof. Consider the following piecewise Lyapunov function candidate:
For a given set of given positive definite matrices , from (2.2) one has
Based on Lemmas A.1 and A.2, one has that
Then one has that along the system trajectories of (2.14),
Therefore one has that if
Denote . Then it can be seen that the inequality (3.8) is equivalent to
where is defined in (3.3).
The upper bounds defined in (3.1) can be rewritten, respectively, as
Then by applying Lemma A.3 (Sprocedure) in the appendix, one can conclude that (3.8) holds if there exist two sets of positive constants and such that (3.2) holds.
Therefore, if (3.2) holds, one has that
Taking expectation of both sides of (3.11) yields
which implies
Then one has that . From Definition 3.1, the closedloop fuzzy system (2.14) is stochastically asymptotically stable in the mean square sense. The proof is thus completed.
Corollary 3.4. Under the conditions of Theorem 3.3, the closedloop stochastic fuzzy control system (2.14) is also stochastically exponentially stable in the mean square sense.
Proof. From (3.4) one has that
where and .
Then from (3.12), one has
which implies
Thus one has that , where and . From Definition 3.2, one can conclude that the closedloop fuzzy control system (2.14) is stochastically exponentially stable in the mean square sense. The proof is thus completed.
Remark 3.5. It is noted that represents the convergence rate of the closedloop control system.
Based on Theorem 3.3, the following controller design results can be obtained.
Theorem 3.6. The SNNS (2.1) can be semiglobally stochastically asymptotically stabilized in the mean square sense by the dynamic fuzzy controller in (2.13), if there exist a set of positive definite matrices , , two sets of positive constants and , and a positive constant such that the following matrix inequalities hold for all , ,
Moreover, the controller gain matrices are given by .
Proof. It is noted that the SNNS (2.1) can be expressed by the generalized stochastic TS fuzzy model in any compact set. It is also noted that the system (4.2) can be expressed by (2.12) in each local region of interest. Thus if the system (2.12) can be stochastically asymptotically stabilized in the mean square sense by the controller (2.13), with the bounded initial condition on the state and the control , the original SNNS (2.1) can be shown to be semiglobally stochastically asymptotically stabilized in the mean square sense.
By using Schur’s complement, (3.2) is equivalent to
By matrix inverse lemma, (3.18) becomes
Multiplying from both sides to (3.19), one has
which is equivalent to (3.17) by using Schur’s complement with the fact that and .
Thus it follows from Theorem 3.3 that the closedloop fuzzy system (2.14) is stochastically asymptotically stable in the mean square sense. Thus one has shown that the original SNNS (2.1) can be semiglobally stochastically asymptotically stabilized by the controller in (2.13). Thus the proof is completed.
Remark 3.7. From (3.19), one can see that the LMIs in (3.17) are not easy to be satisfied if the upper bounds of the approximation errors, that is, and , are too large. In order to achieve better approximation performance one has to use larger number of fuzzy rules, which, based on Theorems 3.3 and 3.6, leads to much higher computation cost of control design. However, this problem can be lessened to some extent due to the robustness of the proposed approach. In other words, the smaller number of fuzzy rules can be chosen since the robustness of the proposed approach allows larger approximation errors.
Remark 3.8. Theorems 3.3 and 3.6 are based on a piecewise quadratic Lyapunov function. When the positive definite matrices are chosen as common ones, that is, , , then the results of Theorems 3.3 and 3.6 reduce to those based on common Lyapunov functions. It will be shown in Section 4 that the results based on piecewise Lyapunov functions (FLPs) are less conservative than those based on common Lyapunov functions (CLFs).
4. Simulation Studies
In this section, to show the performance of the proposed controller design results, we consider the balancing problem of an inverted pendulum on a cart. The following discretized inverted pendulum plant with nonaffine mathematical model [26] is used: where , , denotes the angle of pendulum from the vertical, and is the angular velocity. m/s^{2} is the gravity constant, is the mass of pendulum, is the mass of the cart, , sis the sampling time in this study, and is the length of the pendulum. Note that the input force is given by with an amplifier of gain connected. In this simulation, we choose kg, kg, and m.
We linearize the plant around the following operating points, , , , and , respectively, and consider the approximation errors between the linearized local model and the original nonlinear models as normbounded uncertainties. Then the following uncertain discretetime dynamic TS fuzzy model can be obtained: where the membership functions are shown in Figure 1,
As it has been defined in Section 2, the indices of fired rules in each local region are given in Table 1.

It is noted that the exact or tightest upper bounds of the approximation errors are difficult to identify. However, one can apply the method shown in [26] to obtain the approximate upper bounds, which are and , respectively. Then by applying Theorem 3.6, the controller gains with respect to each partitioned regions are obtained as
To illustrate the performance of the approach proposed in this paper, the state trajectories and control input of the closedloop system under initial condition along 10 individual Wiener process paths are shown in Figures 2 and 3, respectively. One can observe that both the means of the system states and control input converge to zero as time approaches infinity.
To compare the proposed approach with results based on piecewise dynamic controller and piecewise/common Lyapunov functions, respectively, the convergence rates under different cases are presented in Table 2. It can be observed from Table 2 that the approaches based on piecewise quadratic Lyapunov functions are less conservative than those based on common Lyapunov functions, and the piecewise dynamic fuzzy controller (PDFC) has better performance than the piecewise dynamic crisp controller.
5. Conclusion
In this paper, TS fuzzy model based control design of discretetime stochastic nonaffine nonlinear systems (SNNS) has been investigated. By using a piecewise Lyapunov function, it is shown that a discretetime SNNS can be stochastically asymptotically stabilized in the mean square sense by solving a set of linear matrix equalities. Simulation results are provided to demonstrate the effectiveness of the approaches proposed in this paper. Some interesting future topics include filtering design and fault detection problems for complex discretetime SNNS based on piecewise Lyapunov functions.
Appendix
Lemma A.1. Given a set of independent stochastic processes satisfying a set of vectors , and a symmetric matrix , one has that
Proof. One has
Lemma A.2 (see [27]). For any real matrices and with compatible dimensions, then where , , are nonnegative scalars with .
Lemma A.3 (Sprocedure [28]). Let be symmetric matrices. Then the following condition on such that holds if there exists
Acknowledgment
The work described in this paper was supported by the National Natural Science Foundation of China under Grant 11001005.
References
 T. Takagi and M. Sugeno, “Fuzzy identification of systems and its applications to modeling and control,” IEEE Transactions on Systems, Man and Cybernetics B, vol. 15, no. 1, pp. 116–132, 1985. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 G. Feng, Analysis and Synthesis of Fuzzy Control Systems: A ModelBased Approach, CRC Press, Boca Raton, Fla, USA, 2010.
 G. Feng, “A survey on analysis and design of modelbased fuzzy control systems,” IEEE Transactions on Fuzzy Systems, vol. 14, no. 5, pp. 676–697, 2006. View at: Publisher Site  Google Scholar
 J. Qiu, G. Feng, and J. Yang, “A new design of delaydependent robust ${H}_{\infty}$ filtering for discretetime TS fuzzy systems with timevarying delay,” IEEE Transactions on Fuzzy Systems, vol. 17, no. 5, pp. 1044–1058, 2009. View at: Publisher Site  Google Scholar
 J. Qiu, G. Feng, and H. Gao, “Fuzzymodelbased piecewise ${H}_{\infty}$ staticoutputfeedback controller design for networked nonlinear systems,” IEEE Transactions on Fuzzy Systems, vol. 18, no. 5, pp. 919–934, 2010. View at: Publisher Site  Google Scholar
 L. Wu, X. Su, P. Shi, and J. Qiu, “A new approach to stability analysis and stabilization of discretetime TS fuzzy timevarying delay systems,” IEEE Transactions on Systems, Man, and Cybernetics, Part B, vol. 41, no. 1, pp. 273–286, 2011. View at: Publisher Site  Google Scholar
 H. R. Karimi, B. Moshiri, and C. Lucas, “Robust fuzzy linear control of a class of stochastic nonlinear timedelay systems,” Nonlinear Dynamics and Systems Theory, vol. 4, no. 3, pp. 317–332, 2004. View at: Google Scholar  Zentralblatt MATH  MathSciNet
 D. Saifia, M. Chadli, S. Labiod, and H. R. Karimi, “${H}_{\infty}$ fuzzy control of DCDC converters with input constraint,” Mathematical Problems in Engineering, vol. 2012, Article ID 973082, 18 pages, 2012. View at: Publisher Site  Google Scholar
 M. Chadli and H. R. Karimi, “Robust observer design for unknown inputs TakagiSugeno models,” IEEE Transactions on Fuzzy Systems. In press. View at: Google Scholar
 Z. G. Wu, P. Shi, H. Su, and J. Chu, “Reliable ${H}_{\infty}$ control for discretetime fuzzy systems with infinitedistributed delay,” IEEE Transactions on Fuzzy Systems, vol. 20, no. 1, pp. 22–31, 2012. View at: Google Scholar
 H. Ohtake, K. Tanaka, and H. O. Wang, “Fuzzy modelbased servo and model following control for nonlinear systems,” IEEE Transactions on Systems, Man, and Cybernetics B, vol. 39, no. 6, pp. 1634–1639, 2009. View at: Publisher Site  Google Scholar
 G. Feng, “Stability analysis of discretetime fuzzy dynamic systems based on piecewise lyapunov functions,” IEEE Transactions on Fuzzy Systems, vol. 12, no. 1, pp. 22–28, 2004. View at: Publisher Site  Google Scholar
 M. Johansson, A. Rantzer, and K. E. Årzén, “Piecewise quadratic stability of fuzzy systems,” IEEE Transactions on Fuzzy Systems, vol. 7, no. 6, pp. 713–722, 1999. View at: Google Scholar
 X.J. Zeng and M. G. Singh, “Approximation theory of fuzzy systemsSISO case,” IEEE Transactions on Fuzzy Systems, vol. 2, no. 2, pp. 162–176, 1994. View at: Google Scholar
 X.J. Zeng and M. G. Singh, “Approximation theory of fuzzy systemsMIMO case,” IEEE Transactions on Fuzzy Systems, vol. 3, no. 2, pp. 219–235, 1995. View at: Google Scholar
 X. J. Zeng, J. A. Keane, and D. Wang, “Fuzzy systems approach to approximation and stabilization of conventional affine nonlinear systems,” in Proceedings of the IEEE International Conference on Fuzzy Systems, pp. 277–284, Vancouver, Canada, July 2006. View at: Publisher Site  Google Scholar
 Q. Gao, X. J. Zeng, G. Feng, Y. Wang, and J. Qiu, “TSFuzzyModelBased approximation and controller design for general nonlinear systems,” IEEE Transactions on Systems, Man, and Cybernetics B, vol. 42, no. 4, pp. 1131–1142, 2012. View at: Google Scholar
 Q. Gao, G. Feng, Y. Wang, and J. Qiu, “Universal fuzzy controllers based on generalized TS fuzzy models,” Fuzzy Sets and Systems, vol. 201, pp. 55–70, 2012. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 X. Mao, Stochastic Differential Equations and Applications, Horwood, Chichester, UK, 2nd edition, 2008. View at: MathSciNet
 C. X. Zhu and W. Q. Zhu, “Feedback control of nonlinear stochastic systems for targeting a specified stationary probability density,” Automatica, vol. 47, no. 3, pp. 539–544, 2011. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 G. Chen and Y. Shen, “Robust reliable ${H}_{\infty}$ control for nonlinear stochastic markovian jump systems,” Mathematical Problems in Engineering, vol. 2012, Article ID 431576, 16 pages, 2012. View at: Publisher Site  Google Scholar
 X.J. Xie and J. Tian, “Adaptive statefeedback stabilization of highorder stochastic systems with nonlinear parameterization,” Automatica, vol. 45, no. 1, pp. 126–133, 2009. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 S. Zhou, W. Ren, and J. Lam, “Stabilization for TS model based uncertain stochastic systems,” Information Sciences, vol. 181, no. 4, pp. 779–791, 2011. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 B. Zhang, S. Xu, G. Zong, and Y. Zou, “Delaydependent stabilization for stochastic fuzzy systems with time delays,” Fuzzy Sets and Systems, vol. 158, no. 20, pp. 2238–2250, 2007. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 L. Hu and A. Yang, “Fuzzy modelbased control of nonlinear stochastic systems with timedelay,” Nonlinear Analysis. Theory, Methods & Applications, vol. 71, no. 12, pp. e2855–e2865, 2009. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 Q. Gao, G. Feng, Y. Wang, and J. Qiu, “Universal fuzzy models and universal fuzzy controllers for stochastic nonaffine nonlinear systems,” IEEE Transactions on Fuzzy Systems. In press. View at: Google Scholar
 X. P. Guan and C. L. Chen, “Delaydependent guaranteed cost control for TS fuzzy systems with time delays,” IEEE Transactions on Fuzzy Systems, vol. 12, no. 2, pp. 236–249, 2004. View at: Publisher Site  Google Scholar  Zentralblatt MATH
 S. Boyd, L. El Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, Pa, USA, 1994. View at: Publisher Site  MathSciNet
Copyright
Copyright © 2012 TingTing Gang 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.