PDF

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.

Details

Files

Statistics

from
to
Export
Download Full History