| HAL-Inria | Publications, software ... of Inria's scientists |
Documents associated with scientific events
Software for verification of collision avoidance algorithms via Optimal Control Techniques
Abstract : The goal of the talk is to present a verification procedure for car collision avoidance algorithms using reachable set information and optimal control techniques. After defining the car models and the scenarios with avoidable objects, consistent with the measured data provided by Volkswagen, we create an algorithm which is able to give an output data comparable with the ones of the Volkswagen algorithms. To do this it is needs to define mathematically when a collision will occur or not. This definition is based on reachable set information and optimal control problem solutions. Moreover we take into account sensor perturbations in relation to their mathematical model. The task is to find sensor tolerance ranges guaranteeing that a certain failure rate probability is not exceeded. Speaker: Ilaria Xausa
https://hal.inria.fr/hal-01024587
Contributor : Hasnaa Zidani <>
Submitted on : Friday, July 18, 2014 - 2:36:59 PM
Last modification on : Friday, April 10, 2020 - 6:10:03 PM
Document(s) archivé(s) le : Monday, November 24, 2014 - 4:15:24 PM
Contributor : Hasnaa Zidani <>
Submitted on : Friday, July 18, 2014 - 2:36:59 PM
Last modification on : Friday, April 10, 2020 - 6:10:03 PM
Document(s) archivé(s) le : Monday, November 24, 2014 - 4:15:24 PM
File
Xausa-NETCO2014.pdf
Files produced by the author(s)