Fault detection observer design for linear discrete-time systems in finite frequency domain | IEEE Conference Publication | IEEE Xplore