traffic lights, part two

30 April 2013

Half a decade ago, I wrote a blog post describing the optimal deceleration pattern, to maximize your velocity through a traffic light just as it turns green. It is practically illegible. Since I've been applying the calculus of variations to some ongoing research projects, redoing the math seems like some good practice.

setup

You are driving a car towards a red light, and what do you see? An empty lane! You merge over, eagerly anticipating zooming off and laughing maniacally at the chumps who haven't even lifted their chumpy feet off of the gas pedal, you having perfectly timed the light. In a world where you know when the light will change, and your only available option is to brake before the light -— no fair braking to a stop, then goosing the throttle as the light is about to turn -— how should you manage your brake pedal so as to maximize the speed at which you coast through the intersection?

We have the following primitives:

the objective

From this setup, the mathematical objective is expressed as

The calculus of variations (for an excellent reference, see Intriligator, 1971) gives us a [pointwise] Lagrangian of

Since the Lagrangian is -free, the solution may be expressed as

In particular, we have

It is worth noting that is a constant, as it is the multiplier on an integral constraint, while is a function.

analysis

As is usual in Lagrangian analysis, we look at cases.

Then the integral constraint is irrelevant. It is easy to see that the solution is .

We can see that . Hence if , it must be that .

In either case, the optimal deceleration pattern is given by

The question then reduces to solving for ; however, at this point we have already solved as much as the previous post: the optimal strategy is to brake as hard as possible, for as long as necessary to just meet the light at the no-more-braking speed. From the above analysis, we know that when .

In all other cases, we know that solves

It follows that when , we have

alternative characterization

Rather than using the '-free' shortcut, we can appeal directly to the Euler equation,

In this case,

It is worth noting that, at almost every point, implies , and vice-versa. Hence if , it must be that and (otherwise, we can integrate both and slightly to positive values, implying that both constraints bind). This implies that one constraint or the other will bind throughout.

In the more interesting case, . This implies that either or ; since the equation is set equal to , these are mutually exclusive. Remembering that each of must be positive, the only solution here consistent with continuous is to have on a range and on a range . By the nature of the constraints binding over different regions, this implies the same solution as above.

All included LaTeX graphics are generated at LaTeX to png .

contemporary entries

comments

there are no comments on this post