Fault diagnosis in discrete-event systems: incorporating timing information

A framework is introduced for fault diagnosis in timed discrete-event systems. In this approach, the required estimates for system condition are updated only when the output changes or when deadlines associated with output changes expire. Thus updates at every clock tick are not required. This in many cases results in reduction in online computing requirements and in the size of the diagnosis system, at the expense of more offline design calculations. The issue of failure diagnosability is also discussed.