Sriram Sankaranarayanan
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Systèmes dynamiques
Modèle polyédrique
Tuilage
Équivalence de programme
Reconnaissance de template
BLAS
Ordre de lôwner
Majorant minimal
Invariant
Système commuté
Rayon spectral commun
Contrôle optimal
Invariants
Matrices symétriques
Systèmes Dynamiques
Simulation
Systèmes hybrides
Approximations
Analyse du système