If integrated into adaptive cruise-control systems ... to demonstrate that his algorithm could stabilize it. Horn's proof accounts for several variables that govern real-life traffic flow ...