A condition system is a collection of Petri nets that interact with each other and the external environment through condition signals. Some of these condition signals may be unobservable. In the paper, a system default is defined in terms of observed behavior versus expected behavior, where the expected bvehavior is defined through condition system models. A diagnosis of this fault localizes the subsystem that is the source of the discrepancy between output and expected observations. The authors show that the structure of the interacting subsystems defines a diagnostic causal model that captures the causal structure of subsystem dependencies. The diagnostic causal model can then be used to determine a set of subsystems that might be the source of a fault.
- 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
- Representation of systems for diagnostic purposes
- Characterizing diagnoses and systems
- State observability and condition observability for a class of interacting discrete event systems
- Detection of unmodelled anomalous behaviours via localized controllers for condition systems
- On structural analysis of interacting behavioral Petri nets for distributed causal model-based diagnosis
- Fault ascription in concurrent systems
- An equivalent CTL formulation for condition sequences
- Fault diagnosis of discretely controlled continuous systems by means of discrete-event models
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)
