Analysis and Design of a Controller for an Input-Saturated DC–DC Buck Power Converter | IEEE Journals & Magazine | IEEE Xplore