Qualitative diagnosis of condition systems
From MaRDI portal
Publication:702194
DOI10.1023/B:DISC.0000039787.51382.AFzbMATH Open1092.93034MaRDI QIDQ702194FDOQ702194
Authors: Jeffrey Ashley, Lawrence E. Holloway 
Publication date: 17 January 2005
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
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
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)
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)
