Sign in
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