An efficient approach to stabilization for linear systems subject to output saturation. (June 2023)