Maximum Likelihood Failure Diagnosis in Finite State Machines Under Unreliable Observations

DOI10.1109/TAC.2009.2039548zbMath1368.93365MaRDI QIDQ4978739

Lingxi Li, Eleftheria Athanasopoulou, Christoforos N. Hadjicostis

Publication date: 25 August 2017

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

Mathematics Subject Classification ID

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

Related Items (10)

A new modeling framework for networked discrete-event systems ⋮ A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization ⋮ Robust and nonlinear control literature survey (No. 18) ⋮ 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 ⋮ A necessary and sufficient condition for diagnosability of stochastic discrete event systems ⋮ Robust diagnosis of discrete event systems against intermittent loss of observations ⋮ Robust corrective control of asynchronous sequential machines with control input and feedback faults ⋮ Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation ⋮ Diagnosability verification using LTL model checking

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