Francesco Borrelli


Visible to the public Verifiable Active Safety for Automotive Cyber-Physical Systems with Humans in the Loop

A recent trend in the automotive industry is the rapid inclusion of electronics, computers and controls that focus entirely on improved functionality and overall system robustness. This makes the automotive sector one of the richest targets for emerging innovations in Cyber-Physical Systems (CPS) [1]. While this trend has affected all of the vehicle areas, there is a particular interest in active safety that effectively complements passive safety. Passive safety is focused on the structural integrity of the vehicle.