Robust constrained stabilization of a boost DC-DC converter with Lyapunov-based control and piecewise-linear Lyapunov functions | IEEE Conference Publication | IEEE Xplore