A convex approach to sparse ℋ∞ analysis & synthesis

In this paper, we propose a new robust analysis tool motivated by large-scale systems. The ℋ∞ norm of a system measures its robustness by quantifying the worst-case behavior of a system perturbed by a unit-energy disturbance. However, the disturbance that induces such worst-case behavior requires perfect coordination among all disturbance channels. Given that many systems of interest, such as the power grid, the internet and automated vehicle platoons, are large-scale and spatially distributed, such coordination may not be possible, and hence the ℋ∞ norm, used as a measure of robustness, may be too conservative. We therefore propose a cardinality constrained variant of the ℋ∞ norm in which an adversarial disturbance can use only a limited number of channels. As this problem is inherently combinatorial, we present a semidefinite programming (SDP) relaxation based on the ℓ1 norm that yields an upper bound on the cardinality constrained robustness problem. We further propose a simple rounding heuristic based on the optimal solution of our SDP relaxation, which provides a corresponding lower bound. Motivated by privacy in large-scale systems, we also extend these relaxations to computing the minimum gain of a system subject to a limited number of inputs. Finally, we also present a SDP based optimal controller synthesis method for minimizing the SDP relaxation of our novel robustness measure. The effectiveness of our semidefinite relaxation is demonstrated through numerical examples.

[1]  L. Mirsky A trace inequality of John von Neumann , 1975 .

[2]  Pablo A. Parrilo,et al.  The Convex Geometry of Linear Inverse Problems , 2010, Foundations of Computational Mathematics.

[3]  E. Candès The restricted isometry property and its implications for compressed sensing , 2008 .

[4]  Bassam Bamieh,et al.  A simple approach to H∞ analysis , 2013, 52nd IEEE Conference on Decision and Control.

[5]  Reza Olfati-Saber,et al.  Consensus and Cooperation in Networked Multi-Agent Systems , 2007, Proceedings of the IEEE.

[6]  R. Tibshirani Regression Shrinkage and Selection via the Lasso , 1996 .

[7]  Venkat Chandrasekaran,et al.  Regularization for Design , 2014, IEEE Transactions on Automatic Control.

[8]  P. Gahinet,et al.  A linear matrix inequality approach to H∞ control , 1994 .

[9]  Carsten W. Scherer,et al.  Structured H∞-optimal control for nested interconnections: A state-space solution , 2013, Syst. Control. Lett..

[10]  Ather Gattami,et al.  H infinity Analysis Revisited , 2014, ArXiv.

[11]  Stephen P. Boyd,et al.  An Interior-Point Method for Large-Scale $\ell_1$-Regularized Least Squares , 2007, IEEE Journal of Selected Topics in Signal Processing.

[12]  Laurent Lessard,et al.  Performance certification of interconnected systems using decomposition techniques , 2014, 2014 American Control Conference.

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

[14]  Jie Lin,et al.  Coordination of groups of mobile autonomous agents using nearest neighbor rules , 2003, IEEE Trans. Autom. Control..

[15]  Michael I. Jordan,et al.  A Direct Formulation for Sparse Pca Using Semidefinite Programming , 2004, SIAM Rev..

[16]  Stephen P. Boyd,et al.  Fast linear iterations for distributed averaging , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[17]  Stephen P. Boyd,et al.  Randomized gossip algorithms , 2006, IEEE Transactions on Information Theory.

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

[19]  P. Bickel,et al.  SIMULTANEOUS ANALYSIS OF LASSO AND DANTZIG SELECTOR , 2008, 0801.1095.

[20]  Sanjay Lall,et al.  A Characterization of Convex Problems in Decentralized Control$^ast$ , 2005, IEEE Transactions on Automatic Control.

[21]  John Doyle,et al.  A Lagrangian dual approach to the Generalized KYP lemma , 2013, 52nd IEEE Conference on Decision and Control.

[22]  R. Podmore,et al.  A Practical Method for the Direct Analysis of Transient Stability , 1979, IEEE Transactions on Power Apparatus and Systems.

[23]  Kim-Chuan Toh,et al.  SDPT3 -- A Matlab Software Package for Semidefinite Programming , 1996 .

[24]  Bruce A. Francis,et al.  Feedback Control Theory , 1992 .