Output Feedback Sliding Mode Control of Markovian Jump Systems and Its Application to Switched Boost Converter | IEEE Journals & Magazine | IEEE Xplore