Duality theory for state-constrained control problems governed by a first order PDE system