Nondegeneracy and normality in necessary conditions involving Hamiltonian inclusions for state-constrained optimal control problems | IEEE Conference Publication | IEEE Xplore