Abstraction  Abstraction compositionnelle  Algorithmes  Analyse d'atteignabilite  Analyse de réseaux sociaux  Analyse de stabilité  Analyse par intervalles  Analyse statique  Antiangiogéniques  Approximation de Tikhonov  Approximation polynomiale  Approximation, Théorie de l'  Automates  Automates temporisés  Automatique  Bâtiment intelligent  Calcul des variations  Chiffrement  Chiffreur par flot autosynchronisant  Chimiothérapie  Chimiothérapie anticancéreuse  Commande automatique  Commande basée sur l'optimisation  Commande décentralisée  Commande numérique  Commande prédictive  Commande robuste  Commande, Théorie de la  Commutation, Théorie de la  Computer science  Consensus  Consensus moyenné en temps fini  Consensus.  Contraintes non-convexes  Contrat d’assume-guarantee  Control des ordinateurs  Contrôlabilité  Contrôle  Contrôle PI  Contrôle aux bords  Contrôle d'intégrité  Contrôle juridictionnel des lois  Contrôle symbolique  Coordination  Corps finis  Courants marins  Coût garanti  Croissance  Croissance tumorale  Domaine d’attraction  Ellipsoides  Ensembles convexes  Ensembles invariants  Entropie  Estimation d'état  Estimation d'état ensembliste  Evénements  Excitation persistante  Fiabilité  Flocking  Flotteurs profilers  Fonction de Lyapunov  Fonctions affines par morceaux  Fonctions booléennes  Fonctions de Lyapunov  Graphes, Théorie des  Hiérarchie  Hybride  Immeubles intelligents  Industrie -- Informatique  Inhomogénéités  Insertion de la production décentralisée  Intelligence artificielle répartie  Interprétation abstraite  Intervalle  Invariance contrôlée robuste  Invariance et contraction  Inégalité matricielle linéaire  Inégalités matricielles linéaires  Liapounov, Fonctions de  Liapounov, Stabilité de  Logiciels -- Vérification  Lois d'équilibre  Lois de conservation  Lois de contrôle  Marges de robustesse/ fragilité  Modèles mathématiques  Modèles symboliques  Méthodes de la théorie des ensembles  Méthodes ensemblistes  Méthodes formelles  Méthodes formelles  Optimalité inverse  Optimisation mathématique  Optimisation polynomiale  Ordonnancement  Ordonnancement  Ordres partiels  Platitude  Programmation convexe parametrée  Programmation en nombres entiers  Programmation linéaire  Programmation mixte en nombre entiers  Programmation par contraintes  Quantificateurs  Quantificateurs  Recherche  Reconstruction de la topologie  Robotique sous-marine  Robots -- Dynamique  Robots sous-marins  Robustesse  Robustesse du réseau  Réduction SAT  Résaux physiques  Réseaux  Réseaux  Réseaux d'ordinateurs  Réseaux électriques  Singulièrement perturbé  Stabilisation  Stabilité  Stabilité en tension  Stabilité exponentielle  Synchronisation  Synthèse compositionelle de contrôleurs  Synthèse compositionnelle  Synthèse de contrôleur  Synthèse des paramètres  Synthèse à base d'abstraction  Systèmes linéaires  Système coopératif  Système hybride  Système multi-Agents  Système multi-agents  Systèmes EDO  Systèmes Hybrides  Systèmes Hyperboliques  Systèmes commutés  Systèmes complexes  Systèmes cyber-Physiques  Systèmes cyber-physiques  Systèmes dynamiques  Systèmes dynamiques hybrides  Systèmes dynamiques multi-agents  Systèmes hybrides  Systèmes hyperboliques  Systèmes linéaires  Systèmes linéaires invariants  Systèmes multi-Agents  Systèmes non linéaires  Systèmes singulièrement perturbés  Systèmes à commutation  Systèmes échantillonnés  Systèmes, Analyse de  Temps de séjour minimum  Température -- Régulation  Théorie de la commande  Théorie des ensembles  Théorie des graphes  Théorie du contrôle  Thérapie génique  Topologie  Traitement anti-Angiogénique  Traitement réparti  Tumeurs  Télécommunications -- Systèmes de commutation  Verification formelle  Véhicules autonomes  Vérification  Vérification de modèles  Zonotopes  Échelles de temps  Électricité -- Production -- Génération répartie  Équations aux différences  Équations aux dérivées partielles  Équations aux dérivées partielles non linéaires  Équations de Saint-Venant  Équations différentielles linéaires  

Antoine Girard a rédigé la thèse suivante :

Mathématiques appliquées
Soutenue en 2004
Thèse soutenue


Antoine Girard dirige actuellement la thèse suivante :


Antoine Girard a dirigé les 10 thèses suivantes :

Mathématiques appliquées
Soutenue le 15-04-2013
Thèse soutenue
Mathématiques Appliquées
Soutenue le 28-11-2012
Thèse soutenue


Antoine Girard a été président de jury des 6 thèses suivantes :

Automatique, Traitement du signal et des images, Génie informatique
Soutenue le 19-09-2017
Thèse soutenue

Antoine Girard a été rapporteur des 6 thèses suivantes :

Automatique, Traitement du Signal et des Images, Génie Informatique
Soutenue le 27-11-2015
Thèse soutenue

Antoine Girard a été membre de jury des 5 thèses suivantes :

Automatique, Traitement du Signal et des Images, Génie informatique
Soutenue le 03-10-2012
Thèse soutenue