A new symbolic approach to the analysis of switch power converters