Constrained switching stabilization of a dc-dc boost converter using piecewise-linear Lyapunov functions | IEEE Conference Publication | IEEE Xplore