Scalable system level synthesis for virtually localizable systems

In previous work, we developed the system level approach to controller synthesis, and showed that under suitable assumptions, this framework allowed for the synthesis of localized controllers. We further showed that such localized controllers enjoy O(1) synthesis and implementation complexity relative to the dimension of the global system, making them particularly well suited for the control of large-scale cyber-physical systems. However, the assumptions under which a system is localizable are stringent: roughly, a system is localizable if the controller has the necessary actuation, sensing and communication resources to “get out ahead” of the propagation of a disturbance and neutralize it, thus containing its effect to a localized spatiotemporal region. In this paper, we relax the assumption of exact localizability, and develop a controller synthesis methodology that is applicable to arbitrary systems that are in an appropriate sense “easy to control.” We focus on the state-feedback setting and develop a simple necessary and sufficient condition for robust stability using the system level approach. We then leverage this condition, along with the introduction of virtual actuation, communication and system responses into the synthesis process, to design stabilizing controllers that have (i) O(1) synthesis and implementation complexity and (ii) guaranteed performance bounds. We end with a power-inspired example demonstrating the usefulness of these techniques, wherein we synthesize a near globally optimal controller for a system that is neither localizable nor quadratically invariant.

[1]  M. Dahleh,et al.  A necessary and sufficient condition for robust BIBO stability , 1988 .

[2]  Ashutosh Nayyar,et al.  Decentralized Stochastic Control with Partial History Sharing: A Common Information Approach , 2012, IEEE Transactions on Automatic Control.

[3]  Pablo A. Parrilo,et al.  ℋ2-optimal decentralized control over posets: A state space solution for state-feedback , 2010, 49th IEEE Conference on Decision and Control (CDC).

[4]  M. Fardad,et al.  Sparsity-promoting optimal control for a class of distributed systems , 2011, Proceedings of the 2011 American Control Conference.

[5]  John Doyle,et al.  Output feedback ℌ2 model matching for decentralized systems with delays , 2012, 2013 American Control Conference.

[6]  Laurent Lessard,et al.  Optimal decentralized state-feedback control with sparsity and delays , 2013, Autom..

[7]  Sanjay Lall,et al.  Optimal controller synthesis for the decentralized two-player problem with output feedback , 2012, 2012 American Control Conference (ACC).

[8]  Petros G. Voulgaris,et al.  A convex characterization of distributed control problems in spatially invariant systems with communication constraints , 2005, Syst. Control. Lett..

[9]  Pablo A. Parrilo,et al.  $ {\cal H}_{2}$-Optimal Decentralized Control Over Posets: A State-Space Solution for State-Feedback , 2010, IEEE Transactions on Automatic Control.

[10]  Nikolai Matni,et al.  System Level Parameterizations, constraints and synthesis , 2017, 2017 American Control Conference (ACC).

[11]  Pablo A. Parrilo,et al.  Optimal output feedback architecture for triangular LQG problems , 2014, 2014 American Control Conference.

[12]  Javad Lavaei,et al.  Convex relaxation for optimal distributed control problem , 2014, 53rd IEEE Conference on Decision and Control.

[13]  Nuno C. Martins,et al.  Information structures in optimal decentralized control , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

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

[15]  Dimitri Peaucelle,et al.  L1 gain analysis of linear positive systems and its application , 2011, IEEE Conference on Decision and Control and European Control Conference.

[16]  Nader Motee,et al.  Approximation methods and spatial interpolation in distributed control systems , 2009, 2009 American Control Conference.

[17]  Nikolai Matni,et al.  Separable and Localized System-Level Synthesis for Large-Scale Systems , 2017, IEEE Transactions on Automatic Control.

[18]  Jie Yu,et al.  Optimal induced l1-norm state feedback control , 1999, Autom..

[19]  Nikolai Matni,et al.  A System-Level Approach to Controller Synthesis , 2016, IEEE Transactions on Automatic Control.

[20]  Nikolai Matni,et al.  Localized LQR optimal control , 2014, 53rd IEEE Conference on Decision and Control.

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

[22]  H. Maurer,et al.  On L1‐minimization in optimal control and applications to robotics , 2006 .

[23]  Nikolai Matni,et al.  Localized LQG optimal control for large-scale systems , 2016, 2016 American Control Conference (ACC).

[24]  Nikolai Matni Distributed control subject to delays satisfying an ℋ1 norm bound , 2014, 53rd IEEE Conference on Decision and Control.

[25]  Yuh Shyang Wang Localized LQR with adaptive constraint and performance guarantee , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

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

[27]  Maxim Kristalny,et al.  On structured realizability and stabilizability of linear systems , 2013, 2013 American Control Conference.

[28]  Randy Cogill,et al.  Convexity of optimal control over networks with delays and arbitrary topology , 2010 .

[29]  Mario Sznaier,et al.  Sparse static output feedback controller design via convex optimization , 2014, 53rd IEEE Conference on Decision and Control.

[30]  Laurent Lessard State-space solution to a minimum-entropy ℋ1-optimal control problem with a nested information constraint , 2014, 53rd IEEE Conference on Decision and Control.

[31]  Fernando Paganini,et al.  Distributed control of spatially invariant systems , 2002, IEEE Trans. Autom. Control..

[32]  Y. Ho,et al.  Team decision theory and information structures in optimal control problems--Part II , 1972 .

[33]  Javad Lavaei,et al.  Convex Relaxation for Optimal Distributed Control Problems , 2014, IEEE Transactions on Automatic Control.