Methodology to obtain local discrete diagnosers: Submission for special session on diagnosis of DES: Application on a benchmark | IEEE Conference Publication | IEEE Xplore