Output feedback synthesis for sampled-data system with input saturation