Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture

Research into safety in autonomous and semi-autonomous vehicles has, so far, largely been focused on testing and validation through simulation. Due to the fact that failure of these autonomous systems is potentially life-endangering, formal methods arise as a complementary approach. This paper studies the application of formal methods to the verification of a human driver model built using the cognitive architecture ACT-R, and to the design of correct-by-construction Advanced Driver Assistance Systems (ADAS). The novelty lies in the integration of ACT-R in the formal analysis and an abstraction technique that enables finite representation of a large dimensional, continuous system in the form of a Markov process. The situation considered is a multi-lane highway driving scenario and the interactions that arise. The efficacy of the method is illustrated in two case studies with various driving conditions.Comment: Proceedings at IEEE CAVS 201

High-Speed Highway Scene Prediction Based on Driver Models Learned From Demonstrations

International audienceOne of the key factors to ensure the safe operation of autonomous and semi-autonomous vehicles in dynamic environments is the ability to accurately predict the motion of the dynamic obstacles in the scene. In this work, we show how to use a realistic driver model learned from demonstrations via Inverse Reinforcement Learning to predict the long-term evolution of highway traffic scenes. We model each traffic participant as a Markov Decision Process in which the cost function is a linear combination of static and dynamic features. In particular, the static features capture the preferences of the driver while the dynamic features, which change over time depending on the actions of the other traffic participants, capture the driver's risk-aversive behavior. Using such a model for prediction enables us to explicitly consider the interactions between traffic participants while keeping the computational complexity quadratic in the number of vehicles in the scene. Preliminary experiments in simulated and real scenarios show the capability of our approach to produce reliable, human-like scene predictions

Bayesian & AI driven Embedded Perception and Decision-making. Application to Autonomous Navigation in Complex, Dynamic, Uncertain and Human-populated Environments.Synoptic of Research Activity, Period 2004-20 and beyond

Robust perception & Decision-making for safe navigation in open and dynamic environments populated by human beings is an open and challenging scientific problem. Traditional approaches do not provide adequate solutions for these problems, mainly because these environments are partially unknown, open and subject to strong constraints to be satisfied (in particular high dynamicity and uncertainty). This means that the proposed solutions have to take simultaneously into account characteristics such as real-time processing, temporary occultation or false detections, dynamic changes in the scene, prediction of the future dynamic behaviors of the surrounding moving entities, continuous assessment of the collision risk, or decision-making for safe navigation. This research report presents how we have addressed this problem over the two last decades, as well as an outline of our Bayesian & IA approach for solving the Embedded Perception and Decision-making problems

Driving assistance method and system

A driving assistance system includes a sensor set, a data storage device and an output device. The sensor set observes apparent states of each road user of the plurality of road users at successive time steps, the data processor assigns a behavioral model stored in the data storage device, the data processor calculating a new maneuver distribution that is a probability distribution over a finite plurality of alternative maneuvers and a new state distribution that is a probability distribution of possible states for each alternative maneuver of the finite plurality of alternative maneuvers. The data processor determines a risk of collision of the road vehicle with another road user, based on the new maneuver and state distributions of the target road user, and outputs one or more of a driver warning signal and executes an avoidance action if the risk of collision exceeds a predetermined threshold