By Topic

Safety Assessment of Autonomous Cars using Verification Techniques

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Althoff, M. ; Tech. Univ. Munchen, Munich ; Stursberg, O. ; Buss, M.

A common requirement for autonomous cars is a safe locomotion which is evaluated by the method of hybrid verification applied online. The approach checks avoidance of static obstacles and dynamic traffic participants, which are described by imprecise data on their positions and velocities. The nonlinear dynamics of the autonomous car and other traffic participants is conservatively abstracted to Markov chains, which allows the efficient computation of their future positions probabilistically. The result is the probability of a crash for a given time horizon, showing if a given control strategy may lead to unsafe situations.

Published in:

American Control Conference, 2007. ACC '07

Date of Conference:

9-13 July 2007