bbe34e7a6793e7ec.tex
1: \begin{abstract}
2: 
3: We study the convergence properties of an overlapping Schwarz decomposition algorithm for solving nonlinear optimal control problems (OCPs). The algorithm decomposes the~time domain into a set of overlapping subdomains, and~solves all~subproblems defined over subdomains in parallel. The~convergence is attained by updating primal-dual information~at~the boundaries of overlapping subdomains. We show that the algorithm exhibits local linear convergence, and that the convergence rate improves exponentially with the overlap size. We also establish global convergence results for a general quadratic programming, which enables the application of the Schwarz scheme inside~second-order optimization algorithms (e.g., sequential quadratic programming). {\red The theoretical foundation~of our convergence analysis} is a~sensitivity result of {\red nonlinear} OCPs, which we call ``exponential decay of sensitivity" (EDS). Intuitively, EDS states that the impact of perturbations at domain~boundaries (i.e. initial and terminal time) {\red on the solution} decays exponentially as one moves into~the domain. {\red Here, we expand a previous analysis available in the literature~by showing} that EDS holds for {\red both primal and dual solutions}~of nonlinear OCPs, under uniform second-order sufficient condition, controllability condition, and boundedness condition. We conduct experiments with a quadrotor motion planning problem and a PDE control problem {\red to validate our theory}; and show that~the approach is significantly more efficient than ADMM and as efficient as the centralized solver Ipopt. 
4: \end{abstract}
5: