Model Reduction of Fuzzy Logic Systems

Yu, Zhandong; Yu, Jinyong; Karimi, Hamid Reza

doi:https://doi.org/10.1155/2014/874530

Mathematical Problems in Engineering

On this page

Abstract Introduction Preliminaries Conclusions References Copyright Related Articles

Research Article | Open Access

Volume 2014 | Article ID 874530 | https://doi.org/10.1155/2014/874530

Model Reduction of Fuzzy Logic Systems

Zhandong Yu,¹Jinyong Yu,²and Hamid Reza Karimi^1,3

Academic Editor: M. Chadli

Received25 Mar 2014

Accepted20 Apr 2014

Published11 May 2014

Abstract

This paper deals with the problem of - model reduction for continuous-time nonlinear uncertain systems. The approach of the construction of a reduced-order model is presented for high-order nonlinear uncertain systems described by the T-S fuzzy systems, which not only approximates the original high-order system well with an - error performance level but also translates it into a linear lower-dimensional system. Then, the model approximation is converted into a convex optimization problem by using a linearization procedure. Finally, a numerical example is presented to show the effectiveness of the proposed method.

1. Introduction

It is well known that fuzzy logic theory is an effective approach for the manipulation of complex nonlinear systems. Recently, it has witnessed the rapidly growing popularity of fuzzy control systems in practical applications. Among various kinds of fuzzy models, the Takagi-Sugeno (T-S) fuzzy model [1] is viewed as one of the most popular models. A number of IF-THEN rules, which describe the local input-output relationships of original nonlinear system, are introduced to this kind of model. The weighted sum of all local linear systems have been obtained by constructing a group of weight functions from the membership functions in each rule. This weighted sum is equivalent to the original nonlinear system, which can be regarded as a special kind of time-varying linear system. Thus, most of the classical linear control methods will be applicable. There are numerous cases in this approach. For example, stability analysis was investigated in [2–8], the controller design was presented in [9–18], state estimation and filtering problems were addressed in [19–23], and fault detection problem was widely studied in [24–26].

On the other hand, since high-dimensional complex mathematical modeling of physical systems and processes in many areas of engineering is frequently encountered, the problem of model reduction has obtained a considerable attention. This model brings severe hardship to analyze and synthesize the concerning systems. Therefore, it is desirable to find a possible lower-order model to approximate the original one without introducing significant performance error in real-word applications. There are many important reported results in the past decades. These have been developed to settle the difficulty of model approximation, such as the - approach [27, 28], the (or equivalently, energy-to-energy) approach [29–32], the approach [33, 34], and the Hankel-norm approach [35]. Very recently, as the rapid developments of the linear matrix inequality [36–38] technique, this approach has been explored to settle the model reduction problem for different classes of systems in effect, involving time-delay systems [28], switched hybrid systems [30], and Markovian jump systems [39]. However, to the best of the authors' knowledge, few results on - model reduction for nonlinear uncertain systems described in the T-S fuzzy framework are available, and it still remains challenging. Thus, research in this area should be of both theoretical and practical importance, which motivates us to carry out the present work.

In this work, the - model simplification problem is investigated for a class of nonlinear uncertain systems in the T-S fuzzy framework. For a given stable T-S fuzzy uncertain system, our attention is focused on the construction of reduced-order model, which approximates the original high-order system well in an - error performance level . The rest of this paper is organized as follows. The problem formulation and some preliminaries are presented in Section 2. - performance analysis and - model reduction are given in Sections 3 and 4, respectively. A numerical example is provided in Section 5 and we conclude this paper in Section 6.

Notations. “” stands for matrix transposition; denotes the -dimensional Euclidean space; the notation means that is real symmetric and positive definite; and represent the identity matrix and a zero matrix, respectively; stands for a block-diagonal matrix; denotes the Euclidean norm of a vector and its induced norm of a matrix; and the signals that are square integrable over are denoted by with the norm . In symmetric block matrices, we use an asterisk () to represent a term that is induced by symmetry. Matrices, if their dimensions are not explicitly stated, are assumed to be compatible for algebraic operations.

2. Problem Formulation and Preliminaries

In this paper, we consider a class of uncertain nonlinear systems which can be described by the following T-S fuzzy uncertain model.

2.1. Plant Form

Rule i. IF is and is and and is , then where are the fuzzy sets; is the state vector; is the input which belongs to ; is the output; are matrices of compatible dimensions, is the number of IF-THEN rules, are the premise variables; and are time-varying matrices with appropriate dimensions, which are defined as follows: where , , , and are known constant real matrices of appropriate dimensions and is an unknown matrix function with Lebesgue-measurable elements and satisfies

