Randomized analysis and synthesis of robust linear static anti-windup