Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays

DOI10.1007/S10626-008-0056-1MaRDI QIDQ839008zbMATH OpenOpenAlexFDO

Authors Tae-Sic Yoo, Humberto E. Garcia

Publication date 1 September 2009

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10626-008-0056-1

zbMATH Keywords

computational complexitydiscrete-event systemsfault diagnosisrepeated/intermittent faults

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Discrete event control/observation systems (93C65)

Recommendations

• Diagnosis of behaviors of interest in partially-observed discrete-event systems
• Diagnosability of repairable faults
• Verification of robust diagnosability for partially observed discrete event systems
• Robust diagnosis of discrete-event systems against permanent loss of observations
• On-line diagnosis of discrete event systems with two successive temporal windows

Cites work

• scientific article; zbMATH DE number 1383199 (Why is no real title available?)
• A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
• A polynomial algorithm for testing diagnosability of discrete-event systems
• Active diagnosis of discrete-event systems
• Diagnosability of discrete-event systems
• Diagnosis of intermittent faults
• Diagnosis of large active systems
• Distributed monitoring of concurrent and asynchronous systems
• Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems
• Model-based detection of routing events in discrete flow networks
• NP-completeness of sensor selection problems arising in partially observed discrete-event systems
• Optimal sensor selection for discrete-event systems with partial observation
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Scaling Algorithms for the Shortest Paths Problem
• Shortest paths algorithms: Theory and experimental evaluation

Cited in

(4)

• Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
• Model-based detection of routing events in discrete flow networks
• A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization
• Codiagnosability and coobservability under dynamic observations: transformation and verification

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q839008)