Optimal finite-horizon sensor selection for Boolean Kalman Filter | IEEE Conference Publication | IEEE Xplore