The connection between the maximum principle and the value function for optimal control problems under state constraints

We consider the Mayer optimal control problem with dynamics given by a non convex differential inclusion, whose trajectories are constrained to a closed set and obtain necessary optimality conditions in the form of the maximum principle together with a relation between the costate and the value function. This additional relation is applied in turn to show that the maximum principle is non degenerate.