Analysis of regions of stability for linear systems with saturating inputs through an anti-windup scheme | IEEE Conference Publication | IEEE Xplore