Failure diagnosis of discrete-time stochastic systems subject to temporal logic correctness requirements.

Jun Chen Ratnesh Kumar

Published in: ICNSC (2014)

Keyphrases

temporal logic
stochastic systems
failure diagnosis
model checking
failure detection
stochastic models
discrete event systems
fault diagnosis
confidence intervals
finite state
model based diagnosis
belief revision
ip networks
markov chain
markov processes
neural network
sample path