Optimal state estimation for boolean dynamical systems using a boolean Kalman smoother | IEEE Conference Publication | IEEE Xplore