Fault diagnosis in timed discrete-event systems

A framework is introduced for passive online fault diagnosis in timed discrete-event systems (TDES). It extends the previous work of the authors (1999) on a state-based approach to fault diagnosis by incorporating timing information. This enhances the accuracy of diagnosis. In this methodology instead of directly extending the existing framework to TDES, an alternative approach is taken which, in many cases, leads to significant reduction in online computing requirements and the size of the diagnoser at the expense of more off-line design calculations