Asynchronous State Estimator Design for Markov Switched Systems with Incomplete Probabilities and Redundant Channels | IEEE Conference Publication | IEEE Xplore