Le moteur de recherche
des thèses françaises
Thao Dang
IdRefMots clés
FR |
EN
Systèmes hybrides
Systèmes dynamiques
Vérification
Logiciels -- Vérification
Méthodes formelles
Ensembles invariants
Commande automatique
Véhicules autonomes
Méthodes formelles (informatique)
Systèmes dynamiques hybrides
Théorie de la commande
Algorithmes
Vérification de modèles (informatique)
Théorie de l'indice de Conley
Propriété de Wazewski
Systèmes à commutations
Systèmes continus
Théorie de la commutation
Véhicule autonome
Model-Checking statistique