LMI-Based Control Design with Robust Local Stability Guarantees for Linear Discrete-Time Systems with Input Saturations | IEEE Conference Publication | IEEE Xplore