1: \begin{abstract}
2: A sequential quadratic programming (SQP) algorithm is designed for nonsmooth optimization problems with upper-$\Ctwo$ objective functions. Upper-$\Ctwo$ functions are locally equivalent to difference-of-convex (DC) functions with smooth convex parts. They arise naturally in many applications such as certain classes of solutions to parametric optimization problems, \textit{e.g.}, recourse of stochastic programming, and projection onto closed sets.
3: The proposed algorithm conducts line search and adopts an exact penalty merit function.
4: The potential inconsistency due to the linearization of constraints are addressed through relaxation, similar to that of S$\ell_1$QP.
5: We show that the algorithm is globally convergent under reasonable assumptions.
6: Moreover, we study the local convergence behavior of the algorithm under additional assumptions of Kurdyka-Ćojasiewicz (KL) properties, which have been applied to many nonsmooth optimization problems.
7: Due to the nonconvex nature of the problems, a special potential function is used to analyze local convergence.
8: We show that under acceptable assumptions, upper bounds on local convergence can be proven.
9: Additionally, we show that for a large number of optimization problems with upper-$\Ctwo$ objectives, their corresponding potential functions are indeed KL functions. Numerical experiment is performed with a power grid optimization problem that is consistent with the assumptions and analysis in this paper.
10: \end{abstract}
11: