Navier-Stokes equation controlled by degenerate forcing: controllability of finite-dimensional approximations | IEEE Conference Publication | IEEE Xplore