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.