Semidefinite programming relaxation of optimum active input design for fault detection and diagnosis: Model-based finite horizon prediction | IEEE Conference Publication | IEEE Xplore