From static output feedback to structured robust static output feedback: A survey

This paper reviews the vast literature on static output feedback design for linear time-invariant systems including classical results and recent developments. In particular, we focus on static output feedback synthesis with performance specifications, structured static output feedback, and robustness. The paper provides a comprehensive review on existing design approaches including iterative linear matrix inequalities heuristics, linear matrix inequalities with rank constraints, methods with decoupled Lyapunov matrices, and non-Lyapunov-based approaches. We describe the main difficulties of dealing with static output feedback design and summarize the main features, advantages, and limitations of existing design methods. Keywords: Static output feedback (SOF), structured static output feedback , robustness, convex optimization, linear matrix inequality (LMI), bilinear matrix inequality (BMI), non-smooth non-convex optimization.

[1]  Pierre Apkarian,et al.  Nonsmooth optimization for multiband frequency domain control design , 2007, Autom..

[2]  Goele Pipeleers,et al.  Sufficient LMI conditions for reduced-order multi-objective H2/H∞ control of LTI systems , 2015, Eur. J. Control.

[3]  J. Bernussou,et al.  A new robust D-stability condition for real convex polytopic uncertainty , 2000 .

[4]  Karolos M. Grigoriadis,et al.  Low-order control design for LMI problems using alternating projection methods , 1996, Autom..

[5]  Wook Hyun Kwon,et al.  Sufficient LMI conditions for the H∞ output feedback stabilization of linear discrete-time systems , 2004, CDC.

[6]  Young-Hyun Moon,et al.  Solving Rank-Constrained LMI Problems With Application to Reduced-Order Output Feedback Stabilization , 2007, IEEE Transactions on Automatic Control.

[7]  Pierre Apkarian,et al.  Partially Augmented Lagrangian Method for Matrix Inequality Constraints , 2004, SIAM J. Optim..

[8]  J. Geromel,et al.  A new discrete-time robust stability condition , 1999 .

[9]  Yossi Joseph Peretz,et al.  A randomized approximation algorithm for the minimal-norm static-output-feedback problem , 2016, Autom..

[10]  D. Knittel,et al.  Drive requirements for elastic web roll-to-roll systems , 2013 .

[11]  Alireza Karimi,et al.  Fixed-order control of LTI systems subject to polytopic uncertainty via the concept of Strictly Positive Realness , 2015, 2015 American Control Conference (ACC).

[12]  Uri Shaked,et al.  Robust Reduced-order Output-feedback H∞ Control , 2009 .

[13]  J. Geromel,et al.  Numerical comparison of output feedback design methods , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[14]  Chaouki T. Abdallah,et al.  Static output feedback: a survey , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[15]  Dimitri Peaucelle,et al.  RESILIENT STATIC OUTPUT FEEDBACK STABILIZATION OF LINEAR PERIODIC SYSTEMS , 2006 .

[16]  Pierre Apkarian,et al.  An augmented Lagrangian method for a class of LMI-constrained problems in robust control theory , 2001, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[17]  J. Doyle,et al.  Linear, Multivariable Robust Control With a μ Perspective , 1993 .

[18]  D. Bernstein,et al.  Mixed-norm H 2 /H ∞ regulation and estimation: the discrete-time case , 1991 .

[19]  D. Peaucelle,et al.  LMI results for resilient state-feedback with H/sub /spl infin// performance , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[20]  Michael L. Overton,et al.  Hybrid expansion–contraction: a robust scaleable method for approximating the H∞ norm , 2016 .

[21]  Ian Postlethwaite,et al.  Static output feedback stabilisation with H∞ performance for a class of plants , 2001, Syst. Control. Lett..

[22]  Anders Helmersson,et al.  A Partially Augmented Lagrangian Method for Low Order ${\rm H}$-Infinity Controller Synthesis Using Rational Constraints , 2012, IEEE Transactions on Automatic Control.

