Intel has recently released a specification for safety distance computation for autonomous and human driven vehicles. The specification however is dependent upon a number of external parameters. These parameters are determined by road conditions, weather conditions, human factors, etc. The main purpose of this project is to build satifiability modulo theory (SMT) models of vehicle motion to determine safe parameters for cruise control in vehicles in order to guarantee collision freedom.
Undergraduate
A satisfiability modulo theory formulation for parametrising cruise control for autonomous and human driven vechiles.
Students should be comfortable with python. Furthermore, students should like physics and modelling.
Lab allocations have not been finalised