Implémentation de superviseurs générés par synthèse de contrôleurs discrets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Implémentation de superviseurs générés par synthèse de contrôleurs discrets

Mingming Ren
  • Fonction : Auteur
  • PersonId : 859577
Emil Dumitrescu
Laurent Piétrac
Eric Niel
  • Fonction : Auteur
  • PersonId : 843451

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.

Domaines

Electronique
Fichier non déposé

Dates et versions

hal-00375942 , version 1 (16-04-2009)

Identifiants

  • HAL Id : hal-00375942 , version 1

Citer

Mingming Ren, Emil Dumitrescu, Laurent Piétrac, Eric Niel. Implémentation de superviseurs générés par synthèse de contrôleurs discrets. CIFA, Sep 2008, Bucarest, Roumanie. papier 365. ⟨hal-00375942⟩
59 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More