In this report the authors present a unified framework for carrying out safety calculations for the automated highway problem and 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....