Discrete-time modeling and control of a synchronous buck converter | IEEE Conference Publication | IEEE Xplore