Protocol-Based Output-Feedback Control for Semi-Markov Jump Systems | IEEE Journals & Magazine | IEEE Xplore