A necessary and sufficient minimality condition for uncertain systems

A necessary and sufficient condition is given for the exact reduction of systems modeled by linear fractional transformations (LFTs) on structured operator sets. This condition is based on the existence of a rank-deficient solution to either of a pair of linear matrix inequalities which generalize Lyapunov equations; the notion of Gramians is thus also generalized to uncertain systems, as well as Kalman-like decomposition structures. A related minimality condition, the converse of the reducibility condition, may then be inferred from these results and the equivalence class of all minimal LFT realizations defined. These results comprise the first stage of a complete generalization of realization theory concepts to uncertain systems. Subsequent results, such as the definition of and rank tests on structured controllability and observability matrices are also given. The minimality results described are applicable to multidimensional system realizations as well as to uncertain systems; connections to formal powers series representations also exist.

[1]  P. Gahinet,et al.  A convex characterization of gain-scheduled H∞ controllers , 1995, IEEE Trans. Autom. Control..

[2]  N. Bose.  Applied multidimensional systems theory , 1982 .

[3]  Richard D. Braatz,et al.  Computational Complexity of , 2007 .

[4]  Carolyn L. Beck,et al.  Model reduction of multidimensional and uncertain systems , 1994, IEEE Trans. Autom. Control..

[5]  M. Morari,et al.  Computational complexity of μ calculation , 1994, IEEE Trans. Autom. Control..

[6]  Stephen P. Boyd,et al.  Linear Matrix Inequalities in Systems and Control Theory , 1994 .

[7]  Fernando Paganini-Herrera.  Sets and constraints in the analysis of uncertain systems , 1996 .

[8]  Carolyn L. Beck,et al.  Realizations of uncertain systems and formal power series , 1995, Proceedings of 1995 American Control Conference - ACC'95.

[9]  Kemin Zhou,et al.  Stabilization of uncertain linear systems: an LFT approach , 1996, IEEE Trans. Autom. Control..

[10]  Andrew Packard,et al.  The complex structured singular value , 1993, Autom..

[11]  G. Scorletti,et al.  Improved linear matrix inequality conditions for gain scheduling , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[12]  Carolyn L. Beck.  Minimality for uncertain systems and IQCs , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[13]  Carolyn L. Beck,et al.  On the role of LFT model reduction methods in robust controller synthesis for a pressurized water reactor , 1999, IEEE Trans. Control. Syst. Technol..

[14]  O. Toker,et al.  Complexity Issues in System Theory and Solution Procedures for Certain Robust Control Problems , 1995 .

[15]  N. Bose.  Multidimensional Systems Theory , 1985 .

[16]  J. Shamma.  Robust stability with time-varying structured uncertainty , 1994, IEEE Trans. Autom. Control..

[17]  Geir E. Dullerud.  Control of Uncertain Sampled-Data Systems , 1995 .

[18]  J. Doyle,et al.  Robust and optimal control , 1995, Proceedings of 35th IEEE Conference on Decision and Control.

[19]  M. Safonov.  Stability margins of diagonally perturbed multivariable feedback systems , 1981, 1981 20th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

[20]  R.R. Mohler,et al.  Stability and robustness of multivariable feedback systems , 1981, Proceedings of the IEEE.

[21]  R. D'Andrea,et al.  Kalman decomposition of linear fractional transformation representations and minimality , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[22]  Michael G. Safonov,et al.  Stability and Robustness of Multivariable Feedback Systems , 1980 .

[23]  C. Beck,et al.  Computational study and comparisons of LFT reducibility methods , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[24]  C. Beck,et al.  Minimality, controllability and observability for uncertain systems , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[25]  A. Megretski.  Necessary and sufficient conditions of stability: a multiloop generalization of the circle criterion , 1993, IEEE Trans. Autom. Control..

[26]  Fernando Paganini,et al.  Analysis of implicitly defined systems , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[27]  Peter M. Young,et al.  Robustness with parametric and dynamic uncertainty , 1993 .

[28]  Yung Kuan. Foo.  Robustness of multivariable feedback systems , 1985 .

[29]  Geir E. Dullerud.  Uncertain Sampled-data Systems , 1996 .

[30]  C. Beck,et al.  Model reduction methods for unstable uncertain systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[31]  Carolyn L. Beck.  Model reduction and minimality for uncertain systems , 1997 .

[32]  A. Packard.  Gain scheduling via linear fractional transformations , 1994 .

[33]  Alan J. Laub,et al.  The LMI control toolbox , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[34]  P. Gahinet,et al.  A Convex Characterization of Gain-Scheduled H-Infinity Controllers (Vol 40, Pg 853, 1995) , 1995 .

[35]  John C. Doyle.  Analysis of Feedback Systems with Structured Uncertainty , 1982 .