Timed Residuals for Fault Detection and Isolation in Discrete Event Systems

Stefan Schneider (1) , Lothar Litz (1) , Mickaël Danancher (2, 1)

1 AT+ - Institute of Automatic Control
2 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

In this paper a new attempt for fault detection and isolation in discrete event systems is proposed. An identified model constitutes a timed observer of the fault-free system behavior. Non-acceptable plant operation is detected by comparing the behavior of the model with the observed system output. For fault isolation, timed residuals and generic fault symptoms - early and late events - are introduced. Time bounds are composed using Boolean conditions and statistical analysis. In case of a fault, timed and untimed residuals are concluded in order to refine a set of potential faulty candidates. The method is applied to the given benchmark system of a virtual production plant with an external controller.

Mots clés: Discrete Event System; Timed Automata; Timed Residuals

Domaines: Automatique / Robotique

Stefan Schneider, Lothar Litz, Mickaël Danancher. Timed Residuals for Fault Detection and Isolation in Discrete Event Systems. 3rd International Workshop on Dependable Control of Discrete Systems - DCDS 2011, Jun 2011, Saarbrücken, Germany. pp.35--40, ⟨10.1109/DCDS.2011.5970315⟩. ⟨hal-00595107⟩