Lygeros, John; Lynch, Nancy - Institute for Transportation Studies (ITS), University … - 2000
A simple model for a string of vehicles is constructed. The model explicitly accounts for the possibility of repeated collisions between the vehicles in the string. Based on the model a notion of safety is formulated for the string. Necessary and sufficient conditions are presented that specify...