Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems

In this paper, we address the problem of synthesizing periodic switching controllers for stabilizing a family of linear systems. Our broad approach consists of constructing a finite game graph based on the family of linear systems such that every winning strategy on the game graph corresponds to a stabilizing switching controller for the family of linear systems. The construction of a (finite) game graph, the synthesis of a winning strategy and the extraction of a stabilizing controller are all computationally feasible. We illustrate our method on an example,

[1]  P. Bauer,et al.  A necessary and sufficient condition for robust asymptotic stability of time-variant discrete systems , 1993, IEEE Trans. Autom. Control..

[2]  A. Morse.  Supervisory control of families of linear set-point controllers , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[3]  K. Narendra,et al.  A common Lyapunov function for stable LTI systems with commuting A-matrices , 1994, IEEE Trans. Autom. Control..

[4]  M. Branicky.  Stability of hybrid systems: state of the art , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[5]  A. Morse,et al.  Stability of switched systems: a Lie-algebraic condition ( , 1999 .

[6]  Robin J. Evans,et al.  Stability results for switched controller systems , 1999, Autom..

[7]  R. Decarlo,et al.  Perspectives and results on the stability and stabilizability of hybrid systems , 2000, Proceedings of the IEEE.

[8]  G. Zhai.  Quadratic stabilizability of discrete-time switched systems via state and output feedback , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[9]  K. Narendra,et al.  A result on common quadratic Lyapunov functions , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

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

[11]  M. Johansson,et al.  Piecewise Linear Control Systems , 2003 .

[12]  S. Pettersson.  Synthesis of switched linear systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[13]  Patrizio Colaneri,et al.  Stability and Stabilization of Continuous-Time Switched Linear Systems , 2006, SIAM J. Control. Optim..

[14]  Pavithra Prabhakar,et al.  Abstraction Based Model-Checking of Stability of Hybrid Systems , 2013, CAV.

[15]  Mahesh Viswanathan,et al.  On the decidability of stability of hybrid systems , 2013, HSCC '13.

[16]  Debasish Chatterjee,et al.  Stabilizing Switching Signals for Switched Systems , 2015, IEEE Transactions on Automatic Control.

[17]  Mahesh Viswanathan,et al.  Hybrid automata-based CEGAR for rectangular hybrid systems , 2015, Formal Methods Syst. Des..

[18]  Pavithra Prabhakar,et al.  Hybridization for Stability Analysis of Switched Linear Systems , 2016, HSCC.

[19]  Pavithra Prabhakar,et al.  Counterexample Guided Abstraction Refinement for Stability Analysis , 2016, CAV.

[20]  Pavithra Prabhakar,et al.  Formal Synthesis of Stabilizing Controllers for Switched Systems , 2017, HSCC.

[21]  Debasish Chatterjee,et al.  Stabilizing switching signals: A transition from point-wise to asymptotic conditions , 2017, Syst. Control. Lett..

[22]  W. P. M. H. Heemels,et al.  On Lyapunov-Metzler Inequalities and S-Procedure Characterizations for the Stabilization of Switched Linear Systems , 2017, IEEE Transactions on Automatic Control.