Verification of Hybrid Automata Diagnosability With Measurement Uncertainty.

The problem of system diagnosability verification is concerned with whether a fault in the system operation can be diagnosed by using the system model and observations of the system output. In this paper, we investigate the (\deltad,\deltam)-diagnosability of hybrid automata, which characterizes the maximum delay for diagnosing faults since their first occurrence, given the measurement uncertainty in observing the system output. [ABSTRACT FROM AUTHOR]