Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions

DOI10.1007/s10626-016-0229-2zbMath1356.93057MaRDI 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

zbMATH Keywords

discrete event system; conditional codiagnosability; conditional decision; decentralized diagnosis; delay bound

Mathematics Subject Classification ID

90B25: Reliability, availability, maintenance, inspection in operations research

93A14: Decentralized systems

93C65: Discrete event control/observation systems

93B50: Synthesis problems

Related Items

Implementation of inference-based diagnosis: computing delay bound and ambiguity levels, Decentralized diagnosis of discrete event systems subject to permanent sensor failures

Uses Software

• UMDES

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