Le moteur de recherche
des thèses françaises
Khalil Ghorbal
IdRefMots clés
FR |
EN
Systèmes dynamiques
Logiciels -- Vérification
Interprétation abstraite
Représentation canonique
Fonction booléenne
Diagrammes de Décision Binaire (BDD)
Graphe Dirigé Acylique (DAG)
Fonctions booléennes
Modèles acycliques
Complémentarité linéaire
Q-Matricité
P-Matricité
Géometrie convexe
Systèmes dynamiques hybrides
Problèmes de la complémentarité linéaire
Géométrie convexe
Ensembles invariants
Théorie de l'indice de Conley
Propriété de Wazewski
Systèmes à commutations