A necessary and sufficient condition for diagnosability of stochastic discrete event systems

DOI10.1007/s10626-017-0236-yzbMath1374.93242OpenAlexW2591241597MaRDI QIDQ1677190

David Thorsley

Publication date: 10 November 2017

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

Full work available at URL: https://doi.org/10.1007/s10626-017-0236-y

zbMATH Keywords

hidden Markov modelsdiagnosabilitychange point detectionstochastic discrete event systems

Mathematics Subject Classification ID

Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03)

Related Items (3)

Probabilistic verification of diagnosability for a certain class of timed stochastic systems ⋮ Diagnosability of fault patterns with labeled stochastic Petri nets ⋮ Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• SPRT and CUSUM in hidden Markov models
• Sequential Detection of Markov Targets With Trajectory Estimation
• Markov Chains
• Diagnosability of discrete-event systems
• Decentralized Diagnosis of Stochastic Discrete Event Systems
• Safe Diagnosability of Stochastic Discrete Event Systems
• Maximum Likelihood Failure Diagnosis in Finite State Machines Under Unreliable Observations
• Diagnosability of stochastic discrete-event systems
• Active Diagnosis for Probabilistic Systems
• Sequential Tests of Statistical Hypotheses
• State observation and diagnosis of discrete-event systems described by stochastic automata

This page was built for publication: A necessary and sufficient condition for diagnosability of stochastic discrete event systems