Polynomial Test for Stochastic Diagnosability of Discrete-Event Systems.

Jun Chen Ratnesh Kumar

Published in: IEEE Trans Autom. Sci. Eng. (2013)

Keyphrases

discrete event systems
timed petri nets
discrete event
petri net
complex systems
model based diagnosis
telecommunication networks
failure diagnosis
dynamic systems
simulation model
temporal constraints
test cases
reinforcement learning
temporal reasoning