Mathematical formulations modeling string stability and boundary control Lyapunov functions to prevent traffic flow breakdown on congested bridges and tunnels.
Modulating car-following headway time constants inversely proportional to local spatial density prevents micro-oscillations from propagating upstream into stop-and-go jams.