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 42/1 - 2008  - pp.63-94  - doi:10.3166/jesa.42.63-94
TITRE
Étude du comportement global d'un SED en vue de la validation de sa commande spécifiée par Grafcet

RÉSUMÉ
A la suite de nos travaux sur la synthèse de la commande basée sur la théorie de Ramadge et Wonham, nous proposons une approche de validation de la commande hors ligne. Cette approche nécessite la modélisation de la partie opérative et des contraintes de sécurité et de vivacité, appliquées au système. Nous proposons de modéliser la partie opérative par une méthode à base de règles d'occurrence et de précédence et d'utiliser des équations logiques pour les contraintes pour pallier les problèmes de méthodologie de conception de modèles et d'explosion combinatoire. La démarche de validation de la commande permet de détecter les éventuels blocages ou les contraintes non-respectées et d'aider le concepteur à apporter les modifications nécessaires. Pour illustrer ces concepts, nous proposons de les éprouver sur un exemple de tri de caisses.


ABSTRACT
Following our work on the control synthesis based on the Ramadge and Wonham theory, we propose an off line control validation approach. This approach requires modeling the plant, and some safety and liveness constraints. We propose to model the plant by a method based of occurrence and precedence rules to model the plant, and to use logical equations to model the constraints. The control validation approach makes it possible to detect possible deadlocking or the not respected constraints and to help the designer to make the modifications necessary. To illustrate these new concepts, we propose to test them on an example of case sorting.


AUTEUR(S)
Pascale MARANGÉ, A. TAJER, F. GELLOT, V. CARRÉ-MÉNÉTRIER

MOTS-CLÉS
systèmes à événements discrets, Grafcet, synthèse de commande, théorie de supervision, validation.

KEYWORDS
discrete event systems, Grafcet, control synthesis, supervisory control theory, validation.

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  (1,25 Mo)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier