Symbolic analysis of switching systems: application to bifurcation analysis of DC/DC switching converters | IEEE Journals & Magazine | IEEE Xplore