Model reduction of linear switched systems by restricting discrete dynamics

We present a procedure for reducing the number of continuous states of discrete-time linear switched systems, such that the reduced system has the same behavior as the original system for a subset of switching sequences. The proposed method is expected to be useful for abstraction based control synthesis methods for hybrid systems.

[1]  Mihály Petreczky,et al.  REALIZATION THEORY LINEAR AND BILINEAR SWITCHED SYSTEMS: A FORMAL POWER SERIES APPROACH PART I: REALIZATION THEORY OF LINEAR SWITCHED SYSTEMS , 2010 .

[2]  Calin Belta,et al.  Finite Bisimulations for Switched Linear Systems , 2014, IEEE Trans. Autom. Control..

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

[4]  Alberto L. Sangiovanni-Vincentelli,et al.  Hybrid system reduction , 2008, 2008 47th IEEE Conference on Decision and Control.

[5]  M. Petreczky.  Realization theory of hybrid systems , 2006 .

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

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

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

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

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

[11]  Alberto Bemporad,et al.  Observability and controllability of piecewise affine and hybrid systems , 2000, IEEE Trans. Autom. Control..

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

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

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

[15]  Calin Belta,et al.  Formal Analysis of Discrete-Time Piecewise Affine Systems , 2010, IEEE Transactions on Automatic Control.

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

[17]  Goran Frehse,et al.  PHAVer: algorithmic verification of hybrid systems past HyTech , 2005, International Journal on Software Tools for Technology Transfer.

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

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

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

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

[22]  Johannes Schumacher,et al.  An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251 , 1999 .

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

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

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

[26]  Calin Belta,et al.  Finite bisimulations for switched linear systems , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[27]  Laurent Bako,et al.  Realization theory of discrete-time linear switched systems , 2011, Autom..

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

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