Finite-time control for DC-DC boost converter using nonsingular terminal sliding modes via exact feedback linearization | IEEE Conference Publication | IEEE Xplore