Digital control of a boost converter using Posicast | IEEE Conference Publication | IEEE Xplore