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  Chiffrement  Chiffreur par flot autosynchronisant  Chimiothérapie  Chimiothérapie anticancéreuse  Commande automatique  Commande décentralisée  Commande numérique  Commande robuste  Commande, Théorie de la  Commutation, Théorie de la  Computer science  Consensus  Consensus moyenné en temps fini  Consensus.  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  Coût garanti  Croissance  Croissance tumorale  Data-driven  Domaine d’attraction  Ellipsoides  Ensembles convexes  Entropie  Estimation d'état  Estimation d'état ensembliste  Evénements  Excitation persistante  Flocking  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  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 formelles  Optimalité inverse  Optimisation polynomiale  Ordonnancement  Ordonnancement  Ordres partiels  Platitude  Programmation convexe parametrée  Programmation linéaire  Quantificateurs  Quantificateurs  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è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 monotone  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 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érification  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 les 3 thèses suivantes :

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

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 5 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 5 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