On the balanced truncation and coprime factors reduction of Markovian jump linear systems

Abstract The paper deals with the balanced truncation and coprime factors reduction of Markovian jump linear (MJL) systems, which can have mode-varying state, input, and output dimensions. We develop machinery for balancing mean square stable MJL system realizations using generalized Gramians and strict Lyapunov inequalities, and provide an improved a priori upper bound on the error induced in the balanced truncation process. We also generalize the coprime factors reduction method and, in doing so, extend the applicability of the balanced truncation technique to the class of mean square stabilizable and detectable MJL systems. We provide tools to establish mean square stabilizability and detectability of the considered MJL systems. In addition, a notion of right-coprime factorization of MJL systems and methods to construct such factorizations are given. The error measure in the coprime factors reduction approach, while still norm-based, does not directly capture the mismatch between the nominal system and the reduced-order model, as is the case in the balanced truncation approach where mean square stable models are considered. Instead, the error measure is given in terms of the distance between the coprime factors realizations, and thus has an interpretation in terms of robust feedback stability. The paper concludes with an illustrative example which demonstrates how to apply the coprime factors model reduction approach.

[1]  Wilson J. Rugh,et al.  Mathematical Description of Linear Systems , 1976 .

[2]  D. Hinrichsen,et al.  An improved error estimate for reduced-order models of discrete-time systems , 1990 .

[3]  Carolyn L. Beck Coprime factors reduction methods for linear parameter varying and uncertain systems , 2006, Syst. Control. Lett..

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

[5]  B. Moore Principal component analysis in linear systems: Controllability, observability, and model reduction , 1981 .

[6]  A. Megretski,et al.  A Model Reduction Algorithm for Hidden Markov Models , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[7]  Yun-Chung Chu,et al.  Bounds of the induced norm and model reduction errors for systems with repeated scalar nonlinearities , 1999, IEEE Trans. Autom. Control..

[8]  K. Glover All optimal Hankel-norm approximations of linear multivariable systems and their L, ∞ -error bounds† , 1984 .

[9]  Munther A. Dahleh,et al.  Balanced Truncation for a Class of Stochastic Jump Linear Systems and Model Reduction for Hidden Markov Models , 2008, IEEE Transactions on Automatic Control.

[10]  R. Kálmán Mathematical description of linear dynamical systems , 1963 .

[11]  Kim-Chuan Toh,et al.  SDPT3 -- A Matlab Software Package for Semidefinite Programming , 1996 .

[12]  Geir E. Dullerud,et al.  Model Reduction of Nonstationary LPV Systems , 2007, IEEE Transactions on Automatic Control.

[13]  R. P. Marques,et al.  Robust H 2-control for discrete-time Markovian jump linear systems , 2000 .

[14]  R. P. Marques,et al.  Mixed H2/H∞-control of discrete-time Markovian jump linear systems , 1998, IEEE Trans. Autom. Control..

[15]  Carolyn L. Beck,et al.  Model reduction of behavioural systems , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[16]  E. Yaz Linear Matrix Inequalities In System And Control Theory , 1998, Proceedings of the IEEE.

[17]  D. Meyer Fractional balanced reduction: model reduction via fractional representation , 1990 .

[18]  Li Li Coprime Factor Model Reduction for Discrete-time Uncertain Systems , 2014 .

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

[20]  R. P. Marques,et al.  Discrete-Time Markov Jump Linear Systems , 2004, IEEE Transactions on Automatic Control.

[21]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .

[22]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[23]  Geir E. Dullerud,et al.  A stability and contractiveness analysis of discrete-time Markovian jump linear systems , 2007, Autom..

[24]  Fred C. Schweppe,et al.  Uncertain dynamic systems , 1973 .

[25]  E. Gilbert Controllability and Observability in Multivariable Control Systems , 1963 .

[26]  D. Enns Model reduction with balanced realizations: An error bound and a frequency weighted generalization , 1984, The 23rd IEEE Conference on Decision and Control.

[27]  Anders Rantzer,et al.  Balanced Truncation for Discrete Time Markov Jump Linear Systems , 2010, IEEE Transactions on Automatic Control.

[28]  Henrik Sandberg,et al.  Balanced truncation of linear time-varying systems , 2004, IEEE Transactions on Automatic Control.

[29]  Raja Sengupta,et al.  A bounded real lemma for jump systems , 2003, IEEE Trans. Autom. Control..

[30]  Sanjay Lall,et al.  Error-Bounds for Balanced Model-Reduction of , 2003 .

[31]  Johan Löfberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004 .

[32]  H. Chizeck,et al.  Controllability, observability and discrete-time markovian jump linear quadratic control , 1988 .

[33]  A. Varga Coprime factors model reduction method based on square-root balancing-free techniques , 1992 .

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