Malanowski Kazimierz
Second order sufficient conditions for optimal control subject to first order state constraints