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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...