Analysis and verification of the diagnosability of Hybrid Systems

The diagnosability analysis proposed for Discrete Event Systems (DES) can be extended to Hybrid Systems (HS) which are systems with combined discrete and continuous behavior. In this paper, an approach for the diagnosability analysis of hybrid systems is proposed, based on the combination of the diagnosability of the underlying DES and the distinguishability of the continuous modes of the HS. The main idea is to build an observer of the underlying DES enriched with new events associated to the distinguishability of the continuous variables. A definition of diagnosability of HS and a method to verify if a HS is diagnosable, using a hybrid diagnoser called clustered diagnoser, are also introduced.