A receding horizon set-theoretic approach oriented to predictive maintenance of actuators in linear systems