Symbolic analysis of DC/DC converters in the frequency domain