TY - GEN
T1 - Safety assessment of autonomous cars using verification techniques
AU - Althoff, Matthias
AU - Stursberg, Olaf
AU - Buss, Martin
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/46449096367
U2 - 10.1109/ACC.2007.4282809
DO - 10.1109/ACC.2007.4282809
M3 - Conference contribution
AN - SCOPUS:46449096367
SN - 1424409888
SN - 9781424409884
T3 - Proceedings of the American Control Conference
SP - 4154
EP - 4159
BT - Proceedings of the 2007 American Control Conference, ACC
T2 - 2007 American Control Conference, ACC
Y2 - 9 July 2007 through 13 July 2007
ER -