Diagnosis of repeated/intermittent failures in discrete event systems.

Shengbing Jiang Ratnesh Kumar Humberto E. Garcia

Published in: IEEE Trans. Robotics Autom. (2003)

Keyphrases

discrete event systems
failure diagnosis
model based diagnosis
repair actions
petri net
dynamic systems
complex systems
timed petri nets
telecommunication networks
discrete event
video sequences
model checking
constraint programming
database systems
failure detection