Diagnosability evaluation by model-checking - Université de Reims Champagne-Ardenne
Communication Dans Un Congrès Année : 2015

Diagnosability evaluation by model-checking

Résumé

In order to improve the availability and reliability of manufacturing systems, the diagnosis method is primordial. The literature around the diagnosis of Discrete Event Systems (DES) have proposed different approaches and diagnosability assessment. This paper presents a local modelling of diagnoser and a diagnosability evaluation by Model-Checking. This approach avoids the combinatory explosion problem of global approaches.
Fichier principal
Vignette du fichier
Safeprocess_CRAN_CRESTIC_V1.1.pdf (596.24 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01145738 , version 1 (28-09-2015)

Identifiants

Citer

Pascale Marangé, Alexandre Philippot, Jean-Francois Pétin, François Gellot. Diagnosability evaluation by model-checking. 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS'2015, Sep 2015, Paris, France. pp.308-313, ⟨10.1016/j.ifacol.2015.09.545⟩. ⟨hal-01145738⟩
211 Consultations
174 Téléchargements

Altmetric

Partager

More