A comparative study of three model-based FDI approaches for Discrete Event Systems | IEEE Conference Publication | IEEE Xplore