First- and second-order optimality conditions for a strong local minimum in control problems with pure state constraints

In this paper first- and second-order optimality conditions for a strong local minimum are presented for optimal control problems with pure state set-inclusion constraints. The first-order condition is of Pontryagin type, while the second-order condition is of the form of an accessory problem associated with the strong local minimality. This latter condition contains an extra term reflecting the presence of the pure state constraints.