On second order necessary conditions in infinite dimensional optimal control with state constraints | IEEE Conference Publication | IEEE Xplore