Repetitive pulsed power modulator using static induction thyristor for discharge light source | IEEE Conference Publication | IEEE Xplore