Abstraction-based failure diagnosis for discrete event systems
From MaRDI portal
Publication:962191
DOI10.1016/J.SYSCONLE.2009.11.004zbMATH Open1186.93044OpenAlexW2085805653MaRDI QIDQ962191FDOQ962191
Authors: Klaus Werner Schmidt 
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
Recommendations
- Abstraction-based verification of codiagnosability for discrete event systems
- Abstraction-based verification and synthesis for prognosis of discrete event systems
- Diagnosability of discrete-event systems
- Diagnosability of discrete event systems with modular structure
- Modular fault diagnosis based on discrete event systems
Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65)
Cites Work
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Title not available (Why is that?)
- Diagnosability of discrete-event systems
- Hierarchical control of discrete-event systems
- Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
- On the computation of natural observers in discrete-event systems
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Tight Bounds for the Maximum Acyclic Subgraph Problem
- Diagnosis of behaviors of interest in partially-observed discrete-event systems
- Diagnosability analysis of a class of hierarchical state machines
Cited In (11)
- The failure detector abstraction
- Modelling and hierarchical diagnosis of timed discrete-event systems
- Parametric abstraction of behavioral modes for model-based diagnosis
- Robust and Nonlinear Control: literature survey (No. 17)
- State-based fault diagnosis of discrete-event systems with partially observable outputs
- Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system
- Abstraction-based verification and synthesis for prognosis of discrete event systems
- Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach
- Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
- Abstraction-based verification of codiagnosability for discrete event systems
- Hierarchical model-based diagnosis based on structural abstraction
This page was built for publication: Abstraction-based failure diagnosis for discrete event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q962191)
