Antiwindup design with guaranteed regions of stability: an LMI-based approach | IEEE Journals & Magazine | IEEE Xplore