Lygeros, J.; Godbole, D. N.; Sastry, S. - Institute for Transportation Studies (ITS), University … - 1997
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....