Finite dimensional algorithms for optimal scheduling of hidden Markov model sensors | IEEE Conference Publication | IEEE Xplore