Dead-Beat Stabilizability of Discrete-Time Switched Linear Systems: Algorithms and Applications

This paper deals with the dead-beat stabilizability of autonomous discrete-time switched linear systems. Based on a constructive necessary and sufficient condition for dead-beat stabilizability, we propose two algorithms. The first one is concerned with the problem of testing dead-beat stabilizability and computing the shorter stabilizing mode sequence, whenever it exists. The other one implements a method to construct a switched system whose shorter dead-beat stabilizing sequence has a prescribed length. Then, we present numerical assessments and possible applications.

[1]  Carl D. Meyer,et al.  Matrix Analysis and Applied Linear Algebra , 2000 .

[2]  Jamal Daafouz,et al.  Flatness of Switched Linear Discrete-Time Systems , 2009, IEEE Transactions on Automatic Control.

[3]  Antoine Girard,et al.  On the Stabilizability of Discrete-Time Switched Linear Systems: Novel Conditions and Comparisons , 2016, IEEE Transactions on Automatic Control.

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

[5]  Robert Shorten,et al.  Stability Criteria for Switched and Hybrid Systems , 2007, SIAM Rev..

[6]  Patrizio Colaneri,et al.  Optimal and MPC Switching Strategies for Mitigating Viral Mutation and Escape , 2011 .

[7]  David P. Stanford,et al.  State deadbeat response and observability in multi-modal systems , 1983 .

[8]  John N. Tsitsiklis,et al.  When is a Pair of Matrices Mortal? , 1997, Inf. Process. Lett..

[9]  Ueli M. Maurer,et al.  New Approaches to the Design of Self-Synchronizing Stream Ciphers , 1991, EUROCRYPT.

[10]  Kazimierz Kuratowski,et al.  Introduction to Set Theory and Topology , 1964 .

[11]  M. Fiacchini,et al.  Dead-beat stabilizability of autonomous switched linear discrete-time systems , 2017 .

[12]  Howard M. Heys.  An analysis of the statistical self-synchronization of stream ciphers , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[13]  Raphaël M. Jungers,et al.  Feedback stabilization of dynamical systems with switched delays , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[14]  Zhendong Sun.  Stabilizability and insensitivity of switched linear systems , 2004, IEEE Transactions on Automatic Control.

[15]  J. Geromel,et al.  Stability and stabilization of discrete time switched systems , 2006 .

[16]  David P. Stanford,et al.  The structure of the controllable set for multimodal systems , 1987 .

[17]  Shuzhi Sam Ge,et al.  Analysis and synthesis of switched linear control systems , 2005, Autom..

[18]  Marc Jungers,et al.  Necessary and sufficient condition for stabilizability of discrete-time linear switched systems: a set-theory approach* , 2013 .

[19]  Olivier Bournez,et al.  The Mortality Problem for Matrices of Low Dimensions , 2002, Theory of Computing Systems.

[20]  Rapha L. Jungers.  The Joint Spectral Radius , 2009 .

[21]  A. Morse,et al.  Basic problems in stability and design of switched systems , 1999 .

[22]  Fabian R. Wirth,et al.  A positive systems model of TCP-like congestion control: asymptotic results , 2006, IEEE/ACM Transactions on Networking.

[23]  Gilles Millerioux,et al.  Nilpotent semigroups for the characterization of flat outputs of switched linear and LPV discrete-time systems , 2013, Syst. Control. Lett..

[24]  S. Ge,et al.  Stability Theory of Switched Dynamical Systems , 2011 .

[25]  Hai Lin,et al.  Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results , 2009, IEEE Transactions on Automatic Control.

[26]  V. Müller.  On the joint spectral radius , 1997 .

[27]  Raphaël M. Jungers,et al.  Deciding the boundedness and dead-beat stability of constrained switching systems , 2015, ArXiv.

[28]  Ahmad-Reza Sadeghi,et al.  Optimized Self-Synchronizing Mode of Operation , 2001, FSE.

[29]  M. Paterson.  Unsolvability in 3 × 3 Matrices , 1970 .