Reachable Set Synthesis of Markov Jump Systems With Time-Varying Delays and Mismatched Modes | IEEE Journals & Magazine | IEEE Xplore