Inégalité matricielle linéaire

Modèle:Voir homonymes Modèle:Ébauche En optimisation convexe, une inégalité matricielle linéaire (linear matrix inequality, ou LMI) est une expression de la forme

$LMI(y):=A_0+y_1{A}_1+y_2{A}_2+\cdots +y_m{A}_m⪰0$

où

• $y=[y_i,i=1\dots m]$ est un vecteur réel,
• $A_0,A_1,A_2,\dots A_m$ sont dans l'ensemble $S_n(ℝ)$ des matrices symétriques,
• $B⪰0$ signifie que $B$ est une matrice semi-définie positive appartenant au sous-ensemble $S_n^{+}(ℝ)$ de l'ensemble des matrices symétriques $S_n(ℝ)$.

En toute rigueur, l'inégalité matricielle proposée ci-dessus est en réalité affine en $y$, en raison du terme $A_0$. On parle cependant d'inégalité matricielle linéaire par abus de langage, même lorsque $A_0\ne 0$.

• Si $A_0\ne 0$, l'inégalité matricielle affine $LMI(y)⪰0$ caractérise un ensemble convexe selon $y$.
• Si $A_0=0$, l'inégalité matricielle linéaire $LMI(y)⪰0$ caractérise un cône convexe selon $y$.

Dans le cas des inégalités matricielles stricte, on note $B\succ 0$, ce qui signifie alors que $B$ est une matrice définie positive appartenant au sous-ensemble $S_n^{++}(ℝ)$ de l'ensemble des matrices symétriques $S_n(ℝ)$. Les notations $⪰$ et $\succ$ dénotent l'Modèle:Lien (respectivement non-strict et strict) sur l'ensemble des matrices symétriques $S_n(ℝ)$.

Résolution des LMI

Il existe des méthodes numériques de résolution des LMI performantes pour déterminer notamment leur faisabilité (i.e., s'il existe au moins un vecteur $y$ tel que $LMI(y)⪰0$), ou pour effectuer une optimisation convexe sous contrainte LMI. La résolution de LMI s'effectue généralement en reformulant le problème sous la forme d'un problème d’optimisation SDP.

Un résultat important en optimisation convexe provient de l'introduction de la méthode du point intérieur. Cette méthode et ses dérivées ont été développées dans une série de publications et sont devenues le centre de l'attention dans le contexte de la résolution des problèmes LMI, notamment dans les travaux de Yurii Nesterov et Arkadii Nemirovskii.

Applications

De nombreux problèmes d'optimisation en théorie du contrôle, identification de système et traitement du signal peuvent être formulés grâce à des LMI.

Voir aussi

Bibliographie

• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage

Articles connexes

• Optimisation convexe
• Optimisation SDP
• Théorie du contrôle