Implementation of inference-based diagnosis: computing delay bound and ambiguity levels
From MaRDI portal
Recommendations
- Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions
- Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems
- Advances in Artificial Intelligence
- On the effect of communication delays in failure diagnosis of decentralized discrete event systems
- Arborescent architecture for decentralized diagnosis of discrete event systems
Cites work
- A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making
- Abstraction-based verification of codiagnosability for discrete event systems
- Codiagnosability and coobservability under dynamic observations: transformation and verification
- Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Decentralized supervisory control with conditional decisions: supervisor realization
- Diagnosability of discrete-event systems
- Diagnosis of discrete event systems using decentralized architectures
- Global and local consistencies in distributed fault diagnosis for discrete-event systems
- scientific article; zbMATH DE number 781092 (Why is no real title available?)
- Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems
- Inference-Based Decentralized Prognosis in Discrete Event Systems
- Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems
- On Codiagnosability and Coobservability With Dynamic Observations
- Optimal sensor activation for diagnosing discrete event systems
- The Complexity of Codiagnosability for Discrete Event and Timed Systems
- Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
Cited in
(5)- Arborescent architecture for decentralized diagnosis of discrete event systems
- On detectability of labeled Petri nets and finite automata
- Decentralized diagnosis of discrete event systems subject to permanent sensor failures
- Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions
- Reliable decentralized failure diagnosis of discrete event systems using single-level inference
This page was built for publication: Implementation of inference-based diagnosis: computing delay bound and ambiguity levels
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1788696)
