A modeling and filtering framework for the semi-discretised Navier-Stokes equations | IEEE Conference Publication | IEEE Xplore