Algorithme de planification  Algorithmes  Analyse d'atteignabilite  Analyse d'atteignabilité  Application data parallèles  Calcul de l'ensemble d'états atteignables  Circuits de commutation  Commande par commutation  Commande, Théorie de la  Commutation, Théorie de la  DMA  Domaine abstrait  Ensembles invariants  Hybridisation  Industrie -- Informatique  Invariant  Linéarisation  Model-Checking statistique  Modèles mathématiques  Modélisation  Modélisation des données  Méthodes formelles  Méthodes formelles  Ordonnancement  Polyhèdre  Polytopes  Programmation dynamique  Propriété de Wazewski  Réduction de modèle  Simulink  Simulink  Stabilité  Surveillance  Synthèse compositionnelle  Synthèse de contrôle  Synthèse des paramètres  Systemes multiprocesseurs sur puce  Systèmes avec différents niveaux de criticités  Systèmes biologiques  Systèmes complexes  Systèmes continus  Systèmes cyber-Physiques  Systèmes dynamiques  Systèmes dynamiques continus  Systèmes dynamiques hybrides  Systèmes hybride  Systèmes hybrides  Systèmes multi-Échelles  Systèmes non linéaires  Systèmes non-linéaires  Systèmes temps-réel  Systèmes à commutations  Template  Temps entre défaillances, Analyse des  Temps réel  Tests basés sur la simulation  Tests de correction  Théorie de l'indice de Conley  Verification  Véhicule autonome  Véhicules autonomes  Vérification  Zonotopes complexes  Équations aux dérivées partielles  

Thao Dang a dirigé les 7 thèses suivantes :

Mathématiques Appliquées
Soutenue le 07-05-2018
Thèse soutenue

Thao Dang a été président de jury de la thèse suivante :

Informatique
Soutenue le 26-06-2019
Thèse soutenue

Thao Dang a été rapporteur des 2 thèses suivantes :


Thao Dang a été membre de jury de la thèse suivante :