Interval-based/Data-Driven Risk Management for Intelligent Vehicles: Application to an Adaptive Cruise Control System

Nadhir Mansour Ben Lakhal1, Lounis Adouane, Othman Nasri2, Jaleleddine Ben Hadj Slama2

  • 1Institut Pascal, UCA/SIGMA - UMR CNRS 6602, Clermont Auvergne Un
  • 2LATIS Lab, National Engineering School of Sousse (ENISo), Univer

Details

13:30 - 17:30 | Sun 9 Jun | Room L109 | SuFT10.3

Session: FRCA-IAV: Formal Methods vs. Machine Learning Approaches for Reliable Navigation

Abstract

In this work, a novel interval-based/data-driven safety verification technique is introduced for Intelligent/Autonomous Vehicles (I/AV). The interval arithmetic is adopted to enhance the reliability of the analytical models used for the autonomous navigation. Furthermore, a data-driven technique, which monitors the correlation relating variables of the modeled system, is adopted to ameliorate the uncertainty assessment. In such a manner, tight bounds of safety margins are obtained. To provide reliable safety verification, the proposed risk management approach has been integrated on an Adaptive Cruise Control (ACC) system. It permits to detect erroneous uncertainty estimation of an Extended Kalman Filter (EKF). Simulation results prove the overall risk management efficiency and its ability to handle uncertainties.