Séminaire LJK-Modèles et Algorithmes Déterministes: CASYS
-
Le Jeudi 2 Février 2017 à 9h30 en Salle 106 - Batiment IMAG
-
Séminaire de Mr Simone NALDI
-
SPECTRA: a Maple library for linear matrix inequalities
-
Résumé:
-
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.
-