Solving generic parametric linear matrix inequalities

Simone Naldi, Mohab Safey El Din, Adrien Taylor +1

We consider linear matrix inequalities (LMIs) $A=A_0+x_1{A}_1+...+x_n{A}_n⪰0$ with the $A_i$'s being $m\times m$ symmetric matrices, with entries in a ring $\mathcal…