Discrete-time estimation of a Markov chain with marked point process observations. Application to Markovian jump filtering | IEEE Journals & Magazine | IEEE Xplore