Analytic Modeling Optimal Control of Pulsed Power Supply for Accelerator Magnet | IEEE Journals & Magazine | IEEE Xplore