Diagnosability of fault patterns with labeled stochastic Petri nets - Normandie Université Accéder directement au contenu
Article Dans Une Revue Information Sciences Année : 2022

Diagnosability of fault patterns with labeled stochastic Petri nets

Résumé

This paper is about the diagnosability of fault patterns in timed stochastic discrete event systems. For this purpose, the diagnosability problem is formulated with labeled stochastic Petri net models and pure logical fault pattern nets. A particular composition of a labeled stochastic Petri net with a fault pattern net is proposed and is shown to characterize in an explicit way the fault patterns, including the timing and probabilistic aspects of the underlying system. Logical and probabilistic verifiers are derived, and used to establish a set of conditions to check not only the strong diagnosability property but also weaker notions of diagnosability.

Domaines

Automatique
Fichier non déposé

Dates et versions

hal-03678981 , version 1 (25-05-2022)

Identifiants

Citer

Dimitri Lefebvre, Christoforos Hadjicostis. Diagnosability of fault patterns with labeled stochastic Petri nets. Information Sciences, 2022, 593, pp.341-363. ⟨10.1016/j.ins.2022.01.061⟩. ⟨hal-03678981⟩
17 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More