Implementation of inference-based diagnosis: computing delay bound and ambiguity levels
From MaRDI portal
Publication:1788696
DOI10.1007/s10626-017-0253-xzbMath1398.93222OpenAlexW2733847905MaRDI QIDQ1788696
Shigemasa Takai, Ratnesh Kumar
Publication date: 8 October 2018
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-017-0253-x
discrete event systemdecentralized diagnosisdelay boundambiguity levelinference-based ambiguity management
Reliability, availability, maintenance, inspection in operations research (90B25) Decentralized systems (93A14) Discrete event control/observation systems (93C65) Observability (93B07)
Related Items
Decentralized diagnosis of discrete event systems subject to permanent sensor failures, Arborescent architecture for decentralized diagnosis of discrete event systems, On detectability of labeled Petri nets and finite automata
Cites Work
- Unnamed Item
- 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
- Abstraction-based verification of codiagnosability for discrete event systems
- Diagnosis of discrete event systems using decentralized architectures
- Codiagnosability and coobservability under dynamic observations: transformation and verification
- Optimal sensor activation for diagnosing discrete event systems
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Diagnosability of discrete-event systems
- Decentralized supervisory control with conditional decisions: supervisor realization
- Global and local consistencies in distributed fault diagnosis for discrete-event systems
- Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems
- Inference-Based Decentralized Prognosis in Discrete Event Systems
- On Codiagnosability and Coobservability With Dynamic Observations
- A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making
- Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
- The Complexity of Codiagnosability for Discrete Event and Timed Systems
