A unified framework for the study of anti-windup designs