A System-Level Approach to Controller Synthesis

Biological and advanced cyber-physical control systems often have limited, sparse, uncertain, and distributed communication and computing in addition to sensing and actuation. Fortunately, the corresponding plants and performance requirements are also sparse and structured, and this must be exploited to make constrained controller design feasible and tractable. We introduce a new “system level” (SL) approach involving three complementary SL elements. SL parameterizations (SLPs) provide an alternative to the Youla parameterization of all stabilizing controllers and the responses they achieve, and combine with SL constraints (SLCs) to parameterize the largest known class of constrained stabilizing controllers that admit a convex characterization, generalizing quadratic invariance. SLPs also lead to a generalization of detectability and stabilizability, suggesting the existence of a rich separation structure, that when combined with SLCs is naturally applicable to structurally constrained controllers and systems. We further provide a catalog of useful SLCs, most importantly including sparsity, delay, and locality constraints on both communication and computing internal to the controller, and external system performance. Finally, we formulate SL synthesis problems, which define the broadest known class of constrained optimal control problems that can be solved using convex programming.

[1]  H. Witsenhausen A Counterexample in Stochastic Optimum Control , 1968 .

[2]  Michael A. Arbib,et al.  Topics in Mathematical System Theory , 1969 .

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

[4]  Huibert Kwakernaak,et al.  Linear Optimal Control Systems , 1972 .

[5]  Dante C. Youla,et al.  Modern Wiener-Hopf Design of Optimal Controllers. Part I , 1976 .

[6]  H. H. Rosenbrock,et al.  Computer Aided Control System Design , 1974, IEEE Transactions on Systems, Man, and Cybernetics.

[7]  B. Leden,et al.  Multivariable dead-beat control , 1977, Autom..

[8]  Yu-Chi Ho,et al.  Team decision theory and information structures , 1980 .

[9]  John O'Reilly,et al.  The discrete linear time invariant time-optimal control problem - An overview , 1981, Autom..

[10]  Carlos E. Garcia,et al.  Internal model control. A unifying review and some new results , 1982 .

[11]  M. Morari,et al.  Internal model control: PID controller design , 1986 .

[12]  P. Khargonekar,et al.  State-space solutions to standard H2 and H∞ control problems , 1988, 1988 American Control Conference.

[13]  P. Khargonekar,et al.  State-space solutions to standard H/sub 2/ and H/sub infinity / control problems , 1989 .

[14]  Stephen P. Boyd,et al.  Linear controller design: limits of performance , 1991 .

[15]  M. Dahleh,et al.  Control of Uncertain Systems: A Linear Programming Approach , 1995 .

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

[17]  Jan C. Willems,et al.  Introduction to mathematical systems theory: a behavioral approach, Texts in Applied Mathematics 26 , 1999 .

[18]  Joao Y. Ishihara,et al.  Parametrization of admissible controllers for generalized Rosenbrock systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[19]  J. Willems,et al.  Synthesis of dissipative systems using quadratic differential forms: part II , 2002, IEEE Trans. Autom. Control..

[20]  J. Willems,et al.  Synthesis of dissipative systems using quadratic differential forms: Part I , 2002, IEEE Trans. Autom. Control..

[21]  Jan C. Willems,et al.  Introduction to Mathematical Systems Theory. A Behavioral , 2002 .

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

[23]  Murti V. Salapaka,et al.  Structured optimal and robust control with multiple criteria: a convex solution , 2004, IEEE Transactions on Automatic Control.

[24]  Geir E. Dullerud,et al.  Distributed control of heterogeneous systems , 2004, IEEE Transactions on Automatic Control.

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

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

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

[28]  Harry L. Trentelman,et al.  On the Parametrization of All Regularly Implementing and Stabilizing Controllers , 2007, SIAM J. Control. Optim..

[29]  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).

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

[31]  Mathukumalli Vidyasagar,et al.  Control System Synthesis: A Factorization Approach, Part I , 2011, Control System Synthesis Part I.

[32]  Mathukumalli Vidyasagar,et al.  Control System Synthesis: A Factorization Approach, Part II , 2011, Control System Synthesis Part II.

[33]  S. Lall,et al.  Quadratic invariance is necessary and sufficient for convexity , 2011, Proceedings of the 2011 American Control Conference.

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

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

[36]  John C. Doyle,et al.  The H2 Control Problem for Quadratically Invariant Systems with Delays , 2013 .

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

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

[39]  Nikolai Matni Communication delay co-design in ℌ2 decentralized control Using atomic norm minimization , 2013, 52nd IEEE Conference on Decision and Control.

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

[41]  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.

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

[43]  Nikolai Matni,et al.  Localized distributed optimal control with output feedback and communication delays , 2014, 2014 52nd Annual Allerton Conference on Communication, Control, and Computing (Allerton).

[44]  Nikolai Matni,et al.  Distributed Control Subject to Delays Satisfying an $\mathcal{H}_\infty$ Norm Bound , 2014 .

[45]  Nikolai Matni,et al.  Localized distributed state feedback control with communication delays , 2014, 2014 American Control Conference.

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

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

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

[49]  Nuno C. Martins,et al.  Youla-Like Parametrizations Subject to QI Subspace Constraints , 2014, IEEE Transactions on Automatic Control.

[50]  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.

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

[52]  Laurent Lessard,et al.  State-space solution to a minimum-entropy $\mathcal{H}_\infty$-optimal control problem with a nested information constraint , 2014 .

[53]  N. Matni,et al.  Localized Distributed Kalman Filters for Large-Scale Systems , 2015 .

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

[55]  John Doyle,et al.  The ${\cal H}_{2} $ Control Problem for Quadratically Invariant Systems With Delays , 2015, IEEE Transactions on Automatic Control.

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

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

[58]  Regularization for Design , 2014, IEEE Transactions on Automatic Control.

[59]  Sanjay Lall,et al.  Convexity of Decentralized Controller Synthesis , 2013, IEEE Transactions on Automatic Control.

[60]  Nikolai Matni,et al.  Localized LQR control with actuator regularization , 2016, 2016 American Control Conference (ACC).

[61]  Yuh-Shyang Wang A System Level Approach to Optimal Controller Designfor Large-Scale Distributed Systems , 2017 .

[62]  Nikolai Matni,et al.  System level synthesis: A tutorial , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[63]  Nikolai Matni,et al.  Scalable system level synthesis for virtually localizable systems , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[64]  Nikolai Matni Communication Delay Co-Design in $\mathcal{ H}_{2}$-Distributed Control Using Atomic Norm Minimization , 2017, IEEE Transactions on Control of Network Systems.

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

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

[67]  K. Khalil On the Complexity of Decentralized Decision Making and Detection Problems , 2022 .