Abstraction  Algorithmes  Algorithmes exacts  Algèbre linéaire  Analyse numérique  Analyse numérique matricielle  Analyse variationnelle  Approche par les moments  Approximation polynomiale  Approximations polynomiales  Approximations polynomiales rigoureuses  Arithmétique Flottante  Automatique  Avions -- Turbofans  Avions -- Turboréacteurs  Base de bord  Calcul formel  Calcul rigoureux  Calcul tensoriel  Calculs validés  Codes projectifs  Commande H1  Commande impulsionelle  Commande optimale  Commande prédictive  Commande robuste  Commande, Théorie de la  Complexité  Contraintes probabilistes  Contrôle  Contrôle optimal  Correcteurs d'ordre fixé  EDP non-linéaires  Edp  Erreur d'approximation  Estimation  Estimation de la Matrice Fondamentale  Extension plate  Factorisation spectrale  Field Programmable Gate Arrays  Fonctions D-finies  Fonctions Lyapunov  Graphes, Théorie des  Génie électrique  Hiérarchie de Lasserre  Hiérarchie moments-sommes-de-carrés  Hiérarchies  Intelligence artificielle  Intelligence artificielle répartie  Inégalités matricielles linéaires  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  Méthodes de Lyapunov  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 rationnelle  Optimisation semi-algébrique  Optimisation semi-définie  Optimisation semi-définie positive  Opérateurs Matériels  Parcimonie  Polynômes  Polynômes positifs  Problème des moments  Problèmes des moments  Production -- Planification  Programmation dynamique  Programmation linéaire  Programmation semi-definie positive  Programmation semi-définie  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  Robots -- Systèmes de commande  Robots manipulateurs flexibles  Sdp  Series de Chebyshev  Servomécanismes  Solutions mesures  Stabilité  Stabilité asymptotique  Stabilité exponentielle  Stabilité structurelle  Structure propre  Système à temp-discret non-linéaire  Systèmes -- Identification  Systèmes LPV  Systèmes discrets  Systèmes dynamiques  Systèmes dynamiques non linéaires  Systèmes embarqués  Systèmes interconnectés  Systèmes linéaires  Systèmes multidimensionnels  Systèmes non linéaires  Systèmes polynomiaux  Systèmes à commutation  Systèmes échantillonnés  Systémes linéaires à paramêtres variants  Tenseur et décomposition CP  Théorie des graphes  Théorie des moments  Toeplitz, Matrices de  Traitement du signal  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 dirige actuellement les 3 thèses suivantes :

Automatique
En préparation depuis le 01-09-2019
Thèse en préparation

Automatique et Informatique
En préparation depuis le 01-11-2018
Thèse en préparation


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

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


Didier Henrion a été président de jury de la thèse suivante :

Automatique, Traitement du Signal et des Images, Génie Informatique
Soutenue le 18-12-2019
Thèse soutenue

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

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