1: \begin{abstract}

2: This paper proposes a new algorithm that solves non-convex optimal control problems with a theoretical guarantee for global convergence to a feasible local solution of the original problem.

3: The proposed algorithm extends the recently proposed successive convexification (\texttt{SCvx}) algorithm by

4: addressing one of its key limitations, that is, the converged solution is not guaranteed to be feasible to the original non-convex problem.

5: The main idea behind the proposed algorithm is to incorporate the \texttt{SCvx}-based iteration into an algorithmic framework based on the augmented Lagrangian method to enable the feasibility guarantee while retaining favorable properties of \texttt{SCvx}.

6: Unlike the original \texttt{SCvx}, this approach iterates on both of the optimization variables and the Lagrange multipliers, which facilitates the feasibility guarantee as well as efficient convergence, in a spirit similar to the alternating direction method of multipliers (ADMM) for large-scale convex programming.

7: Convergence analysis shows the proposed algorithm's strong global convergence to a \textit{feasible} local optimum of the original problem and its convergence rate.

8: These theoretical results are demonstrated via numerical examples with comparison against the original \texttt{SCvx} algorithm.

9: \end{abstract}