Distributed identification of concurrent discrete event systems for fault detection purposes

Matthias Roth (1, 2) , Jean-Jacques Lesage (1) , Lothar Litz (2)

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

An identification method for concurrent discrete event systems (DES) is presented. The purpose of the identified model is model-based fault detection in closed loop industrial DES such as production or manufacturing systems. The method consists of identifying an automata network with a scalable restriction of the network behavior. We especially deal with incomplete observation of the system language within a finite time horizon which is a typical result of a high degree of concurrency. It is shown how models identified on the basis of an incompletely observed language can be used for fault detection.

Mots clés: Discrete Event Systems; Identification; Fault Detection

Domaines: Automatique / Robotique

Matthias Roth, Jean-Jacques Lesage, Lothar Litz. Distributed identification of concurrent discrete event systems for fault detection purposes. European Control Conference 2009 (ECC 2009), Aug 2009, Budapest, Hungary. pp.2590-2595. ⟨hal-00430111⟩