Volvo Cars

file

Visible to the public Provably Safe Automotive Cyber-Physical Systems with Humans-in-the-Loop

Abstract:

This project focuses on the formal design of semi-autonomous automotive Cyber Physical Systems (CPS). Rather than disconnecting the driver from the vehicle, the goal is to obtain a vehicle where the degree of autonomy is continuously changed in real-time as a function of certified uncertainty ranges in driver behavior and environment reconstruction.