[23]  John B. Moore,et al.  A Newton-like method for solving rank constrained linear matrix inequalities , 2006, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[24]  J. Doyle,et al.  mu analysis with real parametric uncertainty , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[25]  Dimitri Peaucelle,et al.  On the structure of generalized plant convexifying static H∞ control problems , 2014, Autom..

[26]  Dimitri Peaucelle,et al.  Positive polynomial matrices and improved LMI robustness conditions , 2003, Autom..

[27]  Anders Helmersson,et al.  A Quasi-Newton Interior Point Method for Low Order H-Infinity Controller Synthesis , 2011, IEEE Transactions on Automatic Control.

[28]  D. Bernstein,et al.  Mixed-norm H2/H∞ regulation and estimation: the discrete-time case , 1991, 1991 American Control Conference.

[29]  Didier Henrion,et al.  LMI optimization for fixed-order H/sub /spl infin// controller design , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[30]  Jalel Zrida,et al.  Sufficient Dilated LMI Conditions for H∞ Static Output Feedback Robust Stabilization of Linear Continuous-Time Systems , 2012, J. Appl. Math..

[31]  J. Geromel,et al.  LMI characterization of structural and robust stability: the discrete-time case , 1999 .

[32]  Hugo Lhachemi,et al.  A structured H∞-based optimization approach for integrated plant and self-scheduled flight control system design , 2015 .

[33]  Wim Michiels,et al.  Combining Convex–Concave Decompositions and Linearization Approaches for Solving BMIs, With Application to Static Output Feedback , 2011, IEEE Transactions on Automatic Control.

[34]  R. Skelton,et al.  Parametrization of all stabilizing controllers via quadratic Lyapunov functions , 1995 .

[35]  B. Barmish.  Stabilization of uncertain systems via linear control , 1983 .

[36]  Friedemann Leibfritz,et al.  An LMI-Based Algorithm for Designing Suboptimal Static H2/Hinfinity Output Feedback Controllers , 2000, SIAM J. Control. Optim..

[37]  Adrian S. Lewis,et al.  HIFOO - A MATLAB package for fixed-order controller design and H ∞ optimization , 2006 .

[38]  Adrian S. Lewis,et al.  Stabilization via Nonsmooth, Nonconvex Optimization , 2006, IEEE Transactions on Automatic Control.

[39]  Alain Bui,et al.  On optimization of continuous-time Markov networks in distributed computing , 1999, J. Glob. Optim..

[40]  Alexandre Trofino,et al.  Sufficient LMI conditions for the design of static and reduced order controllers , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[41]  A. T. Neto.  Parameter dependent Lyapunov functions for a class of uncertain linear systems: an LMI approach , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[42]  Anders Helmersson.  On Polynomial Coefficients and Rank Constraints , 2009 .

[43]  Boris Polyak,et al.  Mixed LMI/randomized methods for static output feedback control design , 2010, Proceedings of the 2010 American Control Conference.

[44]  Christelle Pittet,et al.  Systematic design methods of robust and structured controllers for satellites , 2015 .

[45]  Carsten W. Scherer,et al.  LPV control and full block multipliers , 2001, Autom..

[46]  Alireza Karimi,et al.  An LMI formulation of fixed-order H∞ and H2 controller design for discrete-time systems with polytopic uncertainty , 2013, 52nd IEEE Conference on Decision and Control.

[47]  Alireza Karimi,et al.  Fixed-order H∞ controller design for nonparametric models by convex optimization , 2010, Autom..

[48]  Tetsuya Iwasaki,et al.  The dual iteration for fixed-order control , 1999, IEEE Trans. Autom. Control..

[49]  Dimitri Peaucelle,et al.  Quadratic separation for feedback connection of an uncertain matrix and an implicit linear transformation , 2007, Autom..

[50]  Pierre Apkarian,et al.  Parametric Robust Structured Control Design , 2014, IEEE Transactions on Automatic Control.

[51]  Carsten W. Scherer,et al.  LMI Relaxations in Robust Control , 2006, Eur. J. Control.

[52]  Arash Sadeghzadeh.  Fixed-Structure H_2 Controller Design: An LMI Solution , 2012, ROCOND.

