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 37/10 - 2003  - pp.1317-1322  - doi:10.3166/jesa.37.1317-1322
TITRE
Les réseaux de Petri pour le contrôle des systèmes à événements discrets

RÉSUMÉ
Dans ce travail, nous proposons deux méthodes de synthèse de contrôle de systèmes à événements discrets (SED) modélisés par des réseaux de Petri (RdP) et comportant des événements non contrôlables. La première méthode est une approche originale au problème de synthèse de contrôleurs sous forme d'une structure de RdP (contrôleur RdP). Elle concerne une large classe de problèmes : la classe des problèmes de transitions d'état interdites (PTEI) que nous introduisons ici. Le contrôleur RdP obtenu par cette approche est maximum permissif. Une caractérisation algébrique des problèmes non solubles par des contrôleurs RdP est également déterminée. La deuxième partie de cette thèse est consacrée à une méthode de synthèse structurelle. Cette méthode résout de façon optimale également les problèmes d'états interdits des graphes d'événements avec des transitions non contrôlables. Les états interdits sont définis par des inégalités linéaires. L'application en ligne de cette méthode consiste à évaluer un ensemble de prédicats pour décider en temps réel des transitions contrôlables à interdire.


ABSTRACT
In this thesis, we propose two control synthesis methods for discrete event systems (DES) modeled by Petri nets (PN) and having some uncontrollable transitions. The first approach allows to design a PN model of the controlled system by adding a set of control places to an original PN. The controlled model has to achieve a desired behavior corresponding to the so-called forbidden state transition problem (FSTP). The controller designed by this approach is maximally permissive. Further, desired behaviors that can't be realized by PN based controller are well characterized. The second control synthesis approach we propose in this thesis addresses the particular case of forbidden state problem of marked graphs. The control decision can be taken on-line by evaluating simple predicates at each current marking.


AUTEUR(S)
Asma GHAFFARI

MOTS-CLÉS
Réseaux de Petri, systèmes à événements discrets, contrôllabilité, blocage, contrôle, problème de transition d'état interdite.

KEYWORDS
Petri nets, discrete event systems, controllability, deadlock, control, forbidden state transition problem.

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier