Convergence analysis of GrDHP-based optimal control for discrete-time nonlinear system | IEEE Conference Publication | IEEE Xplore