Convergence of pseudospectral discretizations of optimal control problems | IEEE Conference Publication | IEEE Xplore