Algorithme de planification  Algorithmes  Analyse d'atteignabilite  Analyse d'atteignabilité  Application data parallèles  Calcul de l'ensemble d'états atteignables  Causalité  Circuits de commutation  Commande par commutation  Commande, Théorie de la  Commutation, Théorie de la  DMA  Domaine abstrait  Ensembles invariants  Explications  Formal Methods  Hybridisation  Industrie -- Informatique  Invariant  Linéarisation  Machine Learning  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 Hybrides  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  Timed formalisms  Verification  Véhicule autonome  Véhicules autonomes  Vérification  Zonotopes complexes  Équations aux dérivées partielles  

Thao Dang dirige actuellement les 2 thèses suivantes :

Informatique.
En préparation depuis le 01-10-2019
Thèse en préparation

Data Mining Dynamic Behaviors using Signal Temporal Logic

par Akshay Mambakam sous la direction de Thao Dang et de Nicolas Basset . - Université Grenoble Alpes

Informatique
En préparation depuis le 05-09-2019
Thèse en préparation


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


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


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


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