DMCA
Safety assessment of autonomous cars using verification techniques
| Venue: | in Proc. of the American Control Conference, 2007 |
| Citations: | 8 - 4 self |
BibTeX
@INPROCEEDINGS{Althoff_safetyassessment,
author = {Matthias Althoff and Olaf Stursberg and Martin Buss},
title = {Safety assessment of autonomous cars using verification techniques},
booktitle = {in Proc. of the American Control Conference, 2007},
year = {},
pages = {4154--4159}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract — 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. I.
Keyphrases
autonomous car verification technique safety assessment control strategy time horizon traffic participant hybrid verification static obstacle common requirement imprecise data unsafe situation efficient computation dynamic traffic participant markov chain nonlinear dynamic safe locomotion future position
