Abstract: Diagnosis of serial event driven active systems with global clock and linear observation was studied. Time interval algebra was introduced for representing detailed time information into automata. And active systems can be mod- eled by this kind of timed

Key words: Model-based diagnosis,Active systems,Discrete event systems,Time interval algebra,Automata