Description
In this letter we use a monotonicity-based approach to design a safety controller in two realistic driving situations: a vehicle-following scenario and an unprotected left turn scenario. For each scenario we construct a symbolic abstraction of the system and efficiently synthesize a safety controller by exploiting the monotonicity property of the dynamics. In the vehicle-following scenario, we show how monotonicity-based reasoning can be used to handle model uncertainty; in the unprotected left turn scenario, we show how such reasoning can be applied to efficiently deal with the complex scenario of two oncoming vehicles.