Clarke F. Functional Analysis, Calculus of Variations and Optimal Control 2013