Design of 35 kJ/s 25 kV capacitor charging power supply for pulsed power systems | IEEE Conference Publication | IEEE Xplore