Diagnosticabilité de Réseaux de Petri Labellisés basée sur les explications minimales et les T-semiflots

Résumé : Dans cet article, une approche est développée pour l'analyse de la diagnosticabilité des systèmes à événements discrets (SEDs) modélisés par des Réseaux de Petri Labellisés (RdP-L). L'objectif de ce travail est de combattre l'explosion combinatoire dans l'analyse de la diagnosticabilité à partir d'un modèle RdP-L. Notre approche étend l'analyse à la volée proposée dans [13]. Elle propose des améliorations basées sur les concepts d'explications minimales et de T-semiflots. Basée sur la recherche en profondeur d'abord, cette approche améliore l'efficacité de l'analyse de diagnosticabilité en construisant l'espace d'état de manière compacte en utilisant le concept d'explications minimales. De plus, cette approche définit des priorités dans le parcours des branches du graphe d'accessibilité à l'aide de T-semiflots. Notre approche a pour objectif de trouver plus rapidement l'existence de cycles indéterminés et de construire l'espace d'état de manière compacte, afin de réduire le coût de mémoire de l'analyse de diagnosticabilité.
Type de document :
Communication dans un congrès
Stephan Merz and Jean-François Pétin. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01224445
Contributeur : Stephan Merz <>
Soumis le : mercredi 4 novembre 2015 - 16:05:02
Dernière modification le : mardi 3 juillet 2018 - 11:44:50
Document(s) archivé(s) le : vendredi 5 février 2016 - 11:16:21

Fichier

paper 26.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01224445, version 1

Collections

Citation

Ben Li, Manel Khlif-Bouassida, Armand Toguyéni. Diagnosticabilité de Réseaux de Petri Labellisés basée sur les explications minimales et les T-semiflots. Stephan Merz and Jean-François Pétin. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France. 〈hal-01224445〉

Partager

Métriques

Consultations de la notice

305

Téléchargements de fichiers

90