Journal of Applied Mathematics

Volume 2012 (2012), Article ID 825416, 14 pages

doi:10.1155/2012/825416

Research Article

Robust Local Regularity and Controllability of Uncertain TS Fuzzy Descriptor Systems

Shinn-Horng Chen,¹ Wen-Hsien Ho,² and Jyh-Horng Chou1,3

¹Department of Mechanical/Electrical Engineering, National Kaohsiung University of Applied Sciences, 415 Chien-Kung Road, Kaohsiung 807, Taiwan

²Department of Healthcare Administration and Medical Informatics, Kaohsiung Medical University, 100 Shi-Chuan 1st Road, Kaohsiung 807, Taiwan

³Institute of System Information and Control, National Kaohsiung First University of Science and Technology, 1 University Road, Yenchao, Kaohsiung 824, Taiwan

Received 2 October 2012; Accepted 28 October 2012

Academic Editor: Jen Chih Yao

Copyright © 2012 Shinn-Horng Chen 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.

The robust local regularity and controllability problem for the Takagi-Sugeno (TS) fuzzy descriptor systems is studied in this paper. Under the assumptions that the nominal TS fuzzy descriptor systems are locally regular and controllable, a sufficient criterion is proposed to preserve the assumed properties when the structured parameter uncertainties are added into the nominal TS fuzzy descriptor systems. The proposed sufficient criterion can provide the explicit relationship of the bounds on parameter uncertainties for preserving the assumed properties. An example is given to illustrate the application of the proposed sufficient condition.

1. Introduction

Recently, it has been shown that the fuzzy-model-based representation proposed by Takagi and Sugeno [1], known as the TS fuzzy model, is a successful approach for dealing with the nonlinear control systems, and there are many successful applications of the TS-fuzzy-model-based approach to the nonlinear control systems (e.g., [2–19] and references therein). Descriptor systems represent a much wider class of systems than the standard systems [20]. In recent years, some researchers (e.g., [4–6, 8, 21–28] and references therein) have studied the design issue of the fuzzy parallel-distributed-compensation (PDC) controllers for each fuzzy rule of the TS fuzzy descriptor systems. Both regularity and controllability are actually two very important properties of descriptor systems with control inputs [29]. So, before the design of the fuzzy PDC controllers in the corresponding rule of the TS fuzzy descriptor systems, it is necessary to consider both properties of local regularity and controllability for each fuzzy rule [23]. However, both regularity and controllability of the TS fuzzy systems are not considered by those mentioned-above researchers before the fuzzy PDC controllers are designed. Therefore, it is meaningful to further study the criterion that the local regularity and controllability for each fuzzy rule of the TS fuzzy descriptor systems hold [30].

On the other hand, in fact, in many cases it is very difficult, if not impossible, to obtain the accurate values of some system parameters. This is due to the inaccurate measurement, inaccessibility to the system parameters, or variation of the parameters. These parametric uncertainties may destroy the local regularity and controllability properties of the TS fuzzy descriptor systems. But, to the authors’ best knowledge, there is no literature to study the issue of robust local regularity and controllability for the uncertain TS fuzzy descriptor systems.

The purpose of this paper is to present an approach for investigating the robust local regularity and controllability problem of the TS fuzzy descriptor systems with structured parameter uncertainties. Under the assumptions that the nominal TS fuzzy descriptor systems are locally regular and controllable, a sufficient criterion is proposed to preserve the assumed properties when the structured parameter uncertainties are added into the nominal TS fuzzy descriptor systems. The proposed sufficient criterion can provide the explicit relationship of the bounds on structured parameter uncertainties for preserving the assumed properties. A numerical example is given in this paper to illustrate the application of the proposed sufficient criterion.

2. Robust Local Regularity and Controllability Analysis

Based on the approach of using the sector nonlinearity in the fuzzy model construction, both the fuzzy set of premise part and the linear dynamic model with parametric uncertainties of consequent part in the exact TS fuzzy control model with parametric uncertainties can be derived from the given nonlinear control model with parametric uncertainties [5]. The TS continuous-time fuzzy descriptor system with parametric uncertainties for the nonlinear control system with structured parametric uncertainties can be obtained as the following form:

or the uncertain discrete-time TS fuzzy descriptor system can be described by

