Verification of Hybrid Automata Diagnosability by Abstraction | IEEE Journals & Magazine | IEEE Xplore