Polynomial test for Stochastic Diagnosability of discrete event systems.

Jun Chen Ratnesh Kumar

Published in: CASE (2012)

Keyphrases

discrete event systems
timed petri nets
petri net
discrete event
complex systems
model based diagnosis
failure diagnosis
telecommunication networks
simulation model
dynamic systems
temporal constraints
neural network
lower bound
mobile devices
spatial information