Fault prognosis of timed stochastic discrete event systems with bounded estimation error

Rabah Ammour (1) , Edouard Leclercq (1) , Eric Sanlaville (2) , Dimitri Lefebvre (1)

1 GREAH - Groupe de Recherche en Electrotechnique et Automatique du Havre
2 RI2C - LITIS - Equipe Réseaux d'interactions et Intelligence Collective

This article deals with the problem of fault prognosis in timed stochastic discrete event systems. For that purpose, partially observed stochastic Petri nets are considered to model the system with its sensors. The model represents both healthy and faulty behaviors of the system. Using a timed measurement sequence issued from the sensors, an approach denoted -prognosis is proposed to estimate the probability of a future fault occurrence. The method is based on two input parameters: the error bound and the prognosis horizon . The main contribution is to bound the estimation error by when the prognosis horizon does not exceed . An example is presented to illustrate the results.

Mots clés: Discrete-event systems; Fault prognosis; Stochastic Petri nets

Domaines: Recherche opérationnelle [math.OC]

Rabah Ammour, Edouard Leclercq, Eric Sanlaville, Dimitri Lefebvre. Fault prognosis of timed stochastic discrete event systems with bounded estimation error. Automatica, 2017, 82, pp.35-41. ⟨10.1016/j.automatica.2017.04.028⟩. ⟨hal-02112609⟩