Stability of discrete-time switching systems with constrained switching sequences

We introduce a novel framework for the stability analysis of discrete-time linear switching systems with switching sequences constrained by an automaton. The key element of the framework is the algebraic concept of multinorm, which associates a different norm per node of the automaton, and allows to exactly characterize stability. Building upon this tool, we develop the first arbitrarily accurate approximation schemes for estimating the constrained joint spectral radius ź ź , that is the exponential growth rate of a switching system with constrained switching sequences. More precisely, given a relative accuracy r 0 , the algorithms compute an estimate of ź ź within the range ź ź , ( 1 + r ) ź ź . These algorithms amount to solve a well defined convex optimization program with known time-complexity, and whose size depends on the desired relative accuracy r 0 .

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

[2]  Arkadi Nemirovski,et al.  Lectures on modern convex optimization - analysis, algorithms, and engineering applications , 2001, MPS-SIAM series on optimization.

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

[4]  M. Branicky.  Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

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

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

[7]  Victor Kozyakin,et al.  The Berger-Wang formula for the Markovian joint spectral radius , 2014, 1401.2711.

[8]  M. Lazar,et al.  Alternative stability conditions for switched discrete time linear systems , 2014 .

[9]  Pramod P. Khargonekar,et al.  Optimal Output Regulation for Discrete-Time Switched and Markovian Jump Linear Systems , 2008, SIAM J. Control. Optim..

[10]  Raphaël M. Jungers,et al.  JSR: a toolbox to compute the joint spectral radius , 2014, HSCC.

[11]  Jamal Daafouz,et al.  Stability analysis and control synthesis for switched systems: a switched Lyapunov function approach , 2002, IEEE Trans. Autom. Control..

[12]  Pierre-Alexandre Bliman,et al.  Stability Analysis of Discrete-Time Switched Systems Through Lyapunov Functions with Nonminimal State , 2003, ADHS.

[13]  Geir E. Dullerud,et al.  Uniformly Stabilizing Sets of Switching Sequences for Switched Linear Systems , 2007, IEEE Transactions on Automatic Control.

[14]  Richard M. Murray,et al.  Consensus problems in networks of agents with switching topology and time-delays , 2004, IEEE Transactions on Automatic Control.

[15]  Ji-Woong Lee,et al.  Uniform stabilization of discrete-time switched and Markovian jump linear systems , 2006, Autom..

[16]  Daniel Liberzon,et al.  Lie-Algebraic Stability Criteria for Switched Systems , 2001, SIAM J. Control. Optim..

[17]  Raphaël M. Jungers,et al.  Controllability of linear systems subject to packet losses , 2015, ADHS.

[18]  Geir E. Dullerud,et al.  Control of Linear Switched Systems With Receding Horizon Modal Information , 2014, IEEE Transactions on Automatic Control.

[19]  M. Lothaire.  Algebraic Combinatorics on Words , 2002 .

[20]  Pramod P. Khargonekar,et al.  Detectability and Stabilizability of Discrete-Time Switched Linear Systems , 2009, IEEE Transactions on Automatic Control.

[21]  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).

[22]  A. Jadbabaie,et al.  Approximation of the joint spectral radius using sum of squares , 2007, 0712.2887.

[23]  Amir Ali Ahmadi,et al.  Joint Spectral Radius and Path-Complete Graph Lyapunov Functions , 2011, SIAM J. Control. Optim..

[24]  Y. Nesterov,et al.  On the accuracy of the ellipsoid norm approximation of the joint spectral radius , 2005 .

[25]  Xiongping Dai,et al.  A Gel'fand-type spectral radius formula and stability of linear constrained switching systems , 2011, ArXiv.

[26]  F. John.  Extremum Problems with Inequalities as Subsidiary Conditions , 2014 .

[27]  Jamal Daafouz,et al.  Parameter dependent Lyapunov functions for discrete time systems with time varying parametric uncertainties , 2001, Syst. Control. Lett..

[28]  Amir Ali Ahmadi.  Algebraic relaxations and hardness results in polynomial optimization and Lyapunov analysis , 2012, ArXiv.

[29]  Raphaël M. Jungers,et al.  Converse Lyapunov theorems for discrete-time linear switching systems with regular switching sequences. , 2015, 2015 European Control Conference (ECC).

[30]  A. Cicone.  A note on the Joint Spectral Radius , 2015, 1502.01506.

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

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

[33]  Raphaël M. Jungers,et al.  A sufficient condition for the boundedness of matrix products accepted by an automaton , 2015, HSCC.

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

[35]  Geir E. Dullerud,et al.  Optimal Disturbance Attenuation for Discrete-Time Switched and Markovian Jump Linear Systems , 2006, SIAM J. Control. Optim..

[36]  Mahesh Viswanathan,et al.  Stability of linear autonomous systems under regular switching sequences , 2014, 53rd IEEE Conference on Decision and Control.

[37]  T. Andô,et al.  Simultaneous Contractibility , 1998 .