Observer-based finite-time controller for Markov jump systems with deterministic switches | IEEE Conference Publication | IEEE Xplore