New approach of diagnosis with hybrid automata | IEEE Conference Publication | IEEE Xplore