Online Verification of Cognitive Car Decisions
Online Verification of Cognitive Car Decisions
复制标题
认知汽车决策的在线验证
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
M. Buss
中科院分区：
文献类型：
--
作者：
M. Althoff;O. Stursberg;M. Buss
认知汽车的安全行驶是其参与道路交通的必要条件。本文提出了一种方法来验证安全性计算可达集的位置相关的交通参与者，即一个认知的汽车以及在其环境中的移动对象。为了考虑交通参与者行为的不确定性，选择了一个随机设置，其中马尔可夫链表示的位置概率。提出了一种有效的在线算法，导致的结果，不同的交通参与者的可达集是否可以相交，这意味着认知汽车的控制策略可能是不安全的。
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 online 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.