Passivity-based controllers for the stabilization of DC-to-DC power converters | IEEE Conference Publication | IEEE Xplore