It is assumed that the premise variables do not depend on the input variables . Given a pair of , the output of the T-S fuzzy systems with uncertainty is inferred as follows: with where is the grade of membership of in . Suppose that for all . Therefore, for and for all .

Here, the system in (4) is approximated by a reduced-order uncertain system described by where is the state vector of the reduced-order system () with ; it is assumed that and are time-varying matrices and have the structure of with being feasible. This assumption means that the uncertainties in both the original models and reduced order models should come from the same sources but with the different weighting matrices and . , , , , , and are appropriately dimensioned matrices to be determined later.

Augmenting the model in (4) to include the states in (6), we obtain the following error system as where , , and Define where Before proceeding, we introduce the following definitions, which will be of help in deriving our main results in the sequel.

Definition 1. The equilibrium of T-S fuzzy uncertain system in (8) with is asymptotically stable if its solution satisfies

Definition 2. Given a scalar , the T-S fuzzy uncertain system in (8) is asymptotically stable with an - performance level if it is asymptotically stable when and, under zero initial condition and for all nonzero , the following holds:

Therefore, the - model reduction problem addressed in this paper can be formulated as follows: given the high-order T-S fuzzy uncertain system in (4) and a scalar , determine a reduced-order uncertain model in (6) such that the resulting error system in (8) is asymptotically stable with an - performance level .

3. Performance Analysis

Firstly, we investigate the asymptotic stability and - performance of the error system in (8) and have the following result.

Theorem 3. Given a scalar , the error system in (8) is asymptotically stable with an - performance level if there exists matrix such that for ,

Proof. Choose a Lyapunov function as Along the trajectories of the error system in (8), and considering the differential of the Lyapunov function in (16), we have Therefore, when assuming the zero input, that is, , we have from (17) that Inequality (14) implies that by Schur complement, and thus . This implies that the error system in (8) with is asymptotically stable.
Now, we will establish the - performance for the error system in (8). Assume zero initial condition, we have where Considering (14) and (19), we have Thus, integrating both sides of (21) from zero to , we get Considering the zero initial condition and (16), we have Then, based on (15) and Schur complement, we have Combining (23) and (24) together, we have The proof is completed.

Based on the obtained result in Theorem 3, we will present the method to solve the - model approximation for the T-S fuzzy uncertain system in (4) by the convex linearization procedure.

4. Model Reduction

In this section, we are ready to give a solution to the model reduction for the T-S fuzzy uncertain system in (4).

Theorem 4. Consider the continuous-time T-S fuzzy uncertain system in (4). There exists a reduced-order uncertain model in the form of (6) that solves the model reduction problem with (13) satisfied, if there exist matrices , , , , , , , , and such that for , where Moreover, if the above conditions are feasible, then the system matrices of an admissible reduced-order model in the form of (6) can be calculated from

Proof. According to Theorem 3, is nonsingular since . Now, partition as where and are symmetric positive definite matrices, , and . Without loss of generality, we assume that is nonsingular. To see this, let the matrix , where is a positive scalar and Observe that since , we have that for in the neighborhood of the origin. Thus, it can be easily verified that there exists an arbitrarily small such that is nonsingular and (14)-(15) are feasible with replaced by . Since is nonsingular, we thus conclude that there is no loss of generality to assume the matrix to be nonsingular.
Define the following matrices which are also nonsingular: Performing a congruence transformation to (14) and (15) by and , respectively, we obtain where Considering (36), we can obtain (26)-(27) from (34)-(35), respectively. Moreover, notice that (33) is equivalent to Notice also that the matrices , , , , , and in (6) can be written as (37), which implies that can be viewed as a similarity transformation on the state-space realization of the filter and, as such, has no effect on the filter mapping from to . Without loss of generality, we may set , thus obtaining (29). Therefore, the filter () in (6) can be constructed by (29). This completes the proof.

Remark 5. Notice that the obtained conditions in Theorem 4 are all in linear matrix inequalities form; the fuzzy-rule-independent - model simplification can be determined by solving the following convex optimization problem:

5. Illustrative Example

Consider the continuous-time nonlinear uncertain system. The T-S fuzzy model of this nonlinear uncertain system is presented as follows.

5.1. Plant Form

Rule 1. IF is , then

Rule 2. IF is , then where Here, we are interested in finding reduced-order systems (Case 1: ; Case 2: ; Case 3: ) in the form of () in (6) to approximate the above system in an - sense by using the convex linearization. Solving the (26)–(29) in Theorem 4, we have the results for different cases shown as follows.

