An Improved Switching Controller for Boost Converter Based on Hybrid Automata Model | IEEE Conference Publication | IEEE Xplore