Abstraction-based failure diagnosis for discrete event systems

DOI10.1016/j.sysconle.2009.11.004zbMath1186.93044OpenAlexW2085805653MaRDI QIDQ962191

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)

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