Model Reduction by Nice Selections for Linear Switched Systems

A moment-matching method for model reduction of linear switched systems (LSSs) is presented. The method can be seen as a non-trivial extension of the Krylov subspace methods for linear time-invariant (LTI) systems. The procedure is based on the so called “nice selections,” which represent a choice of basis in the reachability or observability space of the LSS. The framework can also be used for exact matching of the input-output behavior of an LSS with a reduced order LSS for a specific switching sequence. Conditions for applicability of the method for model reduction are stated and finally the results are illustrated on numerical examples.

[1]  Shuzhi Sam Ge,et al.  Switched Linear Systems , 2005 .

[2]  Zhaojun Bai,et al.  A projection method for model reduction of bilinear dynamical systems , 2006 .

[3]  Rafael Wisniewski,et al.  Model reduction of linear switched systems by restricting discrete dynamics , 2014, 53rd IEEE Conference on Decision and Control.

[4]  Mihaly Petreczky,et al.  Balanced truncation for linear switched systems , 2013 .

[5]  Ortwin Farle,et al.  A Posteriori Error Bounds for Krylov-Based Fast Frequency Sweeps of Finite-Element Systems , 2014, IEEE Transactions on Magnetics.

[6]  G. Flagg,et al.  Interpolation Methods for the Model Reduction of Bilinear Systems , 2012 .

[7]  Paulo Tabuada,et al.  Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .

[8]  Peng Shi,et al.  μ-Dependent model reduction for uncertain discrete-time switched linear systems with average dwell time , 2009, Int. J. Control.

[9]  Serkan Gugercin,et al.  Projection methods for model reduction of large-scale dynamical systems , 2003 .

[10]  Mihály Petreczky,et al.  Partial-realization theory for linear switched systems - A formal power series approach , 2011, Autom..

[11]  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.

[12]  Zhaojun Bai,et al.  Error bound for reduced system model by Pade approximation via the Lanczos process , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[13]  W. Wonham.  Linear Multivariable Control: A Geometric Approach , 1974 .

[14]  TheoryDarren D. Cofer,et al.  Supervisory Control of Real-time DiscreteEvent Systems using Lattice , 2011 .

[15]  Serkan Gugercin,et al.  An iterative SVD-Krylov based method for model reduction of large-scale dynamical systems , 2008 .

[16]  S. Pinchinat,et al.  Automata, Logics, and Infinite Games , 2007 .

[17]  James Lam,et al.  Model simplification for switched hybrid systems , 2006, Syst. Control. Lett..

[18]  M. Petreczky,et al.  Spaces of nonlinear and hybrid systems representable by recognizable formal power series , 2010 .

[19]  Lennart Ljung,et al.  System Identification: Theory for the User , 1987 .

[20]  Younes Chahlaoui,et al.  Model reduction of hybrid switched systems , 2009 .

[21]  Yimin Wei,et al.  A model-order reduction method based on Krylov subspaces for mimo bilinear dynamical systems , 2007 .

[22]  Mihaly Petreczky.  Realization theory for linear and bilinear switched systems: a formal power series approach , 2005 .

[23]  M. Kanat Camlibel,et al.  A Simultaneous Balanced Truncation Approach to Model Reduction of Switched Linear Systems , 2012, IEEE Transactions on Automatic Control.

[24]  Rafael Wisniewski,et al.  Model reduction by moment matching for linear switched systems , 2014, 2014 American Control Conference.

[25]  Paulo Tabuada,et al.  Verification and Control of Hybrid Systems , 2009 .

[26]  Peng Shi,et al.  H∞ model reduction for uncertain switched linear discrete-time systems , 2008, Autom..

[27]  Daniel Liberzon,et al.  Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.

[28]  M. Petreczky.  Realization theory for linear switched systems , 2004 .

[29]  Peng Shi,et al.  $l_{2}-l_{\infty}$ Model Reduction for Switched LPV Systems With Average Dwell Time , 2008, IEEE Transactions on Automatic Control.

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

[31]  Igor Walukiewicz,et al.  Games for synthesis of controllers with partial observation , 2003, Theor. Comput. Sci..

[32]  Rafael Wisniewski,et al.  Generalised gramian framework for model/controller order reduction of switched systems , 2011, Int. J. Syst. Sci..

[33]  Eric James Grimme,et al.  Krylov Projection Methods for Model Reduction , 1997 .

[34]  Michiel Hazewinkel.  Moduli and canonical forms for linear dynamical systems II: The topological case , 2005, Mathematical systems theory.

[35]  van Jan Schuppen,et al.  Reduction of affine systems on polytopes , 2002 .

[36]  Thomas Wilke,et al.  Automata Logics, and Infinite Games , 2002, Lecture Notes in Computer Science.

[37]  Athanasios C. Antoulas,et al.  Approximation of Large-Scale Dynamical Systems , 2005, Advances in Design and Control.

[38]  Hossam Seddik Abbas,et al.  On the State-Space Realization of LPV Input-Output Models: Practical Approaches , 2012, IEEE Transactions on Control Systems Technology.

[39]  Abderazik Birouche,et al.  Gramian based approach to model order-reduction for discrete-time switched linear systems , 2010, 18th Mediterranean Conference on Control and Automation, MED'10.

[40]  Hai Lin,et al.  Switched Linear Systems: Control and Design , 2006, IEEE Transactions on Automatic Control.

[41]  Abderazik Birouche,et al.  Model Reduction for Discrete-Time Switched Linear Time-Delay Systems via the H∞ Robust Stability , 2011, Control. Intell. Syst..

[42]  Alessandro Astolfi,et al.  Model Reduction by Moment Matching for Linear and Nonlinear Systems , 2010, IEEE Transactions on Automatic Control.

[43]  Abderazik Birouche,et al.  Model order-reduction for discrete-time switched linear systems , 2012, Int. J. Syst. Sci..