with the initial state vector , where denotes the th implication, is the number of fuzzy rules, and denote the -dimensional state vectors, and denote the -dimensional input vectors, are the premise variables, , , and are, respectively, the , and consequent constant matrices, and are, respectively, the parametric uncertain matrices existing in the system matrices and the input matrices of the consequent part of the th rule due to the inaccurate measurement, inaccessibility to the system parameters, or variation of the parameters, and and are the fuzzy sets. Here the matrices may be singular matrices with . In many applications, the matrices are the structure information matrices; rather than parameter matrices, that is, the elements of contain only structure information regarding the problem considered.

In many interesting problems (e.g., plant uncertainties, constant output feedback with uncertainty in the gain matrix), we have only a small number of uncertain parameters, but these uncertain parameters may enter into many entries of the system and input matrices [31, 32]. Therefore, in this paper, we suppose that the parametric uncertain matrices and take the forms

where and are the elemental parametric uncertainties, and and and are, respectively, the given and constant matrices which are prescribed a priori to denote the linearly dependent information on the elemental parametric uncertainties .

In this paper, for the uncertain TS fuzzy descriptor system in (2.1) (or (2.2)), each fuzzy-rule-nominal model or , which is denoted by , is assumed to be regular and controllable. Due to inevitable uncertainties, each fuzzy-rule-nominal model is perturbed into the fuzzy-rule-uncertain model . Our problem is to determine the conditions such that each fuzzy-uncertain model for the uncertain TS fuzzy descriptor system (2.1) (or (2.2)) is robustly locally regular and controllable. Before we investigate the robust properties of regularity and controllability for the uncertain TS fuzzy descriptor system (2.1) (or (2.2)), the following definitions and lemmas need to be introduced first.

Definition 2.1 (see [33]). The measure of a matrix is defined as

where is the induced matrix norm on .

Definition 2.2 (see [34]). The system is called controllable, if for any (or ), , and , there exists a control input (or ) such that (or ).

Definition 2.3. The uncertain TS fuzzy descriptor system in (2.1) (or (2.2)) is locally regular, if each fuzzy-rule-uncertain model is regular.

Definition 2.4. The uncertain TS fuzzy descriptor system in (2.1) (or (2.2)) is locally controllable, if each fuzzy-rule-uncertain model is controllable.

Lemma 2.5 (see [34]). The system is regular if and only if , where and are given by

Lemma 2.6 (see [29, 35]). Suppose that the system is regular. The system is controllable if and only if and , where is given in (2.5) and .

Lemma 2.7 (see [33]). The matrix measures of the matrices and , namely, and , are well defined for any norm and have the following properties:

(i), for the identity matrix ;(ii), for any and any matrix ;(iii), for any two matrices ;(iv), for any matrix and any non-negative real number ,

where denotes any eigenvalue of  , and denotes the real part of .

Lemma 2.8. For any and any matrix .

Proof. This lemma can be immediately obtained from the property (iv) in Lemma 2.7.

Lemma 2.9. Let . If , then .

Proof. From the property (ii) in Lemma 2.7 and since , we can get that . This implies that . So, we have the stated result.

Now, let the singular value decompositions of , and be, respectively,

where and are the unitary matrices, , and are the singular values of and are the unitary matrices, and are the singular values of and are the unitary matrices, and are the singular values of , , and denote, respectively, the complex-conjugate transposes of the matrices , , and .

In what follows, with the preceding definitions and lemmas, we present a sufficient criterion for ensuring that the uncertain TS fuzzy descriptor system in (2.1) or (2.2) remains locally regular and controllable.

Theorem 2.10. Suppose that the each fuzzy-rule-nominal descriptor system is regular and controllable. The uncertain TS fuzzy descriptor system in (2.1) (or (2.2)) is still locally regular and controllable (i.e., each fuzzy-rule-uncertain descriptor system remains regular and controllable), if the following conditions simultaneously hold

where , and :

the matrices , ,, , ,, , , and are, respectively, defined in (2.6)–(2.8), and denotes the identity matrix.

Proof. Firstly, we show the regularity. Since each fuzzy-rule-nominal descriptor system    is regular, then, from Lemma 2.5, we can get that the matrix has full row rank (i.e., ). With the uncertain matrices and , each fuzzy-rule-uncertain descriptor system is regular if and only if

