Scalable analysis of linear networked systems via chordal decomposition

This paper introduces a chordal decomposition approach for scalable analysis of linear networked systems, including stability, $\mathcal{H_{2}}$ and $\mathcal{H_{\infty}}$ performance. Our main strategy is to exploit any sparsity within these analysis problems and use chordal decomposition. We first show that Grone’s and Agler’s theorems can be generalized to block matrices with any partition. This facilitates networked systems analysis, allowing one to solely focus on the physical connections of networked systems to exploit scalability. Then, by choosing Lyapunov functions with appropriate sparsity patterns, we decompose large positive semidefinite constraints in all of the analysis problems into multiple smaller ones depending on the maximal cliques of the system graph. This makes the solutions more computationally efficient via a recent first-order algorithm. Nu- merical experiments demonstrate the efficiency and scalability of the proposed method.

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

[2]  Dragoslav D. Šiljak,et al.  Decentralized control of complex systems , 2012 .

[3]  Antonis Papachristodoulou,et al.  A Decomposition Technique for Nonlinear Dynamical System Analysis , 2012, IEEE Transactions on Automatic Control.

[4]  Yang Zheng,et al.  Block-diagonal solutions to Lyapunov inequalities and generalisations of diagonal dominance , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[5]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .

[6]  Yang Zheng,et al.  Chordal decomposition in operator-splitting methods for sparse semidefinite programs , 2017, Mathematical Programming.

[7]  Takashi Tanaka,et al.  The Bounded Real Lemma for Internally Positive Systems and H-Infinity Structured Static State Feedback , 2011, IEEE Transactions on Automatic Control.

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

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

[10]  G. Dullerud,et al.  A Course in Robust Control Theory: A Convex Approach , 2005 .

[11]  Yang Zheng,et al.  Fast ADMM for semidefinite programs with chordal sparsity , 2016, 2017 American Control Conference (ACC).

[12]  Kazuo Murota,et al.  Exploiting Sparsity in Semidefinite Programming via Matrix Completion I: General Framework , 2000, SIAM J. Optim..

[13]  P. Moylan,et al.  Stability criteria for large-scale systems , 1978 .

[14]  Yang Zheng,et al.  Distributed Model Predictive Control for Heterogeneous Vehicle Platoons Under Unidirectional Topologies , 2016, IEEE Transactions on Control Systems Technology.

[15]  Anders Rantzer,et al.  Scalable positivity preserving model reduction using linear energy functions , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[16]  Anders Rantzer,et al.  Distributed performance analysis of heterogeneous systems , 2010, 49th IEEE Conference on Decision and Control (CDC).

[17]  Michael Chertkov,et al.  Sparsity-Promoting Optimal Wide-Area Control of Power Networks , 2013, IEEE Transactions on Power Systems.

[18]  L. Rodman,et al.  Positive semidefinite matrices with a given sparsity pattern , 1988 .

[19]  Martin S. Andersen,et al.  Chordal Graphs and Semidefinite Optimization , 2015, Found. Trends Optim..

[20]  Yang Zheng,et al.  Scalable Design of Structured Controllers Using Chordal Decomposition , 2018, IEEE Transactions on Automatic Control.

[21]  Anders Rantzer,et al.  Robust Stability Analysis of Sparsely Interconnected Uncertain Systems , 2013, IEEE Transactions on Automatic Control.

[22]  Charles R. Johnson,et al.  Positive definite completions of partial Hermitian matrices , 1984 .

[23]  Robert E. Tarjan,et al.  Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs , 1984, SIAM J. Comput..

[24]  Joachim Dahl,et al.  Implementation of nonsymmetric interior-point methods for linear optimization over sparse matrix cones , 2010, Math. Program. Comput..