A variable frequency high-voltage power supply for hot-restrike modelling of HID lamps | IEEE Conference Publication | IEEE Xplore