Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions
From MaRDI portal
Publication:513180
DOI10.1007/s10626-016-0229-2zbMath1356.93057OpenAlexW2418268943MaRDI QIDQ513180
Shigemasa Takai, Shoichi Yokota, Takashi Yamamoto
Publication date: 3 March 2017
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-016-0229-2
discrete event systemconditional codiagnosabilityconditional decisiondecentralized diagnosisdelay bound
Reliability, availability, maintenance, inspection in operations research (90B25) Decentralized systems (93A14) Discrete event control/observation systems (93C65) Synthesis problems (93B50)
Related Items
Decentralized diagnosis of discrete event systems subject to permanent sensor failures, Implementation of inference-based diagnosis: computing delay bound and ambiguity levels
Uses Software
Cites Work
- Unnamed Item
- Abstraction-based verification of codiagnosability for discrete event systems
- Diagnosis of discrete event systems using decentralized architectures
- Erratum to: ``Diagnosis of discrete event systems using decentralized architectures
- Codiagnosability and coobservability under dynamic observations: transformation and verification
- Diagnosis of behaviors of interest in partially-observed discrete-event systems
- Optimal sensor activation for diagnosing discrete event systems
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata
- Introduction to Discrete Event Systems
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Optimal Supervisory Control of Discrete Event Dynamical Systems
- Diagnosability of discrete-event systems
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Decentralized Supervisory Control With Conditional Decisions: Supervisor Existence
- Decentralized supervisory control with conditional decisions: supervisor realization
- Global and local consistencies in distributed fault diagnosis for discrete-event systems
- Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems
- Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems
- On Codiagnosability and Coobservability With Dynamic Observations
- Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
- 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