A Full State-Variable Predictive Control of Bi-directional Boost Converters with Guaranteed Stability | IEEE Conference Publication | IEEE Xplore