Necessary conditions for infinite horizon optimal control problems with state constraints | Synapse