APartial Parameterization ofNonlinearOutputFeedback Controllers for SaturatedLinearSystems ⋆