Optimization on linear matrix inequalities for polynomial systems control - Archive ouverte HAL
Communication Dans Un Congrès Année : 2013

Optimization on linear matrix inequalities for polynomial systems control

Résumé

Many problems of systems control theory boil down to solving polynomial equations, polynomial inequalities or polyomial differential equations. Recent advances in convex optimization and real algebraic geometry can be combined to generate approximate solutions in floating point arithmetic. In the first part of the course we describe semidefinite programming (SDP) as an extension of linear programming (LP) to the cone of positive semidefinite matrices. We investigate the geometry of spectrahedra, convex sets defined by linear matrix inequalities (LMIs) or affine sections of the SDP cone. We also introduce spectrahedral shadows, or lifted LMIs, obtained by projecting affine sections of the SDP cones. Then we review existing numerical algorithms for solving SDP problems. In the second part of the course we describe several recent applications of SDP. First, we explain how to solve polynomial optimization problems, where a real multivariate polynomial must be optimized over a (possibly nonconvex) basic semialgebraic set. Second, we extend these techniques to ordinary differential equations (ODEs) with polynomial dynamics, and the problem of trajectory optimization (analysis of stability or performance of solutions of ODEs). Third, we conclude this part with applications to optimal control (design of a trajectory optimal w.r.t. a given functional). For some of these decision and optimization problems, it is hoped that the numerical solutions computed by SDP can be refined a posteriori and certified rigorously with appropriate techniques.
Fichier principal
Vignette du fichier
jncf2013-henrion.pdf (995.74 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00860856 , version 1 (11-09-2013)

Identifiants

Citer

Didier Henrion. Optimization on linear matrix inequalities for polynomial systems control. Journées Nationales de Calcul Formel, May 2013, Luminy, France. ⟨hal-00860856⟩
172 Consultations
469 Téléchargements

Altmetric

Partager

More