Sampled-Data Modeling of Digitally Controlled Boost Converter With Trailing-Edge and Leading-Edge Modulations | IEEE Conference Publication | IEEE Xplore