Diagnosis of a dynamic hybrid system by hybrid timed automata | IEEE Conference Publication | IEEE Xplore