La théorie du contrôle supervisé
Cette théorie propre aux systèmes à événements discrets formule des problèmes de contrôle en termes de propriétés à satisfaire selon diverses architectures de systèmes. Une spécification de contrôle décrit le comportement légal d'un système par rapport à son comportement libre tout en indiquant ses événements contrôlables et observables. L'objectif est de réaliser un superviseur tel que le système en boucle fermée opère correctement.
Thèmes de recherche
Mes contributions les plus significatives touchent à tous les aspects de la théorie du contrôle supervisé: les fondements théoriques, les algorithmes de synthèse de contrôleurs et les applications pratiques, sans oublier quelques incursions dans les méthodes formelles de spécification, la synthèse de systèmes réactifs et la mise en oeuvre de la théorie dans des environnements de satisfaction de contraintes.
Informations additionnelles
La liste de mes publications comporte celles qui sont les plus notables de 1976 à aujourd'hui. Elles sont classées par sujets, puis dans l'ordre, celles publiées dans des revues, des chapitres de livres et des actes de conférences. Une liste plus complète ainsi qu'une courte biographie en anglais sont disponibles via ORCID.
Mise à jour: 15 novembre 2025.