Fault diagnosis in discrete event systems modeled by partially observed Petri nets

DOI10.1007/S10626-009-0074-7zbMath1180.93069OpenAlexW2019970645MaRDI QIDQ843985

Christoforos N. Hadjicostis, Yu Ru

Publication date: 18 January 2010

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-009-0074-7

zbMATH Keywords

Petri netsfault diagnosisdiscrete event systemspartial observation

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65)

Related Items (12)

Diagnosability of Petri nets with observation graphs ⋮ Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers ⋮ Diagnosability of fault patterns with labeled stochastic Petri nets ⋮ Model-based fault identification of discrete event systems using partially observed Petri nets ⋮ State Estimation and Fault Detection Using Petri Nets ⋮ Current-state opacity modelling and verification in partially observed Petri nets ⋮ Detection of temporal anomalies for partially observed timed PNs ⋮ Model identification of unobservable behavior of discrete event systems using Petri nets ⋮ State-based fault diagnosis of discrete-event systems with partially observable outputs ⋮ Faults prognosis using partially observed stochastic Petri nets: an incremental approach ⋮ Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships ⋮ Fault diagnosis for discrete event systems using partially observed Petri nets

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets
• State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
• Introduction to Discrete Event Systems
• Diagnosability of discrete-event systems
• Markov nets: probabilistic models for distributed and concurrent systems
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Simultaneous stabilization for a collection of single-input nonlinear systems
• Diagnosability of stochastic discrete-event systems
• Marking Estimation of Petri Nets With Silent Transitions

This page was built for publication: Fault diagnosis in discrete event systems modeled by partially observed Petri nets