Critical pairs based diagnosability analysis of timed fault in Time Petri Nets

International audienceTime Petri Nets are a suitable tool for the modeling of timed Discrete Event Systems. This paper is about the diagnosability of single timed fault in Time Petri Nets. To check the existence of critical pairs, an abstraction of the systems infinite behaviours, called path, is presented as a set of observable constraints associated with a particular sequence of transitions. Properties on the set of solutions of a partition of this abstraction are then provided to check the diagnosability of the timed fault