has full row rank, where and .

Thus, instead of , we can discuss the rank of

where , for and . Since a matrix has at least rank  if it has at least one nonsingular submatrix, a sufficient condition for the matrix in (2.13) to have rank  is the nonsingularity of

where (for and ).

Using the properties in Lemmas 2.7 and 2.8 and from (2.9a), we get

From Lemma 2.9, we have that

Hence, the matrix in (2.14) is nonsingular. That is, the matrix in (2.11) has full row rank . Thus, from the Lemma 2.5, the regularity of each fuzzy-rule-uncertain descriptor system is ensured.

Next, we show the controllability. Since each fuzzy-rule-nominal descriptor system is controllable, then from Lemma 2.6, we have that the matrix has full row rank (i.e., ) and has full row rank (i.e., ). With the uncertain matrices and , each fuzzy-rule-uncertain descriptor system is controllable if and only if

have full row rank, where

and .

It is known that

Thus, instead of , we can discuss the rank of

where , for and . Since a matrix has at least rank if it has at least one nonsingular submatrix, a sufficient condition for the matrix in (2.21) to have rank  is the nonsingularity of

where (for and ).

Applying the properties in Lemmas 2.7 and 2.8 and from (2.9b), we get

From Lemma 2.9, we have that

Hence, the matrix in (2.22) is nonsingular. That is, the matrix in (2.17) has full row rank .

And then, it is also known that

Thus, instead of , we can discuss the rank of

where , for and . Since a matrix has at least rank if it has at least one nonsingular submatrix, a sufficient condition for the matrix in (2.26) to have rank  is the nonsingularity of

where (for and ).

Adopting the properties in Lemmas 2.7 and 2.8 and from (2.9c), we obtain

From Lemma 2.9, we get that

Hence, the matrix in (2.27) is nonsingular. That is, the matrix in (2.18) has full row rank . Thus, from the Lemma 2.6 and the results mentioned above, the controllability of each fuzzy-rule-uncertain descriptor system is ensured. Therefore, we can conclude that the uncertain TS fuzzy descriptor system in (2.1) (or (2.2)) is locally regular and controllable, if the inequalities (2.9a), (2.9b), and (2.9c) are simultaneously satisfied. Thus, the proof is completed.

Remark 2.11. The proposed sufficient conditions in (2.9a)–(2.9c) can give the explicit relationship of the bounds on and for preserving both regularity and controllability. In addition, the bounds, that are obtained by using the proposed sufficient conditions, on are not necessarily symmetric with respect to the origin of the parameter space regarding and .

Remark 2.12. This paper studies the problem of robust local regularity and controllability analysis. If the proposed conditions in (2.9a)–(2.9c) are satisfied, each rule of the uncertain TS fuzzy descriptor system is guaranteed to be robustly locally regular and controllable. This implies that, in the fuzzy PDC controller design, if the proposed conditions in (2.9a)–(2.9c) are satisfied, the PDC controller of each fuzzy rule can control every state variable in the corresponding rule of the uncertain TS fuzzy descriptor system . However, here, it should be noticed that although the PDC controller of each control rule can control every state variable in the corresponding rule under the presented conditions being held, the PDC controller gains should be determined using global design criteria that are needed to guarantee the global stability and control performance [5], where many useful global design criteria have been proposed by some researchers (e.g., [4-6, 8, and 21-28] and references therein).

3. Illustrative Example

Consider a two-rule fuzzy descriptor system as that considered by Wang et al. [21]. The TS fuzzy descriptor system with the elemental parametric uncertainties is described by

where

Now, applying the sufficient conditions in (2.9a)–(2.9c) with the two-norm-based matrix measure, we can get the following:

(I)for the fuzzy rule 1:

From the results in (3.3a)–(3.3h) and (3.4a)–(3.4h), we can conclude that the uncertain TS fuzzy descriptor system (3.1a) and (3.1b) is locally robustly regular and controllable.

4. Conclusions