Case 1. with , the minimum is and

Case 2. with , the minimum is and

Case 3. with , the minimum is and

In Table 1, the achieved for different cases can be arranged by solving the convex optimization problem, as discussed in Remark 5.

In addition, to show the model reduction performances of the obtained reduced-order systems, let the initial condition be zero, that is, (, ), and suppose the membership functions to be which are shown in Figure 1, and the exogenous input is Figure 2 shows the outputs of the original system (39)-(40) (black line), the third-order reduced model (43) (red line), the second-order reduced model (45) (blue line), and the first-order reduced model (47) (green line) due to the above input signal. The output errors between the original system and the reduced models are shown in Figure 3.

6. Conclusions

In this paper, the - model reduction problem has been solved for T-S fuzzy uncertain systems by employing the convex linearization approach. Sufficient conditions of T-S fuzzy uncertain system have been proposed for the asymptotic stability with an - performance of the approximation error. The corresponding solvability conditions for the reduced-order models by using the convex linearization approach have been derived. The presented numerical example has shown the utility of the proposed model approximation method. This paper talks about the model reduction problem for nonlinear systems by employing the convex linearization approach. In order to achieve more practical oriented results, further work could be considered under data-driven (measurements) framework [40, 41]. The future topics, for examlpe, control [42] and fault tolerant scheme [43] in the identical framework seem more interesting from both academic and industrial domains.

Conflict of Interests

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

Acknowledgment

This work was partly supported in part by the National Natural Science Foundation of China under Grant (61203035) and by the Polish-Norwegian Research Programme operated by the National Centre for Research and 24 Development under the Norwegian Financial Mechanism 2009–2014 in the frame of Project Contract No. Pol-Nor/200957/47/2013.

