A traffic light looks like the simplest control system in existence: three lamps, one at a time, in a fixed order. Almost everything about it is a compromise between constraints that cannot all be ...