[53]  Alexandre Trofino,et al.  Sufficient LMI conditions for output feedback control problems , 1999, IEEE Trans. Autom. Control..

[54]  J.C. Geromel,et al.  H/sub 2/ and H/sub /spl infin// robust filtering for convex bounded uncertain systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[55]  S. O. Reza Moheimani,et al.  Perspectives in robust control , 2001 .

[56]  Dimitri Peaucelle,et al.  Robust performance analysis with LMI-based methods for real parametric uncertainty via parameter-dependent Lyapunov functions , 2001, IEEE Trans. Autom. Control..

[57]  Dimitri Peaucelle,et al.  LMI results for robust control design of observer-based controllers, the discrete-time case with polytopic uncertainties , 2014 .

[58]  Carsten W. Scherer,et al.  Robust static output feedback synthesis under an integral quadratic constraint on the states , 2015, 2015 European Control Conference (ECC).

[59]  Karolos M. Grigoriadis,et al.  A unified algebraic approach to linear control design , 1998 .

[60]  Maurício C. de Oliveira,et al.  H2 and H∞ robust filtering for convex bounded uncertain systems , 2001, IEEE Trans. Autom. Control..

[61]  D. Henrion,et al.  Solving polynomial static output feedback problems with PENBMI , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[62]  P. Apkarian,et al.  Nonsmooth H ∞ synthesis , 2005 .

[63]  Alireza Karimi,et al.  Robust control of polytopic systems by convex optimization , 2007, 2007 European Control Conference (ECC).

[64]  Dimitri Peaucelle,et al.  An iterative method for mixed H2/H8 synthesis via static output-feedback , 2002 .

[65]  Gary J. Balas,et al.  Evaluating D-K iteration for control design , 1994, Proceedings of 1994 American Control Conference - ACC '94.

[66]  Pierre Apkarian,et al.  Non‐smooth structured control design with application to PID loop‐shaping of a process , 2007 .

[67]  Dimitri Peaucelle,et al.  S-Variable Approach to LMI-Based Robust Control , 2014 .

[68]  Pierre Apkarian,et al.  Robust control via concave minimization local and global algorithms , 2000, IEEE Trans. Autom. Control..

[69]  K. Grigoriadis,et al.  Alternating projection algorithms for linear matrix inequalities problems with rank constraints , 1999 .

[70]  Paolo Falcone,et al.  New LMI conditions for static output feedback synthesis with multiple performance objectives , 2014, 53rd IEEE Conference on Decision and Control.

[71]  Fuwen Yang,et al.  Fixed-Order Robust $H_{\infty}$ Controller Design With Regional Pole Assignment , 2007, IEEE Transactions on Automatic Control.

[72]  O. Toker,et al.  On the NP-hardness of solving bilinear matrix inequalities and simultaneous stabilization with static output feedback , 1995, Proceedings of 1995 American Control Conference - ACC'95.

[73]  M. Overton,et al.  Fixed Low-Order Controller Design and H∞Optimization for Large-Scale Dynamical Systems , 2015 .

[74]  S. Hara,et al.  Well-posedness of feedback systems: insights into exact robustness analysis and approximate computations , 1998, IEEE Trans. Autom. Control..

[75]  Masami Saeki,et al.  Synthesis of output feedback gain-scheduling controllers based on descriptor LPV system representation , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[76]  J. Bernussou,et al.  H/sub 2/ and H/sub /spl infin// robust output feedback control for continuous time polytopic systems , 2007 .

[77]  Denis Arzelier,et al.  LMI results for resilient state-feedback with Hinf performance , 2004 .

[78]  Yong-Yan Cao,et al.  Static output feedback simultaneous stabilization: ILMI approach , 1998 .

[79]  Arash Sadeghzadeh,et al.  Fixed-order H2 controller design for state space polytopic systems , 2014 .

[80]  Pierre Apkarian,et al.  Nonsmooth H∞ synthesis , 2005, IEEE Trans. Autom. Control..

