Takagi–Sugeno Model-Based Sliding Mode Observer Design for Finite-Time Synthesis of Semi-Markovian Jump Systems | IEEE Journals & Magazine | IEEE Xplore