Optimal codesign of controller and linear plants with input saturation: The sensitivity Lyapunov approach. (3rd October 2017)