Existence of neighbouring feasible trajectories: applications to dynamic programming for state constrained optimal control problems | IEEE Conference Publication | IEEE Xplore