Moving horizon Monte Carlo state estimation for linear systems with output quantization | IEEE Conference Publication | IEEE Xplore