Inner approximations for polynomial matrix inequalities and robust stability regions
Authors:
- Didier HenrionDHDidier Henrion
- Jean Bernard LasserreJLJean Bernard Lasserre
Preprint
Abstract
Following a polynomial approach, many robust fixed-order controller design problems can be formulated as optimization problems whose set of feasible solutions is modelled by parametrized polynomial matrix inequalities (PMI). These feasibility sets are typically nonconvex. Given a parametrized PMI set, we provide a hierarchy of linear matrix inequality (LMI) problems whose optimal solutions generate inner approximations modelled by a single polynomial sublevel set. Those inner approximations converge in a strong analytic sense to the nonconvex original feasible set, with asymptotically vanishing conservatism. One may also impose the hierarchy of inner approximations to be nested or convex. In the latter case they do not converge any more to the feasible set, but they can be used in a convex optimization framework at the price of some conservatism. Finally, we show that the specific geometry of nonconvex polynomial stability regions can be exploited to improve convergence of the hierarchy of inner approximations.Keywords
All Related Versions
This publication has 15 references indexed in Scilit:
- Approximate Volume and Integration for Basic Semialgebraic SetsSIAM Review, 2009
- Moments, Positive Polynomials and Their Applications2009
- SOS approximations of nonnegative polynomials via simple high degree perturbationsMathematische Zeitschrift, 2006
- Robust pole assignment via reflection coefficients of polynomialsAutomatica, 2006
- Convergent Relaxations of Polynomial Matrix Inequalities and Static Output FeedbackIEEE Transactions on Automatic Control, 2006
- Ellipsoidal approximation of the stability domain of a polynomialIEEE Transactions on Automatic Control, 2003
- Positive polynomials and robust stabilization with fixed-order controllersIEEE Transactions on Automatic Control, 2003
- Lectures on Modern Convex Optimization2001
- Guaranteed characterization of stability domains via set inversionIEEE Transactions on Automatic Control, 1994
- Real Analysis and Probability.The American Mathematical Monthly, 1975