Control system and diagnostic tools for the TPS pulsed power supplies | IEEE Conference Publication | IEEE Xplore