Diagnosticabilité de Réseaux de Petri Labellisés basée sur les explications minimales et les T-semiflots
Abstract
In this paper, an approach is developed for diagnosability analysis of discrete event systems (DESs) modeled by labeled Petri nets (LPNs). The objective of this work is to solve the combinatorial explosion problem of the diagnosability analysis of PN model. This study extends from the on-the-fly diagnosis approach proposed in [13]. It proposes some improvements based on the notions of T-invariants and minimal explanations. Based on depth-first search, this approach improves the efficiency of the diagnosability analysis by constructing the state space in a compact manner using minimal explanations. Moreover, this approach defines priorities in the investigation of reachability graph branches with the help of T-invariants. Our approach intends to find more quickly the existence of indeterminate cycles and construct the state space in a compact manner, so as to reduce the memory cost for diagnosability analysis.
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é.
Origin : Files produced by the author(s)
Loading...