Diagnosability of fault patterns with labeled stochastic Petri nets - Normandie Université Access content directly
Journal Articles Information Sciences Year : 2022

Diagnosability of fault patterns with labeled stochastic Petri nets

Abstract

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.
No file

Dates and versions

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

Identifiers

Cite

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 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More