References

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
H. Gao, X. Liu, and J. Lam, “Stability analysis and stabilization for discrete-time fuzzy systems with time-varying delay,” IEEE Transactions on Systems, Man, and Cybernetics B: Cybernetics, vol. 39, no. 2, pp. 306–317, 2009.
View at: Publisher Site | Google Scholar
H. Li, J. Yu, C. Hilton, and H. Liu, “Adaptive sliding mode control for nonlinear active suspension systems using T-S fuzzy model,” IEEE Transactions on Industrial Electronics, vol. 60, no. 8, pp. 3328–3338, 2013.
View at: Publisher Site | Google Scholar
Y. Zhao, H. Gao, J. Lam, and B. Du, “Stability and stabilization of delayed T-S fuzzy systems: a delay partitioning approach,” IEEE Transactions on Fuzzy Systems, vol. 17, no. 4, pp. 750–762, 2009.
View at: Publisher Site | Google Scholar
X. Zhao, L. Zhang, P. Shi, and H. R. Karimi, “Novel stability criteria for T-S fuzzy systems,” IEEE Transactions on Fuzzy Systems, vol. 22, no. 2, pp. 313–323, 2014.
View at: Publisher Site | Google Scholar
Z. Wang, D. W. C. Ho, and X. Liu, “A note on the robust stability of uncertain stochastic fuzzy systems with time-delays,” IEEE Transactions on Systems, Man, and Cybernetics A: Systems and Humans, vol. 34, no. 4, pp. 570–576, 2004.
View at: Publisher Site | Google Scholar
H. Zhang, X. Zhang, and J. Wang, “Robust gain-scheduling energy-to-peak control of vehicle lateral dynamics stabilisation,” Vehicle System Dynamics, vol. 52, no. 3, pp. 1–32, 2014.
View at: Publisher Site | Google Scholar
M. Chadli and H. R. Karimi, “Robust observer design for unknown inputs Takagi-Sugeno models,” IEEE Transactions on Fuzzy Systems, vol. 21, no. 1, pp. 158–164, 2013.
View at: Publisher Site | Google Scholar
H. Li, H. Liu, H. Gao, and P. Shi, “Reliable fuzzy control for active suspension systems with actuator delay and fault,” IEEE Transactions on Fuzzy Systems, vol. 20, no. 2, pp. 342–357, 2012.
View at: Publisher Site | Google Scholar
X. Su, P. Shi, L. Wu, and Y. D. Song, “A novel control design on discrete-time Takagi-Sugeno fuzzy systems with time-varying delays,” IEEE Transactions on Fuzzy Systems, vol. 21, no. 4, pp. 655–671, 2013.
View at: Google Scholar
H. Li, X. Jing, H. K. Lam, and P. Shi, “Fuzzy sampled-data control for uncertain vehicle suspension systems,” IEEE Transactions on Cybernetics, no. 99, 2013.
View at: Publisher Site | Google Scholar
Y. Zhang, C. Liu, and H. R. Karimi, “Comments on ‘Finite-time $ℋ_{\infty}$ fuzzy control of nonlinear jump systems with time delays via dynamic observer-based state feedback’,” IEEE Transactions on Fuzzy Systems, vol. 22, no. 1, pp. 230–233, 2014.
View at: Publisher Site | Google Scholar
T. Youssef, M. Chadli, H. R. Karimi, and M. Zelmat, “Design of unknown inputs proportional integral observers for T-S fuzzy models,” Neurocomputing, vol. 123, pp. 156–165, 2014.
View at: Publisher Site | Google Scholar
L. Zhao, H. Gao, and H. R. Karimi, “Robust stability and stabilization of uncertain T-S fuzzy systems with time-varying delay: an input-output approach,” IEEE Transactions on Fuzzy Systems, vol. 21, no. 5, pp. 883–897, 2013.
View at: Publisher Site | Google Scholar
H. Li, Y. Pan, and Q. Zhou, “Filter design for interval type-2 fuzzy systems with D stability constraints under a unified frame,” IEEE Transactions on Fuzzy Systems, no. 99, 2014.
View at: Publisher Site | Google Scholar
H. Dong, Z. Wang, D. W. C. Ho, and H. Gao, “Robust $ℋ_{\infty}$ fuzzy output-feedback control with multiple probabilistic delays and multiple missing measurements,” IEEE Transactions on Fuzzy Systems, vol. 18, no. 4, pp. 712–725, 2010.
View at: Publisher Site | Google Scholar
H. Zhang, Y. Shi, and J. Wang, “Observer-based tracking controller design for networked predictive control systems with uncertain Markov delays,” International Journal of Control, vol. 86, no. 10, pp. 1824–1836, 2013.
View at: Publisher Site | Google Scholar | MathSciNet
M. Chadli and T. M. Guerra, “LMI solution for robust static output feedback control of discrete Takagi–Sugeno fuzzy models,” IEEE Transactions on Fuzzy Systems, vol. 20, no. 6, pp. 1160–1165, 2012.
View at: Publisher Site | Google Scholar
X. Su, L. Wu, and P. Shi, “Senor networks with random link failures: distributed filtering for T-S fuzzy systems,” IEEE Transactions on Industrial Informatics, vol. 9, no. 3, pp. 1739–1750, 2013.
View at: Google Scholar
X. Su, P. Shi, L. Wu, and S. K. Nguang, “Induced $ℒ_{2}$ filtering of fuzzy stochastic systems with time-varying delays,” IEEE Transactions on Cybernetics, vol. 43, no. 4, pp. 1251–1264, 2013.
View at: Google Scholar
H. Dong, Z. Wang, and H. Gao, “Robust $ℋ_{\infty}$ filtering for a class of nonlinear networked systems with multiple stochastic communication delays and packet dropouts,” IEEE Transactions on Signal Processing, vol. 58, no. 4, pp. 1957–1966, 2010.
View at: Publisher Site | Google Scholar | MathSciNet
Y. Zhao, J. Lam, and H. Gao, “On energy-to-peak filtering for nonuniformly sampled nonlinear systems: a Markovian jump system approach,” IEEE Transactions on Fuzzy Systems, vol. 22, no. 1, pp. 212–222, 2013.
View at: Google Scholar
H. Zhang, A. S. Mehr, and Y. Shi, “Improved robust energy-to-peak filtering for uncertain linear systems,” Signal Processing, vol. 90, no. 9, pp. 2667–2675, 2010.
View at: Publisher Site | Google Scholar
L. Wu and D. W. C. Ho, “Fuzzy filter design for Itô stochastic systems with application to sensor fault detection,” IEEE Transactions on Fuzzy Systems, vol. 17, no. 1, pp. 233–242, 2009.
View at: Publisher Site | Google Scholar
Y. Zhao, J. Lam, and H. Gao, “Fault detection for fuzzy systems with intermittent measurements,” IEEE Transactions on Fuzzy Systems, vol. 17, no. 2, pp. 398–410, 2009.
View at: Publisher Site | Google Scholar
H. Dong, Z. Wang, J. Lam, and H. Gao, “Fuzzy-model-based robust fault detection with stochastic mixed time delays and successive packet dropouts,” IEEE Transactions on Systems, Man, and Cybernetics B: Cybernetics, vol. 42, no. 2, pp. 365–376, 2012.
View at: Publisher Site | Google Scholar
J. Lam, H. Gao, S. Xu, and C. Wang, “ $H_{\infty}$ and $ℒ_{2}$ - $ℒ_{\infty}$ model reduction for system input with sector nonlinearities,” Journal of Optimization Theory and Applications, vol. 125, no. 1, pp. 137–155, 2005.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
Q. Wang, J. Lam, S. Xu, and H. Gao, “Delay-dependent and delay-independent energy-to-peak model approximation for systems with time-varying delay,” International Journal of Systems Science, vol. 36, no. 8, pp. 445–460, 2005.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
X. Su, L. Wu, P. Shi, and Y. D. Song, “ $ℋ_{\infty}$ model reduction of Takagi-Sugeno fuzzy stochastic systems,” IEEE Transactions on Systems, Man, and Cybernetics B: Cybernetics, vol. 42, no. 6, pp. 1574–1585, 2012.
View at: Publisher Site | Google Scholar
L. Wu and W. X. Zheng, “Weighted $ℋ_{\infty}$ model reduction for linear switched systems with time-varying delay,” Automatica, vol. 45, no. 1, pp. 186–193, 2009.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
L. Wu, X. Su, P. Shi, and J. Qiu, “Model approximation for discrete-time state-delay systems in the TS fuzzy framework,” IEEE Transactions on Fuzzy Systems, vol. 19, no. 2, pp. 366–378, 2011.
View at: Publisher Site | Google Scholar
S. Xu and T. Chen, “ $ℋ_{\infty}$ model reduction in the stochastic framework,” SIAM Journal on Control and Optimization, vol. 42, no. 4, pp. 1293–1309, 2003.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
W.-Y. Yan and J. Lam, “An approximate approach to $ℋ_{2}$ optimal model reduction,” IEEE Transactions on Automatic Control, vol. 44, no. 7, pp. 1341–1358, 1999.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
L. Zhang and J. Lam, “On $ℋ_{2}$ model reduction of bilinear systems,” Automatica, vol. 38, no. 2, pp. 205–216, 2002.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
H. Gao, J. Lam, C. Wang, and Q. Wang, “Hankel norm approximation of linear systems with time-varying delay: continuous and discrete cases,” International Journal of Control, vol. 77, no. 17, pp. 1503–1520, 2004.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
S. Boyd, L. El Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory, vol. 15 of SIAM Studies in Applied Mathematics, SIAM, Philadelphia, Pa, USA, 1994.
View at: Publisher Site | MathSciNet
P. Gahinet and P. Apkarian, “A linear matrix inequality approach to $ℋ_{\infty}$ control,” International Journal of Robust and Nonlinear Control, vol. 4, no. 4, pp. 421–448, 1994.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
H. Zhang, Y. Shi, A. Saadat Mehr, and H. Huang, “Robust FIR equalization for time-varying communication channels with intermittent observations via an LMI approach,” Signal Processing, vol. 91, no. 7, pp. 1651–1658, 2011.
View at: Publisher Site | Google Scholar
L. Zhang, B. Huang, and J. Lam, “ $ℒ_{2}$ gain analysis for switched systems with continuous-time and discrete-time subsystems,” International Journal of Control, vol. 78, no. 15, pp. 1198–1205, 2005.
View at: Publisher Site | Google Scholar
S. Yin, S. Ding, A. Haghani, H. Hao, and P. Zhang, “A comparison study of basic data-driven fault diagnosis and process monitoring methods on the benchmark Tennessee Eastman process,” Journal of Process Control, vol. 22, no. 9, pp. 1567–1581, 2012.
View at: Publisher Site | Google Scholar
S. Yin, S. X. Ding, A. H. A. Sari, and H. Hao, “Data-driven monitoring for stochastic systems and its application on batch process,” International Journal of Systems Science, vol. 44, no. 7, pp. 1366–1376, 2013.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
S. Yin, S. Ding, and H. Luo, “Real-time implementation of fault tolerant control system with performance optimization,” IEEE Transactions on Industrial Electronics, vol. 61, no. 5, pp. 2402–2411, 2013.
View at: Publisher Site | Google Scholar
S. Yin, X. Yang, and H. R. Karimi, “Data-driven adaptive observer for fault diagnosis,” Mathematical Problems in Engineering, vol. 2012, Article ID 832836, 21 pages, 2012.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet

Copyright

Copyright © 2014 Zhandong Yu 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.

PDF Download Citation

Download other formats

Order printed copies

Views

797

Downloads

885

Citations