I am looking for research references for KKT conditions and Slack Variables applied to variational calculus problems in things like Control Theory and such.
For example, naively I might try solving a problem like,
\begin{align} \text{extremize}\ \ S[x] &= \int dt\ \mathcal{L}(x, \dot{x}) \\ \text{s.t.}\ &\ f(x) \ge 0 \end{align}
By adding slack variables and Lagrange multipliers,
\begin{align} \text{extremize}\ \ S[x, \lambda, s] &= \int dt\ \mathcal{L}(x, \dot{x}) + \lambda(f(x) - s^2)\\ \end{align} with $ x, \lambda, s $ being functions of time.