SIGNALER une erreur


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 -- Logiciels  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 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 :

Génération de codes et d'annotations prouvables d'algorithmes de points intérieurs à destination de systèmes embarqués critiques

par Guillaume Davy sous la direction de Didier Henrion et de Pierre-Loïc Garoche . - Toulouse, ISAE

Sûreté de logiciel et calcul de haute performance
Soutenue le 06-12-2018
Thèse soutenue

Accéder en ligne

Computing approximations and generalized solutions using moments and positive polynomials

par Tillmann Weisser sous la direction de Jean-Bernard Lasserre et de Didier Henrion . - Toulouse 3

Mathématiques appliquées
Soutenue le 03-10-2018
Thèse soutenue

Accéder en ligne

Some approximation schemes in polynomial optimization

par Roxana Hess sous la direction de Didier Henrion - Toulouse 3

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

Accéder en ligne

Exact algorithms for determinantal varieties and semidefinite programming

par Simone Naldi sous la direction de Didier Henrion et de Mohab Safey El Din . - Toulouse, INSA

Automatique et Informatique
Soutenue le 24-09-2015
Thèse soutenue

Accéder en ligne

Mesures d'occupation et relaxations semi-définies pour la commande optimale

par Mathieu Claeys sous la direction de Didier Henrion et de Jean-Bernard Lasserre . - Toulouse, INSA

Automatique
Soutenue le 08-10-2013
Thèse soutenue

Accéder en ligne

Vision 3D multi-images : contribution à l’obtention de solutions globales par optimisation polynomiale et théorie des moments

par Florian Bugarin sous la direction de Didier Henrion et de Jean-José Orteu . - Toulouse, INPT

Automatique et Robotique
Soutenue le 05-10-2012
Thèse soutenue

Accéder en ligne

Synthèse LPV polynomiale appliquée à la commande de turboréacteurs

par Wilfried Gilbert sous la direction de Didier Henrion et de Jacques Bernussou . - Toulouse, INSA

Systèmes automatiques
Soutenue en 2008
Thèse soutenue

Commande robuste multivariable des turboréacteurs

par Luc Reberga sous la direction de Jacques Bernussou et de Didier Henrion . - Toulouse, INSA

Automatique
Soutenue en 2005
Thèse soutenue

Algorithmes numériques pour les matrices polynomiales avec applications en commande

par Juan Carlos Zúñiga Anaya sous la direction de Didier Henrion - Toulouse, INSA

Systèmes automatiques
Soutenue en 2005
Thèse soutenue

Accéder en ligne

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

Matrices de moments, géométrie algébrique réelle et optimisation polynomiale

par Marta Abril Bucero sous la direction de Bernard Mourrain - Nice

Mathématiques appliquées
Soutenue le 12-12-2014
Thèse soutenue

Accéder en ligne

Semidefinite programming in combinatorial optimization with applications to coding theory and geometry

par Alberto Passuello sous la direction de Christine Bachoc - Bordeaux 1

Mathématiques pures
Soutenue le 17-12-2013
Thèse soutenue

Accéder en ligne

Programmation semi-définie positive. Méthodes et algorithmes pour le management d’énergie

par Agnès Maher (Gorge) sous la direction de Abdel-Ilah Lisser - Paris 11

Informatique
Soutenue le 26-09-2013
Thèse soutenue

Accéder en ligne

Analyse et contrôle des systèmes dynamiques polynomiaux

par Mohamed Amin Ben Sassi sous la direction de Antoine Girard et de Guillaume James . - Grenoble

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

Accéder en ligne

Approximations polynomiales rigoureuses et applications

par Mioara Maria Joldes sous la direction de Jean-Michel Muller et de Nicolas Brisebarre . - Lyon, École normale supérieure

Informatique
Soutenue le 26-09-2011
Thèse soutenue

Accéder en ligne
ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales