Comparing diagnosability in continuous and discrete-event systems

This paper is concerned with diagnosability analy-sis, which proves a requisite for several tasks during the system’s life cycle. The Model-Based Diagno-sis (MBD) community has developed specific ap-proaches for Continuous Systems (CS) and for Dis-crete Event Systems (DES) in two distinct and par-allel tracks. In this paper, the correspondences be-tween 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 formula-tion using the concept of signatures. These results bridges CS and DES diagnosability and open per-spectives for hybrid model based diagnosis.