On existence of solutions to structured lyapunov inequalities

In this paper, we derive sufficient conditions on drift matrices under which block-diagonal solutions to Lyapunov inequalities exist. The motivation for the problem comes from a recently proposed basis pursuit algorithm. In particular, this algorithm can provide approximate solutions to optimisation programmes with constraints involving Lyapunov inequalities using linear or second order cone programming. This algorithm requires an initial feasible point, which we aim to provide in this paper. Our existence conditions are based on the so-called ℋ matrices. We also establish a link between ℋ matrices and an application of a small gain theorem to the drift matrix. We finally show how to construct these solutions in some cases without solving the full Lyapunov inequality.

[1]  Aivar Sootla,et al.  Decentralised H2 Norm Estimation and Guaranteed Error Bounds Using Structured Gramians , 2014 .

[2]  Anders Rantzer,et al.  Scalable control of positive systems , 2012, Eur. J. Control.

[3]  Eduardo D. Sontag,et al.  Diagonal stability of a class of cyclic systems and its connection with the secant criterion , 2006, Autom..

[4]  Antonis Papachristodoulou,et al.  Chordal sparsity, decomposing SDPs and the Lyapunov equation , 2014, 2014 American Control Conference.

[5]  Henrik Sandberg,et al.  Structured Model Order Reduction of Parallel Models in Feedback , 2013, IEEE Transactions on Control Systems Technology.

[6]  E. Yaz.  Linear Matrix Inequalities In System And Control Theory , 1998, Proceedings of the IEEE.

[7]  Robert J. Plemmons,et al.  Nonnegative Matrices in the Mathematical Sciences , 1979, Classics in Applied Mathematics.

[8]  Murat Arcak,et al.  Diagonal Stability on Cactus Graphs and Application to Network Stability Analysis , 2011, IEEE Transactions on Automatic Control.

[9]  Henrik Sandberg,et al.  Structured Model Order Reduction of Boiler-Header Models , 2011 .

[10]  Henrik Sandberg,et al.  Dynamical system decomposition using dissipation inequalities , 2011, IEEE Conference on Decision and Control and European Control Conference.

[11]  Masakazu Kojima,et al.  Exploiting sparsity in linear and nonlinear matrix inequalities via positive semidefinite matrix completion , 2011, Math. Program..

[12]  Shu-huang Xiang,et al.  Weak block diagonally dominant matrices, weak block H-matrix and their applications , 1998 .

[13]  Amir Ali Ahmadi,et al.  Control and verification of high-dimensional systems with DSOS and SDSOS programming , 2014, 53rd IEEE Conference on Decision and Control.

[14]  Aivar Sootla,et al.  Structured Projection-Based Model Reduction With Application to Stochastic Biochemical Networks , 2015, IEEE Transactions on Automatic Control.

[15]  Fu Lin,et al.  Design of Optimal Sparse Feedback Gains via the Alternating Direction Method of Multipliers , 2011, IEEE Transactions on Automatic Control.

[16]  R. Varga.  On recurring theorems on diagonal dominance , 1976 .

[17]  D. Carlson,et al.  Block diagonal semistability factors and Lyapunov semistability of block triangular matrices , 1992 .

[18]  Johan Löfberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004 .

[19]  R. Varga,et al.  Block diagonally dominant matrices and generalizations of the Gerschgorin circle theorem , 1962 .

[20]  Mi-Ching Tsai,et al.  Robust and Optimal Control , 2014 .

[21]  Yunqing Huang,et al.  Some properties on Schur complements of H-matrices and diagonally dominant matrices , 2004 .

[22]  P. Olver.  Nonlinear Systems , 2013 .

[23]  J. Doyle,et al.  Robust and optimal control , 1995, Proceedings of 35th IEEE Conference on Decision and Control.

[24]  Masakazu Kojima,et al.  SDPARA: SemiDefinite Programming Algorithm paRAllel version , 2003, Parallel Comput..

[25]  Stephen P. Boyd,et al.  Linear Matrix Inequalities in Systems and Control Theory , 1994 .

[26]  Amir Ali Ahmadi,et al.  DSOS and SDSOS optimization: LP and SOCP-based alternatives to sum of squares optimization , 2014, 2014 48th Annual Conference on Information Sciences and Systems (CISS).

[27]  Daniel Hershkowitz,et al.  Lyapunov Diagonal Semistability of Real H-Matrices , 1985 .

[28]  Ojas D. Parekh,et al.  On Factor Width and Symmetric H-matrices , 2005 .

[29]  R. M. Murray,et al.  Model reduction of interconnected linear systems , 2009 .

[30]  Paul Van Dooren,et al.  A collection of benchmark examples for model reduction of linear time invariant dynamical systems. , 2002 .

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

[32]  Amir Ali Ahmadi,et al.  Sum of Squares Basis Pursuit with Linear and Second Order Cone Programming , 2015, ArXiv.