The penalty on the congestion in the current version utilizes the following lemma:
A point is in freeflow if and only if its solution comes from the uncongested initial condition or upstream boundary condition. Similarly, a point is in congestion if and only if its solution comes from the congested initial condition or downstream boundary condition.
The penalty on the congestion in the current version utilizes the following lemma: A point is in freeflow if and only if its solution comes from the uncongested initial condition or upstream boundary condition. Similarly, a point is in congestion if and only if its solution comes from the congested initial condition or downstream boundary condition.