Local stabilization of discrete-time linear systems with saturating controls: an LMI-based approach | IEEE Journals & Magazine | IEEE Xplore