SPECTRA: a Maple library for linear matrix inequalities


Séminaire Modèles et Algorithmes Déterministes: CASYS

2/02/2017 - 09:30 Mr Simone Naldi Salle 106 - Batiment IMAG

Linear matrix inequalities (LMI) are a class of convex feasibility problems appearing in different applicative contexts. For instance, checking the asymptotic stability à la Lyapunov for linear differential systems, or computing nonnegativity certificates for multivariate polynomials, are LMI. I will discuss an approach based on techniques from real algebraic geometry to compute exact solutions to LMI, and what informations are carried by this representation. The related algorithms are implemented in a Maple library called SPECTRA, and part of the talk will be dedicated to discuss results of tests on interesting examples.