Anti-Windup Design for Saturated Semi-Markovian Switching Systems With Stochastic Disturbance | IEEE Journals & Magazine | IEEE Xplore