In this paper, we first construct a verifier for a time-interval automaton to verify its diagnosability. Then, based on the verifier, we enforce the diagnosability of a time-interval automaton by ...