Receding horizon guaranteed cost control for norm-bounded uncertain systems with actuator saturation.