Optimal state estimation for discrete-time Markovian Jump Linear Systems, in the presence of delayed output observations | IEEE Conference Publication | IEEE Xplore