Diagnosability evaluation by model-checking
Pascale Marangé, Alexandre Philippot, J.-F. Pétin, François Gellot · IFAC-PapersOnLine · 2015
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.