Abstraction-based failure diagnosis for discrete event systems

DOI10.1016/J.SYSCONLE.2009.11.004MaRDI QIDQ962191zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

abstractiondiagnosabilitydiscrete event systems

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65)

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

Cites work

• scientific article; zbMATH DE number 3959244 (Why is no real title available?)
• A polynomial algorithm for testing diagnosability of discrete-event systems
• Diagnosability analysis of a class of hierarchical state machines
• Diagnosability of discrete-event systems
• Diagnosis of behaviors of interest in partially-observed discrete-event systems
• Fault diagnosis in discrete-event systems: Framework and model reduction
• Hierarchical control of discrete-event systems
• Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
• On the computation of natural observers in discrete-event systems
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Tight Bounds for the Maximum Acyclic Subgraph Problem

Cited in

(13)

• 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
• An approach to post mortem diagnosability analysis for interacting finite state systems
• 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
• Automatic component abstraction for model-based diagnosis on relational models

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)