Half-cycle-sampled discrete model of series-parallel resonant converter with optimized modulation and its control design