Design and passivity-based stability analysis of a PI current-mode controller for dc/dc boost converters | IEEE Conference Publication | IEEE Xplore