A separation theorem for guaranteed H2 performance through matrix inequalities

The usage of convex optimisation programs that leverage linear matrix inequalities allows for numerical solutions to the design of output-feedback controllers with guaranteed H2 performance. As decreed by the classical separation theorem for the related LQG control problem, the H2 control problem admits an optimal solution in terms of those of the separate optimal state-estimation and state-feedback design problems. This work details a new and alternative proof of this separation theorem. The proof builds on techniques for (linear) matrix inequalities and shows, in particular, that feasible but sub-optimal solutions of the state-feedback and the state-estimation problem yield a sub-optimal output feedback controller with guaranteed H2 performance.

[1]  Sofie Haesaert,et al.  Data-driven and model-based methods for verification and control of physical systems , 2017 .

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

[3]  D. Mayne,et al.  On the discrete time matrix Riccati equation of optimal control , 1970 .

[4]  Vlad Ionescu,et al.  Continuous and discrete-time Riccati theory: A Popov-function approach , 1993 .

[5]  A. Ran,et al.  Existence and comparison theorems for algebraic Riccati equations for continuous- and discrete-time systems , 1988 .

[6]  B.P. Molinari,et al.  The time-invariant linear-quadratic optimal control problem , 1977, Autom..

[7]  Uwe Mackenroth,et al.  H 2 Optimal Control , 2004 .

[8]  Izumi Masubuchi,et al.  LMI-based controller synthesis: A unified formulation and solution , 1998 .

[9]  Ali Saberi,et al.  Filtering Theory - With Applications to Fault Detection, Isolation, and Estimation , 2007 .

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

[11]  C. Scherer,et al.  Linear Matrix Inequalities in Control , 2011 .

[12]  D. Joseph,et al.  On linear control theory , 1961, Transactions of the American Institute of Electrical Engineers, Part II: Applications and Industry.

[13]  Ian R. Petersen,et al.  Monotonicity and stabilizability- properties of solutions of the Riccati difference equation: Propositions, lemmas, theorems, fallacious conjectures and counterexamples☆ , 1985 .

[14]  Mihail Zervos,et al.  A new proof of the discrete-time LQG optimal control theorems , 1995, IEEE Trans. Autom. Control..

[15]  Ali Saberi,et al.  The discrete algebraic Riccati equation and linear matrix inequality , 1998 .

[16]  W. Wonham.  On the Separation Theorem of Stochastic Control , 1968 .

[17]  C. Striebel.  Sufficient statistics in the optimum control of stochastic systems , 1965 .