Explicit construction of a Barabanov norm for a class of positive planar discrete-time linear switched systems

We consider the stability under arbitrary switching of a discrete-time linear switched system. A powerful approach for addressing this problem is based on studying the ''most unstable'' switching law (MUSL). If the solution of the switched system corresponding to the MUSL converges to the origin, then the switched system is stable for any switching law. The MUSL can be characterized using optimal control techniques. This variational approach leads to a Hamilton-Jacobi-Bellman equation describing the behavior of the switched system under the MUSL. The solution of this equation is sometimes referred to as a Barabanov norm of the switched system. Although the Barabanov norm was studied extensively, it seems that there are few examples where it was actually computed in closed-form. In this paper, we consider a special class of positive planar discrete-time linear switched systems and provide a closed-form expression for a corresponding Barabanov norm and a MUSL. The unit circle in this norm is a parallelogram.

[1]  Jianghai Hu,et al.  Generating Functions of Switched Linear Systems: Analysis, Computation, and Stability Applications , 2011, IEEE Transactions on Automatic Control.

[2]  Yoav Sharon,et al.  Third-Order Nilpotency, Finite Switchings and Asymptotic Stability , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[3]  Michael Margaliot,et al.  Stability analysis of switched systems using variational principles: An introduction , 2006, Autom..

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

[5]  J. Mairesse,et al.  Asymptotic height optimization for topical IFS, Tetris heaps, and the finiteness conjecture , 2001 .

[6]  Bonaventure Intercontinental,et al.  ON DECISION AND CONTROL , 1985 .

[7]  Ugo V. Boscain,et al.  Stability of Planar Switched Systems: The Linear Single Input Case , 2002, SIAM J. Control. Optim..

[8]  Moussa Balde,et al.  Stability of planar switched systems: the nondiagonalizable case , 2006, math/0610401.

[9]  E. S. Pyatnitskii.  Expansion of the frequency criterion of absolute stability for controllable systems with one nonlinear nonstationary element , 1972 .

[10]  M. Zennaro,et al.  Finiteness property of pairs of 2× 2 sign-matrices via real extremal polytope norms , 2010 .

[11]  Michael Margaliot,et al.  Stability Analysis of Second-Order Switched Homogeneous Systems , 2002, SIAM J. Control. Optim..

[12]  Fabian R. Wirth,et al.  Complex Polytope Extremality Results for Families of Matrices , 2005, SIAM J. Matrix Anal. Appl..

[13]  Michael Margaliot,et al.  Analysis of Discrete-Time Linear Switched Systems: A Variational Approach , 2011, SIAM J. Control. Optim..

[14]  Paolo Mason,et al.  A note on stability conditions for planar switched systems , 2009, Int. J. Control.

[15]  Vincent D. Blondel,et al.  An Elementary Counterexample to the Finiteness Conjecture , 2002, SIAM J. Matrix Anal. Appl..

[16]  Maria Elena Valcher,et al.  On the zero pattern properties and asymptotic behavior of continuous-time positive system trajectories , 2007 .

[17]  Michael Margaliot,et al.  On the Stability of Positive Linear Switched Systems Under Arbitrary Switching Laws , 2009, IEEE Transactions on Automatic Control.

[18]  M. A. Krasnoselʹskii,et al.  Positive Linear Systems, the Method of Positive Operators , 1989 .

[19]  V. Kozyakin.  Structure of extremal trajectories of discrete linear systems and the finiteness conjecture , 2007 .

[20]  Michael Margaliot,et al.  Nice reachability for planar bilinear control systems with applications to planar linear switched systems , 2009, IEEE Transactions on Automatic Control.

[21]  V. Kozyakin.  A Dynamical Systems Construction of a Counterexample to the Finiteness Conjecture , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[22]  V. Protasov.  The generalized joint spectral radius. A geometric approach , 1997 .

[23]  S. Rinaldi,et al.  Positive Linear Systems: Theory and Applications , 2000 .

[24]  Michael Margaliot,et al.  Necessary and sufficient conditions for absolute stability: the case of second-order systems , 2003 .

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

[26]  R. Jungers.  The Joint Spectral Radius: Theory and Applications , 2009 .

[27]  Nicola Guglielmi,et al.  An algorithm for finding extremal polytope norms of matrix families , 2008 .

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

[29]  Yoav Sharon,et al.  Third-Order Nilpotency, Nice Reachability and Asymptotic Stability ? , 2007 .

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

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

[32]  F. Wirth.  The generalized spectral radius and extremal norms , 2002 .

[33]  V. Kozyakin.  ITERATIVE BUILDING OF BARABANOV NORMS AND COMPUTATION OF THE JOINT SPECTRAL RADIUS FOR MATRIX SETS , 2008, 0810.2154.

[34]  N. Barabanov.  Lyapunov exponent and joint spectral radius: some known and new results , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[35]  Nicola Guglielmi,et al.  On the asymptotic properties of a family of matrices , 2001 .

[36]  Michael Margaliot,et al.  A second-order maximum principle for discrete-time bilinear control systems with applications to discrete-time linear switched systems , 2011, Autom..

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

[38]  Charles R. Johnson,et al.  Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

[39]  Nicola Guglielmi,et al.  Finding Extremal Complex Polytope Norms for Families of Real Matrices , 2009, SIAM J. Matrix Anal. Appl..

[40]  J. Lagarias,et al.  The finiteness conjecture for the generalized spectral radius of a set of matrices , 1995 .

[41]  I. Morris.  Criteria for the stability of the finiteness property and for the uniqueness of Barabanov norms , 2009, 0909.2800.

[42]  R. M. Jungers,et al.  Counterexamples to the Complex Polytope Extremality Conjecture , 2009, SIAM J. Matrix Anal. Appl..