[81]  Régis Ouvrard,et al.  A H∞ control for optimizing the advanced oxidation processes—Case of a catalytic ozonation reactor , 2015 .

[82]  Ricardo C. L. F. Oliveira,et al.  LMI Relaxations for Reduced-Order Robust ${\cal H}_{\infty}$ Control of Continuous-Time Uncertain Linear Systems , 2012, IEEE Transactions on Automatic Control.

[83]  Adrian S. Lewis,et al.  A Robust Gradient Sampling Algorithm for Nonsmooth, Nonconvex Optimization , 2005, SIAM J. Optim..

[84]  Minyue Fu,et al.  Guaranteed cost control of uncertain nonlinear systems via polynomial lyapunov functions , 2002, IEEE Trans. Autom. Control..

[85]  Youxian Sun,et al.  Output feedback decentralized stabilization: ILMI approach , 1998 .

[86]  J. Doyle,et al.  Essentials of Robust Control , 1997 .

[87]  Guang-Hong Yang,et al.  LMI conditions for H∞ static output feedback control of discrete-time systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[88]  Denis Arzelier,et al.  H 2 for HIFOO , 2010 .

[89]  Alireza Karimi,et al.  Fixed-order H∞ and H2 controller design for continuous-time polytopic systems: An LMI-based approach , 2013, 2013 European Control Conference (ECC).

[90]  Gérard Scorletti,et al.  Control of rational systems using linear-fractional representations and linear matrix inequalities , 1996, Autom..

[91]  R. Skelton,et al.  The XY-centring algorithm for the dual LMI problem: a new approach to fixed-order control design , 1995 .

[92]  Guilhem Puyou,et al.  Tolerance of Aircraft Longitudinal Control to the Loss of Scheduling Information : Toward a Performance Oriented Approach , 2012, ROCOND.

[93]  Pierre Apkarian,et al.  Decentralized and fixed-structure H∞ control in MATLAB , 2011, IEEE Conference on Decision and Control and European Control Conference.

[94]  Robert E. Skelton,et al.  Static output feedback controllers: stability and convexity , 1998, IEEE Trans. Autom. Control..

[95]  Pierre Apkarian,et al.  Tuning controllers against multiple design requirements , 2012, 2013 American Control Conference.

[96]  Dimitri Peaucelle,et al.  Ellipsoidal sets for resilient and robust static output-feedback , 2005, IEEE Transactions on Automatic Control.

[97]  L. El Ghaoui,et al.  Synthesis of fixed-structure controllers via numerical optimization , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[98]  Y. Ebihara,et al.  New dilated LMI characterizations for continuous-time control design and robust multiobjective control , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[99]  Denis Arzelier,et al.  H2 for HIFOO , 2010, 1010.1442.

[100]  Martin Řezáč,et al.  Structured MIMO H∞ design for dual-stage inertial stabilization: Case study for HIFOO and Hinfstruct solvers , 2013 .

[101]  D. Henrion,et al.  AN ALGORITHM FOR STATIC OUTPUT FEEDBACK SIMULTANEOUS STABILIZATION OF SCALAR PLANTS , 2002 .

[102]  C. Scherer,et al.  Multiobjective output-feedback control via LMI optimization , 1997, IEEE Trans. Autom. Control..

[103]  Olivier Bachelier,et al.  Static output feedback design for uncertain linear discrete time systems , 2004, IMA J. Math. Control. Inf..

[104]  Michael L. Overton,et al.  Multiobjective robust control with HIFOO 2.0 , 2009, 0905.3229.

[105]  Pierre Apkarian,et al.  Concave Programming in Control Theory , 1999, J. Glob. Optim..

[106]  L. Ghaoui,et al.  A cone complementarity linearization algorithm for static output-feedback and related problems , 1997, IEEE Trans. Autom. Control..

[107]  Didier Henrion.  Optimization Based Robust Control , 2015, Encyclopedia of Systems and Control.

