On separation principle for linear quadratic control with input saturation | IEEE Conference Publication | IEEE Xplore