Abstract

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.


Original document

The different versions of the original document can be found in:

http://dx.doi.org/10.1109/acc.2007.4282809
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004282809,
http://mediatum.ub.tum.de/1289987,
https://academic.microsoft.com/#/detail/2123951162
  • [ ]
Back to Top

Document information

Published on 01/01/2007

Volume 2007, 2007
DOI: 10.1109/acc.2007.4282809
Licence: CC BY-NC-SA license

Document Score

0

Views 0
Recommendations 0

Share this document

Keywords

claim authorship

Are you one of the authors of this document?