The robust local regularity and controllability problem for the uncertain TS fuzzy descriptor systems has been investigated. The rank preservation problem for robust local regularity and controllability of the uncertain TS fuzzy descriptor systems is converted to the nonsingularity analysis problem. Under the assumption that each fuzzy rule of the nominal TS fuzzy descriptor system has the full row rank for its related regularity and controllability matrices, a sufficient criterion has been proposed to preserve the assumed properties when the elemental parameter uncertainties are added into the nominal TS fuzzy descriptor systems. The proposed sufficient conditions in (2.9a)–(2.9c) can provide the explicit relationship of the bounds on elemental parameter uncertainties for preserving the assumed properties. One example has been given to illustrate the application of the proposed sufficient conditions. On the other hand, the issue of robust global regularity and controllability with evolutionary computation [36] for the uncertain TS fuzzy descriptor systems will be an interesting and important topic for further research.

Acknowledgment

This work was in part supported by the National Science Council, Taiwan, under Grants nos. NSC 100-2221-E-151-009, NSC 101-2221-E-151-076, and NSC 101-2320-B-037-022.

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.

R. Babuska, Fuzzy Modeling for Control, Kluwer, Boston, Mass, USA, 1998.

S. S. Farinwata, D. Filev, and R. Langari, Fuzzy Control: Synthesis and Analysis, John Wiley & Sons, Chichester, UK, 2000.

T. Taniguchi, K. Tanaka, and H. O. Wang, “Fuzzy descriptor systems and nonlinear model following control,” IEEE Transactions on Fuzzy Systems, vol. 8, no. 4, pp. 442–452, 2000.

K. Tanaka and H. O. Wang, Fuzzy Control Systems Design and Analysis: A Linear Matrix Inequality Approach, John Wiley & Sons, New York, NY, USA, 2001.

