The University of Auckland

Project #21: Certification of Longitudinal and Lateral Safety of Autonomous Vehicles Under Cruise Control Conditions

Back

Description:

 

 

 

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.

 

Outcome:

 

 

 

A satisfiability modulo theory formulation for parametrising cruise control for autonomous and human driven vechiles.

 

Prerequisites

 

 

 

Students should be comfortable with python. Furthermore, students should like physics and modelling.

Specialisations

Categories

Supervisor

Co-supervisor

Team

Lab

Lab allocations have not been finalised