Diagnosis of behaviors of interest in partially-observed discrete-event systems

DOI10.1016/j.sysconle.2008.06.009zbMath1148.93024OpenAlexW2043999397MaRDI QIDQ953472

Tae-Sic Yoo, Humberto E. Garcia

Publication date: 20 November 2008

Published in: Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.sysconle.2008.06.009

zbMATH Keywords

discrete-event systemsbehaviors of interest detectiondetection delay computation

Mathematics Subject Classification ID

Dynamic programming in optimal control and differential games (49L20) Discrete event control/observation systems (93C65) Observability (93B07)

Related Items (9)

A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization ⋮ A general framework for diagnosis of discrete event systems subject to sensor failures ⋮ Decentralized diagnosis of discrete event systems subject to permanent sensor failures ⋮ A framework for state attraction of discrete event systems under partial observation ⋮ Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions ⋮ Abstraction-based failure diagnosis for discrete event systems ⋮ Abstraction-based verification of codiagnosability for discrete event systems ⋮ Diagnosability of discrete event systems subject to permanent sensor failures ⋮ Adaptive control and signal processing literature survey (No. 7)

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Diagnosis of intermittent faults
• Diagnosis of large active systems
• Distributed monitoring of concurrent and asynchronous systems
• A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
• Supervisory Control of a Class of Discrete Event Processes
• Active diagnosis of discrete-event systems
• Template languages for fault monitoring of timed discrete event processes
• A polynomial algorithm for testing diagnosability of discrete-event systems
• Diagnosability of discrete-event systems
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• NP-completeness of sensor selection problems arising in partially observed discrete-event systems

This page was built for publication: Diagnosis of behaviors of interest in partially-observed discrete-event systems