Diagnosis of hybrid systems: Part 1- diagnosability | IEEE Conference Publication | IEEE Xplore