A timed model for discrete event system identification and fault detection

We present in this paper a timed discrete event model for system identification with the aim of fault detection, called Timed Automaton with Outputs and Conditional Transitions (TAOCT). The TAOCT is an extension of a recent untimed model proposed in the literature, called Deterministic Automaton with Outputs and Conditional Transitions (DAOCT). Differently from the DAOCT, where only the logical behavior of the discrete event system is considered, the TAOCT takes into account information about the time that the events are observed, and, for this reason, it can be used for the detection of faults that cannot be detected by using untimed models, such as faults that lead the fault detector to deadlocks. The TAOCT represents the fault-free system behavior, and a fault is detected when the observed behavior is different from the behavior predicted by the model, considering both logical and timing information. A practical example is used to illustrate the results of the paper. Copyright (C) 2020 The Authors.