Variational integrators in linear optimal filtering | IEEE Conference Publication | IEEE Xplore