Manel Khlif
Mots clés
FR |
EN
Petri, Réseaux de
Systèmes à événements discrets
Systèmes échantillonnés
Systèmes ferroviaires
Commande automatique
Réseaux de Petri
Supervision
Systèmes d'allocation de ressources
Évitement de blocages
Contrôlabilité et observabilité partielle
Systèmes complexes
Commande, Théorie de la
Systèmes de transport intelligent
Chemins de fer -- Trafic -- Régulation
Systèmes embarqués critiques
Diagnosticabilité
Conception d'architectures matérielles-logiciels
Sûreté de fonctionnement
Cosita
Systèmes embarqués (informatique)