Using a discrete-time model for large-signal analysis of a current-programmed boost converter | IEEE Conference Publication | IEEE Xplore