publicações selecionadas artigo de conferência Nondegenerate necessary conditions for optimal control problem with state constraints: Integral-type constraint qualification 2007