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 36/7 - 2002  - pp.919-930
TITLE
Theory of Regions based Synthesis of the Maximally Permissive and non Blocking Supervisory Control

RÉSUMÉ
Nous proposons, dans cet article, une méthode de synthèse de superviseurs non bloquants basés sur les réseaux de Petri, pour résoudre le problème d'états interdits en présence d'événements non contrôlables. L'approche proposée dans cet article combine l'approche de Ramadge-Wonham et la théorie des régions, une théorie récemment proposée pour la synthèse de réseaux de Petri à partir de graphes de marquage. L'espace des états admissibles est d'abord déterminé, puis la théorie des régions est utilisée pour concevoir, quand c'est possible, le superviseur sous forme de places de réseau de Petri. La puissance de l'approche proposée est illustrée particulièrement par le traitement d'un problème d'évitement de blocage avec des transitions non contrôlables.


ABSTRACT
This paper addresses the forbidden state problem of Petri nets with liveness requirement and uncontrollable transitions. The proposed approach synthesizes in two steps an optimal Petri net-based controller, whenever such a controller exists. First, the behavior of the closed loop system is computed with a state space search. Then, control places that realize the computed behavior when added to the original model, are synthesized. Necessary and sufficient condition of the existence of such places is obtained. A manufacturing application of the method shows its efficiency.


AUTEUR(S)
Asma GHAFFARI, Nidhal REZG, Xiaolan XIE

MOTS-CLÉS
contrôle de supervision, réseaux de Petri, transitions non contrôlables, problème d'états interdits, théorie des régions.

KEYWORDS
Supervisory control, Petri nets, uncontrollable transitions, forbidden state problem, theory of regions.

LANGUE DE L'ARTICLE
Anglais

 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  (204 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier