A distributed approach for fault detection and diagnosis based on time Petri nets

DOI10.1016/j.matcom.2005.11.003zbMath1098.93024OpenAlexW2047055270MaRDI QIDQ2489598

René K. Boel, George Jiroveanu

Publication date: 28 April 2006

Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.matcom.2005.11.003

zbMATH Keywords

Petri netsDiagnosisLarge systems

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items

Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets, Decentralized fault free model approach for fault detection and isolation of discrete event systems, On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming, State estimation and detection of changes in time interval models, Detection of temporal anomalies for partially observed timed PNs, A distributed approach for fault detection and diagnosis based on time Petri nets, Fault detection for discrete event systems using Petri nets with unobservable transitions, On-line monitoring of large Petri net models under partial observation, Diagnosis of Petri Nets, The On-Line Diagnosis of Time Petri Nets, On-line fault detection in discrete event systems by Petri nets and integer linear programming

Cites Work

• Diagnosis of large active systems
• A distributed approach for fault detection and diagnosis based on time Petri nets
• Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
• Global and local consistencies in distributed fault diagnosis for discrete-event systems