A timed model for discrete event system identification and fault detection

Ryan P C de Souza (1) , Marcos V Moreira (1) , Jean-Jacques Lesage (2)

1 UFRJ - Universidade Federal do Rio de Janeiro [Brasil] = Federal University of Rio de Janeiro [Brazil] = Université fédérale de Rio de Janeiro [Brésil]
2 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

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.

Mots clés: Discrete-event systems; System identification; Fault detection; Finite-state automata

Domaines: Automatique / Robotique

Ryan P C de Souza, Marcos V Moreira, Jean-Jacques Lesage. A timed model for discrete event system identification and fault detection. 21st IFAC World Congress, Jul 2020, Berlin, Germany. ⟨hal-02557520⟩