|
Marie-Odile Cordier and Louise Travé-Massuyès and Xavier Pucel
Comparing diagnosability in continuous and discrete-events systems
, DX'06 (17th International workshop on principles of Diagnosis)
, Burgos
, 55--60
, 2006
, Document
|
|
Abstract
This paper is concerned with diagnosability analysis, which proves
a requisite for several tasks during the system
's life cycle. The Model-Based
Diagnosis (MBD) community has developed specific approaches for
Continuous Systems (CS) and for Discrete Event Systems (DES) in
two distinct and parallel tracks.
In this paper, the correspondences between the concepts used in CS and
DES approaches are clarified and it is shown that the diagnosability
problem can be brought back to the
same formulation using the concept of signatures.
These results bridges CS and DES diagnosability
and open perspectives for hybrid model based diagnosis.
|
|