A Nonlinear Controller Based on a Discrete Energy Function for an AC/DC Boost PFC Converter | IEEE Journals & Magazine | IEEE Xplore