A framework for inferential problems in DEDS. III. Fault diagnosis

For pt. II, see ibid., pp. 2168-73 (2000). Discusses the problem of fault diagnosis in a discrete event dynamic system (DEDS). We consider the timed transition model (TTM) framework for modeling DEDS behavior over time. We continue our discussion of issues related to modeling and state observation in TTMs for systems with unmeasurable variables by first discussing how faults are modeled in the extended framework of Part I (see ibid., pp. 2162-7, 2000). We then discuss the problem of state observation with delay, originally discussed in the context of finite state machines by C.M. Ozveren et al. (1990) and S. Bose et al. (1994). Finally, we show how a “with-delay observer” can be used for the detection and diagnosis of faults in a system modeled as a DEDS using the TTM framework