Implémentation de superviseurs générés par synthèse de contrôleurs discrets
Résumé
Nous examinons l'implémentation de superviseurs générés par des techniques symboliques de Synthèse de Contrôleurs Discrets (SCD), basées sur l'utilisation des BDDs. La technique d'implémentation que nous proposons résout l'indéterminisme de contrôle ainsi que l'incompatibilité structurelle introduite par la SCD symbolique. Les propriétés structurelles du contrôleur implémenté démontrent l'intérêt de cette démarche. Notre technique est illustrée sur un exemple réel modélisant un composant d'un ”Système sur une puce” : un convertisseur série-parallèle.