1: \begin{abstract}

2: Following a polynomial approach, many robust fixed-order controller design problems can be formulated as

3: optimization problems whose set of feasible solutions is modelled by parametrized polynomial matrix inequalities

4: (PMI). These feasibility sets are typically nonconvex. Given a parametrized PMI set, we provide

5: a hierarchy of linear matrix inequality (LMI) problems whose optimal solutions generate

6: inner approximations modelled by a single polynomial superlevel set. Those inner

7: approximations converge in a well-defined analytic sense to the nonconvex original feasible set,

8: with asymptotically vanishing conservatism.

9: One may also impose the hierarchy of inner approximations to be nested or

10: convex. In the latter case they do not converge any more to the feasible set, but they can be used in

11: a convex optimization framework at the price of some conservatism.

12: Finally, we show that the specific geometry of nonconvex polynomial stability regions

13: can be exploited to improve convergence of the hierarchy of inner approximations.

14: \end{abstract}