Lyapunov-based robust controller design for single-inductor dual-output buck converters using sum of squares programming | IEEE Conference Publication | IEEE Xplore