Abstraction-based verification of codiagnosability for discrete event systems
From MaRDI portal
Publication:710695
DOI10.1016/j.automatica.2010.06.010zbMath1201.93076OpenAlexW2092835452MaRDI QIDQ710695
Publication date: 22 October 2010
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2010.06.010
Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65)
Related Items (4)
Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach ⋮ Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions ⋮ Implementation of inference-based diagnosis: computing delay bound and ambiguity levels ⋮ Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems
Uses Software
Cites Work
- Modular fault diagnosis based on discrete event systems
- Diagnosis of discrete event systems using decentralized architectures
- Diagnosis of behaviors of interest in partially-observed discrete-event systems
- Abstraction-based failure diagnosis for discrete event systems
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Hierarchical control of discrete-event systems
- Safe diagnosability for fault-tolerant supervision of discrete-event systems
- Diagnosability of discrete-event systems
- Supervisory Control Architecture for Discrete-Event Systems
- Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Global and local consistencies in distributed fault diagnosis for discrete-event systems
This page was built for publication: Abstraction-based verification of codiagnosability for discrete event systems
