A verified hybrid controller for automated vehicles

Considerable experimental and theoretical research has been carried out in an attempt to design an automated highway system that can provide more efficient utilization of the highways and at the same time be safer and more comfortable than the current highway system. Here we present a unified framework for carrying out safety calculations for the automated highway problem. We obtain sufficient conditions for a set of continuous controllers to be safe and use these conditions to design a discrete scheme that switches between them. Guarantees of safety for the closed loop hybrid system follow by design.