ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 43/7-9 - 2009  - pp.821-835
TITRE
Synthèse de contrôleurs discrets Mise en oeuvre matérielle de superviseurs

RÉSUMÉ
Dans le contexte de la Synthèse de Contrôleurs Discrets (SCD), la mise en oeuvre des superviseurs synthétisés a pour objectif de rendre chaque superviseur exploitable sur la plateforme physique ciblée. Si on cible une plateforme matérielle, le superviseur doit être mis sous forme d'un réseau de portes. Nous nous intéressons à la mise en oeuvre matérielle de superviseurs générés par SDC. Les superviseurs concernés sont obtenus de manière symbolique, par l'intermédiaire d'un parcours symbolique de l'espace d'états du procédé, utilisant des Diagrammes de Décision Binaires (BDD). Cette technique symbolique manipule les ensembles d'états ou de transitions par l'intermédiaire de leur équation caractéristique. En particulier, le superviseur symbolique généré est lui aussi représenté par son équation caractéristique. Ceci engendre une incompatibilité structurelle entre le superviseur et le procédé à superviser: le superviseur est une équation ayant comme inconnues les variables contrôlables, alors que le procédé se présente généralement sous la forme d'un ensemble de fonctions de transition et de transfert. La technique proposée permet d'une part la levée du non-déterminisme de contrôle, inhérent à la SCD, et résout l'incompatibilité structurelle entre le superviseur et le procédé, par une résolution symbolique de l'équation de contrôle. Cette contribution est illustrée sur un exemple de modélisation d'un système matériel : un convertisseur série-parallèle.


ABSTRACT
We present a technique for hardware implementation of supervisors synthesized by discrete controller synthesis. The BDD-based synthesis technique is very efficient, but produces a supervisor which is structurally incompatible with the controlled system besides being control non-deterministic. Our technique solves both the structural incompatibility problem and the control non-determinism.


AUTEUR(S)
Mingming REN, Emil DUMITRESCU, Eric NIEL

MOTS-CLÉS
synthèse de contrôleurs discrets, implémentation matérielle, FPGA.

KEYWORDS
discrete controller synthesis, hardware controller, FPGA.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (234 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier