Nacim Meslem
Mots clés
FR |
EN
Systèmes dynamiques
Systèmes dynamiques hybrides
Analyse par intervalles
Énergie éolienne
Commande prédictive
Drones
Équations différentielles ordinaires
Systèmes dynamiques continus
Erreurs bornées
Identification
Observation
Atteignabilité
Équations différentielles
Calcul sur des intervalles
Liapounov, Fonctions de
Système hybride
Verification formelle
Intervalle
Analyse statique
Logiciels -- Vérification