Simulation and control of a 20-kHz spacecraft power system | IEEE Journals & Magazine | IEEE Xplore