Abstraction  Abstraction compositionnelle  Algorithmes  Analyse d'atteignabilite  Analyse de réseaux sociaux  Analyse de stabilité  Antiangiogéniques  Approximation de Tikhonov  Approximation polynomiale  Approximation, Théorie de l'  Automates  Automates temporisés  Bâtiment intelligent  Cancer -- Chimiothérapie  Chiffrement  Chiffreur par flot autosynchronisant  Chimiothérapie  Commande automatique  Commande décentralisée  Commande numérique  Commande robuste  Commande, Théorie de la  Commutation, Théorie de la  Consensus  Consensus moyenné en temps fini  Consensus.  Contrat d’assume-guarantee  Control des ordinateurs  Contrôlabilité  Contrôle  Contrôle d'intégrité  Contrôle juridictionnel des lois  Contrôle symbolique  Coordination  Corps finis  Coût garanti  Croissance  Croissance tumorale  Domaine d’attraction  Evénements  Excitation persistante  Flocking  Fonction de Lyapunov  Fonctions affines par morceaux  Fonctions booléennes  Graphes, Théorie des  Hiérarchie  Immeubles intelligents  Industrie -- Informatique  Insertion de la production décentralisée  Intelligence artificielle répartie  Invariance contrôlée robuste  Invariance et contraction  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 formelles  Optimalité inverse  Optimisation polynomiale  Ordonnancement  Ordonnancement  Ordres partiels  Platitude  Programmation convexe parametrée  Programmation linéaire  Recherche  Reconstruction de la topologie  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ème coopératif  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 multi-Agents  Systèmes non linéaires  Systèmes singulièrement perturbés  Systèmes à commutation  Systèmes échantillonnés  Temps de séjour minimum  Température -- Régulation  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  Vérification  Échelles de temps  Électricité -- Production -- Génération répartie  Équations aux différences  É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 :

Automatique
En préparation depuis le 01-10-2018
Thèse en préparation


Antoine Girard a dirigé les 9 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 3 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 3 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