Soft-landing control by control invariance and receding horizon control.