Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
714651 | IFAC-PapersOnLine | 2015 | 6 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics