MAP Moving Horizon state estimation with binary measurements | IEEE Conference Publication | IEEE Xplore