Online Verification of Cognitive Car Decisions

Matthias Althoff, Olaf Stursberg, Martin Buss
2007 IEEE Intelligent Vehicles Symposium  
Verifying a safe locomotion of cognitive cars is indispensable for their participation in road traffic. This paper suggests an approach for verifying safety by computing reachable sets for the position of relevant traffic participants, i.e. a cognitive car as well as moving objects in its environment. In order to account for the uncertainty in the behavior of traffic participants, a stochastic setting is chosen, in which Markov chains represent the positions probabilistically. An efficient
more » ... e algorithm is presented that leads to the result whether the reachable sets of different traffic participants can intersect, meaning that the control strategy of the cognitive car is possibly unsafe.
doi:10.1109/ivs.2007.4290203 fatcat:4h34bqxv3bc4phhhqy3kso2qae