Y. Wang, Q. L. Zhang, and W. Q. Liu, “Stability analysis and design for T-S fuzzy descriptor systems,” in Proceedings of the 40th IEEE Conference on Decision and Control (CDC '01), pp. 3962–3967, Orlando, Fla, USA, December 2001.

S. C. Tong, T. Wang, Y. P. Wang, and J. T. Tang, Design and Stability Analysis of Fuzzy Control Systems, Science Press, Beijing, China, 2004.

Y. Wang, Z. Q. Sun, and F. C. Sun, “Robust fuzzy control of a class of nonlinear descriptor systems with time-varying delay,” International Journal of Control, Automation and Systems, vol. 2, no. 1, pp. 76–82, 2004.

T.-S. Lee, Y.-H. Chen, and J. C.-H. Chuang, “Robust control design of fuzzy dynamical systems,” Applied Mathematics and Computation, vol. 164, no. 2, pp. 555–572, 2005.

J. S. Ren and Y. S. Yang, “Robust control of chaotic system based on T-S fuzzy model,” Systems Engineering and Electronics, vol. 27, no. 3, pp. 474–478, 2005.

K. Y. Lian, J. J. Liou, and C. Y. Huang, “LMI-based integral fuzzy control of DC-DC converters,” IEEE Transactions on Fuzzy Systems, vol. 14, no. 1, pp. 71–80, 2006.

Z. Li, Fuzzy Chaotic Systems: Modeling, Control and Applications, Springer, Berlin, Germany, 2006.

W. H. Ho and J. H. Chou, “Design of optimal controllers for Takagi-Sugeno fuzzy-model-based systems,” IEEE Transactions on Systems, Man, and Cybernetics Part A, vol. 37, no. 3, pp. 329–339, 2007.

W. H. Ho, J. T. Tsai, and J. H. Chou, “Robust-stable and quadratic-optimal control for TS-fuzzy-model-based control systems with elemental parametric uncertainties,” IET Control Theory and Applications, vol. 1, no. 3, pp. 731–742, 2007.

M. R. Hsu, W. H. Ho, and J. H. Chou, “Stable and quadratic optimal control for TS fuzzy-model-based time-delay control systems,” IEEE Transactions on Systems, Man, and Cybernetics Part A, vol. 38, no. 4, pp. 933–944, 2008.

W. H. Ho, J. T. Tsai, and J. H. Chou, “Robust quadratic-optimal control of TS-fuzzy-model-based dynamic systems with both elemental parametric uncertainties and norm-bounded approximation error,” IEEE Transactions on Fuzzy Systems, vol. 17, no. 3, pp. 518–531, 2009.

Z. Hidayat, Z. Lendek, R. Babuška, and B. De Schutter, “Fuzzy observer for state estimation of the METANET traffic model,” in Proceedings of the 13th International IEEE Conference on Intelligent Transportation Systems (ITSC '10), pp. 19–24, Funchal, Portugal, September 2010.

C. W. Chen, “Stability analysis and robustness design of nonlinear systems: an NN-based approach,” Applied Soft Computing Journal, vol. 11, no. 2, pp. 2735–2742, 2011.

W. H. Ho, “Takagi-Sugeno fuzzy model of nonlinear HIV dynamics: chebyshev-series approach integrated with genetic algorithm,” International Journal of Innovative Computing Information and Control, vol. 8, pp. 1439–1452, 2012.

G. C. Verghese, B. C. Lévy, and T. Kailath, “A generalized state-space for singular systems,” IEEE Transactions on Automatic Control, vol. 26, no. 4, pp. 811–831, 1981.

Y. Wang, Q. L. Zhang, and X. D. Liu, “Robustness design of uncertain discrete-time fuzzy descriptor systems with guaranteed admissibility,” in Proceedings of the American Control Conference, pp. 1699–1704, Anchorage, Alaska, USA, May 2002.

S.-W. Kau, Y.-S. Liu, C.-H. Lee, L. Hong, and C.-H. Fang, “Static output feedback fuzzy controller design for T-S fuzzy descriptor systems,” International Journal of Fuzzy Systems, vol. 6, no. 4, pp. 187–193, 2004.

B. Y. Zhu, Q. L. Zhang, and K. N. Da, “State feedback robust control for T-S fuzzy descriptor systems,” Journal of Northeastern University. Natural Science, vol. 25, no. 5, pp. 453–456, 2004.

X. Shi and Z. W. Gao, “Stability analysis for fuzzy descriptor systems,” Systems Engineering and Electronics, vol. 27, no. 6, pp. 1087–1089, 2005.

B.-Y. Zhu, Q.-L. Zhang, and S.-C. Tong, “Passivity control for uncertain T-S fuzzy descriptor systems,” Acta Automatica Sinica, vol. 32, no. 5, pp. 674–679, 2006.

K. Tanaka, H. Ohtake, and H. O. Wang, “A descriptor system approach to fuzzy control system design via fuzzy Lyapunov functions,” IEEE Transactions on Fuzzy Systems, vol. 15, no. 3, pp. 333–341, 2007.

W. H. Tian and H. G. Zhang, “Optimal guaranteed cost control of uncertain fuzzy descriptor systems with time-varying delay,” Journal of Northeastern University, vol. 29, no. 4, pp. 464–468, 2008.

J. R. Wu, “The generalized quadratically stability for a fuzzy descriptor system,” in Proceedings of the International Conference on Machine Learning and Cybernetics, pp. 855–859, Baoding, China, July 2009.

L. Dai, Singular Control Systems, vol. 118, Springer, Berlin, Germany, 1989.

Y. H. Yuan and G. M. Zhang, “Research on T-S fuzzy descriptor systems: a review,” Acta Automatica Sinica, vol. 36, no. 7, pp. 901–911, 2010.

J. Chen and Z. Ren, “A comparison of small gain versus Lyapunov type robust stability bounds,” International Journal of Robust and Nonlinear Control, vol. 11, no. 15, pp. 1407–1414, 2001.

C. H. Hsieh and J. H. Chou, “Robust stability analysis of TS-fuzzy-model-based control systems with both elemental parametric uncertainties and norm-bounded approximation error,” JSME International Journal, Series C, vol. 47, no. 2, pp. 686–693, 2004.

C. A. Desoer and M. Vidyasagar, Feedback Systems: Input-Output Properties, Academic Press, New York, NY, USA, 1975.

E. L. Yip and R. F. Sincovec, “Solvability, controllability, and observability of continuous descriptor systems,” IEEE Transactions on Automatic Control, vol. 26, no. 3, pp. 702–707, 1981.

D. Cobb, “Controllability, observability, and duality in singular systems,” IEEE Transactions on Automatic Control, vol. 29, no. 12, pp. 1076–1082, 1984.

W.-H. Ho, J.-H. Chou, and C.-Y. Guo, “Parameter identification of chaotic systems using improved differential evolution algorithm,” Nonlinear Dynamics, vol. 61, no. 1-2, pp. 29–41, 2010.