Diagnosability verication for hybrid automata