Linking spatial and dynamic models for traffic maneuvers
Ernst-Rüdiger Olderog, Anders Peter Ravn, Rafael Wisniewski · 2015
For traffic maneuvers of multiple vehicles on highways we build an abstract spatial and a concrete dynamic model. In the spatial model we show the safety (collision freedom) of lane-change maneuvers. By linking the spatial and dynamic model via suitable refinements of the spatial atoms to distance measures, the safety carries over to the concrete model.