[108]  Adrian S. Lewis,et al.  Nonsmooth optimization via quasi-Newton methods , 2012, Mathematical Programming.

[109]  Guang-Hong Yang,et al.  Robust static output feedback control synthesis for linear continuous systems with polytopic uncertainties , 2013, Autom..

[110]  D. Henrion.  FrAO 1-1 LMI optimization , for fixed-order H , controller design , 2003 .

[111]  Dimitri Peaucelle,et al.  LMI Formulation For The Resilient Dynamic Output Feedback Stabilization of Linear Periodic Systems , 2006 .

[112]  S. Gumussoy,et al.  Fixed-order H∞ controller design via HIFOO, a specialized nonsmooth optimization package , 2008, 2008 American Control Conference.

[113]  D. Siljak,et al.  Control of Complex Systems: Structural Constraints and Uncertainty , 2010 .

[114]  A. Trofino.  Robust stability and domain of attraction of uncertain nonlinear systems , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[115]  Bruce A. Francis,et al.  The internal model principle of control theory , 1976, Autom..

[116]  Tomomichi Hagiwara,et al.  Structured controller synthesis using LMI and alternating projection method , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[117]  Tetsuya Iwasaki,et al.  All controllers for the general H∞ control problem: LMI existence conditions and state space formulas , 1994, Autom..

[118]  Liu Hsu,et al.  LMI characterization of structural and robust stability , 1998, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[119]  Ricardo C. L. F. Oliveira,et al.  Robust ℋ︁2 static output feedback design starting from a parameter‐dependent state feedback controller for time‐invariant discrete‐time polytopic systems , 2011 .

[120]  Alireza Karimi,et al.  Fixed-order Controller Design for State Space Polytopic Systems by Convex Optimization , 2013 .

[121]  D. Peaucelle,et al.  An efficient numerical solution for H2 static output feedback synthesis , 2001, 2001 European Control Conference (ECC).

[122]  Ufuk Topcu,et al.  Parameter-Dependent Lyapunov Functions for Linear Systems With Constant Uncertainties , 2009, IEEE Transactions on Automatic Control.

[123]  Michael Stingl,et al.  PENNON: A code for convex nonlinear and semidefinite programming , 2003, Optim. Methods Softw..

[124]  A. Rantzer,et al.  System analysis via integral quadratic constraints , 1997, IEEE Trans. Autom. Control..

[125]  Arash Sadeghzadeh,et al.  Fixed-Order H∞ Controller Design for Systems with Polytopic Uncertainty , 2011 .

[126]  R. Benton,et al.  Static output feedback stabilization with prescribed degree of stability , 1998, IEEE Trans. Autom. Control..

[127]  B. Barmish.  Necessary and sufficient conditions for quadratic stabilizability of an uncertain system , 1985 .

[128]  Dennis S. Bernstein,et al.  Fixed-structure discrete-time H 2 / H ∞ controller synthesis using the delta operator , 2002 .

[129]  S. Tarbouriech,et al.  Rank-one LMI approach to simultaneous stabilization of linear systems , 1999, 1999 European Control Conference (ECC).

[130]  P. Apkarian,et al.  Fixed‐order H∞ control design via a partially augmented Lagrangian method , 2003 .

[131]  Wook Hyun Kwon,et al.  Sufficient LMI conditions for the H/sub /spl infin// output feedback stabilization of linear discrete-time systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[132]  Laurent El Ghaoui,et al.  Advances in linear matrix inequality methods in control: advances in design and control , 1999 .

[133]  A. Trofino,et al.  LMI stability conditions for uncertain rational nonlinear systems , 2014 .

[134]  Stephen P. Boyd,et al.  A path-following method for solving BMI problems in control , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[135]  P. Khargonekar,et al.  Robust stabilization of uncertain linear systems: quadratic stabilizability and H/sup infinity / control theory , 1990 .

[136]  Graziano Chesi.  Robust Static Output Feedback Controllers via Robust Stabilizability Functions , 2014, IEEE Trans. Autom. Control..