Vitalsource Technologies, Inc. Numerical Methods For Optimal Control Problems With State Constraints