Abstraction-based failure diagnosis for discrete event systems
From MaRDI portal
Publication:962191
DOI10.1016/j.sysconle.2009.11.004zbMath1186.93044OpenAlexW2085805653MaRDI QIDQ962191
Publication date: 6 April 2010
Published in: Systems \& Control Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.sysconle.2009.11.004
Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65)
Related Items
Robust and nonlinear control literature survey (No. 17) ⋮ Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach ⋮ Abstraction-based verification of codiagnosability for discrete event systems ⋮ State-based fault diagnosis of discrete-event systems with partially observable outputs ⋮ Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems ⋮ Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system
Cites Work
- Unnamed Item
- Diagnosability analysis of a class of hierarchical state machines
- Diagnosis of behaviors of interest in partially-observed discrete-event systems
- Hierarchical control of discrete-event systems
- Tight Bounds for the Maximum Acyclic Subgraph Problem
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Diagnosability of discrete-event systems
- Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- On the computation of natural observers in discrete-event systems
This page was built for publication: Abstraction-based failure diagnosis for discrete event systems
