Abstraction  Algorithmes  Algorithmes exacts  Algèbre linéaire  Analyse numérique  Analyse numérique matricielle  Approche par les moments  Approximation polynomiale  Approximations polynomiales  Approximations polynomiales rigoureuses  Arithmétique Flottante  Avions -- Turbofans  Avions -- Turboréacteurs  Base de bord  Calcul formel  Calcul rigoureux  Calculs validés  Codes projectifs  Commande impulsionelle  Commande optimale  Commande prédictive  Commande robuste  Commande, Théorie de la  Complexité  Contraintes probabilistes  Contrôle  Correcteurs d'ordre fixé  Erreur d'approximation  Estimation  Estimation de la Matrice Fondamentale  Extension plate  Factorisation spectrale  Field Programmable Gate Arrays  Fonctions D-finies  Graphes, Théorie des  Hiérarchies  Inégalités matricielles linéaires  Liapounov, Stabilité de  Logiciels  Logiciels de CACSD  Logique de Hoare  Management d’énergie  Matrices  Matrices de moments  Matrices polynomiales  Mesures d’occupation  Modèles 2D  Modèles de Chebyshev –  Modèles de Fornasini-Marchesini.  Modèles de Roesser  Modèles de Taylor  Modèles mathématiques  Moments  Méthode de relaxation  Méthode formelle  Méthodes d'encadrement  Nombre chromatique  Nombre d'indépendance  Optimisation  Optimisation Globale  Optimisation combinatoire  Optimisation convexe  Optimisation distributionnellement robuste  Optimisation mathématique  Optimisation non-convexe  Optimisation non-lisse  Optimisation polynomiale  Optimisation semi-algébrique  Optimisation semi-définie  Optimisation semi-définie positive  Opérateurs Matériels  Parcimonie  Polynômes  Polynômes positifs  Problèmes des moments  Production -- Planification  Programmation linéaire  Programmation semi-définie  Programmation semi-définie positive  Programmation semidéfinie  Reconstruction 3D  Rectification d’images  Relaxation  Relaxation, Méthodes de  Relaxations de Lasserre  Relaxations semidéfinies  Sdp  Series de Chebyshev  Solutions mesures  Stabilité asymptotique  Stabilité exponentielle  Stabilité structurelle  Structure propre  Systèmes -- Identification  Systèmes discrets  Systèmes dynamiques  Systèmes embarqués  Systèmes linéaires  Systèmes multidimensionnels  Systèmes non linéaires  Systèmes polynomiaux  Systèmes à commutation  Systémes linéaires à paramêtres variants  Théorie des graphes  Théorie des moments  Toeplitz, Matrices de  Turboréacteurs  Variété de Fritz-John  Variétés  Variétés déterminantielles  Vérification  Équations aux différences  Équations différentielles non linéaires  Évaluation des fonctions  

Didier Henrion a dirigé les 9 thèses suivantes :

Automatique
Soutenue le 28-09-2017
Thèse soutenue


Didier Henrion a été rapporteur des 5 thèses suivantes :

Mathématiques appliquées
Soutenue le 15-04-2013
Thèse soutenue