Sensor fault detectability analysis for discrete LTI systems. A positive invariance based approach | IEEE Conference Publication | IEEE Xplore