Diagnosis of Hybrid Systems: Part 1-Diagnosability

In this paper, we investigate fault diagnosis and diagnosability in hybrid systems modeled by hybrid automata. Generally, in hybrid systems, there are discrete sensors generating discrete outputs available at the discrete-event system representation of the system and continuous sensors generating continuous outputs available at the continuous dynamics. We assume that there is a bank of residual generators (using continuous sensors) designed for the continuous dynamics of the system. We present a hybrid diagnosis approach in which faults are diagnosed by integrating the information generated by the residual generators and the information at the discrete-event system representation of the system. We investigate the diagnosability of faults in the hybrid diagnosis framework.