Multi-resolution fault diagnosis in discrete-event systems