Pascale Marangé
Mots clés
FR |
EN
Commande automatique
Systèmes échantillonnés
Régénération
Économie circulaire
Produits commerciaux -- Cycle de vie
Systèmes d'aide à la décision
Décision multicritère
Modélisation
Vérification formelle
Ordonnancement (informatique)
Système manufacturier flexible
Validation de la commande, Synthèse de la commande, Model checking, Systèmes manufacturiers
Systèmes homme-machine
Modèles mathématiques
Industries manufacturières
Ordonnancement de la production
Systèmes à événements discrets
Perturbations
Model Checking statistique
Robustesse