Digital power-factor correction for a capacitor-charging power supply | IEEE Journals & Magazine | IEEE Xplore