Residual generator design for linear dynamic system fault detection