On the hybrid automaton models and control synthesis of a single inductor, double output boost converter | IEEE Conference Publication | IEEE Xplore