Anti-windup for linear systems with sensor saturation: sufficient conditions for global stability and L2 gain | IEEE Conference Publication | IEEE Xplore