Modeling, simulation, and experimental verification of soft-switched bi-directional DC-DC converters | IEEE Conference Publication | IEEE Xplore