Thème scientifique : Automatique des Systèmes à Événements Discrets (SED)

- Modèles et méthodes pour le développement (de la spécification à l’implantation) des applications de commande et de supervision des SED

• Synthèse de la commande (Automates, Réseaux de Petri, Approches algébriques, …)
• Validation & vérification (vérification formelle, test, …)

- Méthodes et modèles pour la surveillance, le diagnostic et la reconfiguration des SED:

• Diagnostic basé sur les modèles (approches diagnostiqueurs, chroniques, résidus, …)
• Reconfiguration dynamique des SED (synthèse en ligne, gestion des modes, …)

Domaines applicatifs

• Systèmes de production manufacturiers (conception de la commande et de la supervision, surveillance, diagnostic, reconfiguration)
• Systèmes embarqués (automobile, ferroviaire, aéronautique, militaire, ...)
• Energie (production, réseau de distribution, …)
• Santé (aide au handicap, surveillance à domicile, …)