Le moteur de recherche
des thèses françaises
Goran Frehse
IdRefMots clés
FR |
EN
Automates hybrides
Méthodes formelles
Simulation Qualitative
Diagnosticabilité
Technique d'abstraction
Systèmes dynamiques hybrides
Méthodes formelles (informatique)
Équations différentielles -- Théorie qualitative
Vérification de modèles (informatique)
CEGAR (algorithme)
Contrôle optimal
Simulation validée
Intervalles
Zonotopes
Méthodes ensemblistes
Principe du maximum Pontryagin
Commande, Théorie de la
Robotique
Verification
Systemes hybrides