Formal Framework for Nonlinear Control of PWM AC/DC Boost Rectifiers—Controller Design and Average Performance Analysis | IEEE Journals & Magazine | IEEE Xplore