Combining Enumerative and Symbolic Techniques for Diagnosis of Discrete-Event Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Combining Enumerative and Symbolic Techniques for Diagnosis of Discrete-Event Systems

Résumé

In this paper, an efficient approach to verify diagnosability of discrete-event systems is proposed. The approach consists in constructing a hybrid diagnoser based on the symbolic observation graph (SOG), which is a technique that combines symbolic and enumerative representations in order to build a deterministic observer from a partially observed model. The construction of the diagnoser as well as the verification of diagnosability are performed simultaneously on-the-fly, which can considerably reduce the generated state space of the diagnoser and thus the overall running time. Furthermore, the proposed approach provides a heuristic strategy in order to converge fast into the necessary part, of the diagnoser, for analysing diagnosability.
Fichier principal
Vignette du fichier
doc00022695.pdf (228.94 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01471590 , version 1 (20-02-2017)

Identifiants

  • HAL Id : hal-01471590 , version 1

Citer

Abderraouf Boussif, Mohamed Ghazel, Kais Klai. Combining Enumerative and Symbolic Techniques for Diagnosis of Discrete-Event Systems. VECOS 2015 - 9th Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2015, Bucarest, Romania. 11p. ⟨hal-01471590⟩
225 Consultations
61 Téléchargements

Partager

Gmail Facebook X LinkedIn More