A large-signal model for current-programmed boost converter | IEEE Conference Publication | IEEE Xplore