Modern Anti-Windup Synthesis: Control Augmentation for Actuator Saturation Luca Zaccarian