Maximum Likelihood Failure Diagnosis in Finite State Machines Under Unreliable Observations

DOI10.1109/TAC.2009.2039548MaRDI QIDQ4978739zbMATH OpenFDO

Authors Eleftheria Athanasopoulou, Lingxi Li, Christoforos N. Hadjicostis

Publication date 25 August 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TAC.2009.2039548

Mathematics Subject Classification ID

Reliability and life testing (62N05) Formal languages and automata (68Q45) Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65)

Cited in

(11)

• A necessary and sufficient condition for diagnosability of stochastic discrete event systems
• Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation
• Robust diagnosis of discrete event systems against intermittent loss of observations
• Diagnosability verification using LTL model checking
• A new modeling framework for networked discrete-event systems
• Robust corrective control of asynchronous sequential machines with control input and feedback faults
• A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization
• Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
• A general framework for diagnosis of discrete event systems subject to sensor failures
• Robust and Nonlinear Control: literature survey (No. 18)
• scientific article; zbMATH DE number 3918275 (Why is no real title available?)

This page was built for publication: Maximum Likelihood Failure Diagnosis in Finite State Machines Under Unreliable Observations

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