Controller design for resonant converters by automatable techniques | IEEE Conference Publication | IEEE Xplore