Nacim Meslem
IdRefMots clés
FR |
EN
Systèmes dynamiques
Systèmes dynamiques hybrides
Analyse par intervalles
Équations différentielles ordinaires
Systèmes dynamiques continus
Erreurs bornées
Identification
Observation
Atteignabilité
Équations différentielles
Calcul sur des intervalles
Observateurs par intervalles
Mesures sporadiques
Echantillonnages contrôlés
Estimation sécurisée
Objets coopérants (informatique)
Observateurs intervalles
Liapounov, Fonctions de
Système hybride
Verification formelle