A sequential procedure for simultaneous detection and state estimation of Markov signals | IEEE Conference Publication | IEEE Xplore