Login / Signup
Probabilistic logical approach for testing diagnosability of stochastic discrete event systems.
Xuena Geng
Dantong Ouyang
Xiangfu Zhao
Shuang Hao
Published in:
Eng. Appl. Artif. Intell. (2016)
Keyphrases
</>
discrete event systems
timed petri nets
discrete event
petri net
complex systems
model based diagnosis
failure diagnosis
probabilistic logic
telecommunication networks
probabilistic knowledge
temporal constraints
dynamic systems
probabilistic model
simulation model
test cases
bayesian networks
uncertain data