Detection of temporal anomalies for partially observed timed PNs

DOI10.1155/2017/2821078MaRDI QIDQ1992544zbMATH OpenOpenAlexWikidataFDO

Authors Dimitri Lefebvre

Publication date 5 November 2018

Published in Mathematical Problems in Engineering (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1155/2017/2821078

Mathematics Subject Classification ID

Non-Markovian processes: hypothesis testing (62M07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Discrete event control/observation systems (93C65) Estimation and detection in stochastic control theory (93E10)

Review text

Summary: This article concerns faults detection and isolation for timed stochastic discrete event systems modeled with partially observed timed Petri nets. Events occur according to arbitrary probability density functions. The models include the sensors used to measure events and markings and also the temporal constraints to be satisfied by the system operations. These temporal constraints are defined according to tolerance intervals specified for each transition. A fault is an operation that ends too early or too late. The set of trajectories consistent with a given timed measured trajectory is first computed. Then, the probability that the temporal specifications are unsatisfied is estimated for any sequence of measurements and the probability that a temporal fault has occurred is obtained as a consequence.

Recommendations

• Faults prognosis using partially observed stochastic Petri nets: an incremental approach
• State observer for DES under partial observation with time Petri nets
• Fault diagnosis in discrete event systems modeled by partially observed Petri nets
• Stochastic DES fault diagnosis with coloured interpreted Petri nets
• Diagnosis of temporal faults in discrete-event systems

Cites work

• A distributed approach for fault detection and diagnosis based on time Petri nets
• Algebraic approaches for fault identification in discrete-event systems
• An Efficient Approach for Online Diagnosis of Discrete Event Systems
• An improvement of McMillan's unfolding algorithm
• Error bounds for convolutional codes and an asymptotically optimum decoding algorithm
• Fault diagnosis in discrete event systems modeled by partially observed Petri nets
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 1932817 (Why is no real title available?)
• On-line fault detection in discrete event systems by Petri nets and integer linear programming
• On-Line Fault Diagnosis With Partially Observed Petri Nets
• Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets

Cited in

(5)

• Stochastic DES fault diagnosis with coloured interpreted Petri nets
• Faults prognosis using partially observed stochastic Petri nets: an incremental approach
• Failure detection and localization for timed event graphs in (,+)-algebra
• State estimation and detection of changes in time interval models
• State observer for DES under partial observation with time Petri nets

This page was built for publication: Detection of temporal anomalies for partially observed timed PNs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1992544)