Qualitative diagnosis of condition systems

DOI10.1023/B:DISC.0000039787.51382.AFMaRDI QIDQ702194zbMATH OpenFDO

Authors Jeffrey Ashley, Lawrence E. Holloway

Publication date 17 January 2005

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

zbMATH Keywords

Petri netsdiscrete event systemsfault diagnosiscausal nets

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On structural analysis of interacting behavioral Petri nets for distributed causal model-based diagnosis
• Distributed diagnosis of discrete-event systems using Petri nets
• Diagnosis of partially observed Petri net based on analytical redundancy relationships
• Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets
• Diagnosability of Petri nets with observation graphs

Cited in

(8)

• Fault diagnosis of discretely controlled continuous systems by means of discrete-event models
• On structural analysis of interacting behavioral Petri nets for distributed causal model-based diagnosis
• State observability and condition observability for a class of interacting discrete event systems
• Characterizing diagnoses and systems
• Detection of unmodelled anomalous behaviours via localized controllers for condition systems
• Representation of systems for diagnostic purposes
• Fault ascription in concurrent systems
• An equivalent CTL formulation for condition sequences

This page was built for publication: Qualitative diagnosis of condition systems

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