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 47/1-3 - 2013  - pp.227-242  - doi:10.3166/jesa.47.227-242
TITRE
Évaluation à la volée de la diagnosticabilité des systèmes à événements discrets temporisés

RÉSUMÉ
Cet article s’intéresse à la diagnosticabilité des systèmes à événements discrets temporisés. Le formalisme de modélisation utilisé est le réseau de Petri T-temporel et labellisé (RdP-LT). C’est une extension des RdP temporels pour laquelle à chaque transition est associé un événement qui peut être observable ou non. Nous proposons une approche pour vérifier la diagnosticabilité et nous fournissons une solution pour calculer le délai minimum ∆ pour garantir cette diagnosticabilité. L’analyse de cette diagnosticabilité est effectuée par un algorithme à la volée, basé sur une structure de données que nous nommerons graphe-ECEE. Cette structure contient les informations sur l’état du RdP-LT. Les algorithmes à la volée permettent souvent d’obtenir un résultat sans avoir nécessairement à explorer tout l’espace d’états. C’est un avantage important par rapport aux approches classiques d’énumération systématique de tous les états.


ABSTRACT
This paper deals with diagnosability of timed discrete event systems. The model we use is the labeled time Petri net (LTPN) – an extension of time Petri net, wherein each transition is associated with an event which can be either observable or unobservable. We propose an approach to check diagnosability, and provide the solution for the minimum delay ∆ that ensures diagnosability. Diagnosability analysis is performed on the basis of on-the-fly building of a structure that we call ASG and which carries information about the state of the LTPN. Generally, using an on-the-fly analysis makes it possible to investigate only a part of the state space for diagnosability analysis. This is a distinct advantage compared with the traditional approaches using state enumeration.


AUTEUR(S)
Baisi LIU, Mohamed GHAZEL, Armand TOGUYÉNI

MOTS-CLÉS
système à événement discret temporisé, réseaux de Petri temporels et labellisés, diagnostic des fautes, diagnosticabilité, analyse à la volée.

KEYWORDS
timed discrete event system, labeled time Petri net, fault diagnosis, diagnosability, on-the-fly analysis.

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier