Pascale Marangé
IdRefMots clés
FR |
EN
Commande automatique
Systèmes échantillonnés
Régénération
Modélisation
Vérification formelle
Ordonnancement (informatique)
Système manufacturier flexible
Economie circulaire
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
Ordonnancement (gestion)
Perturbation (mathématiques)
Commande robuste