arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2312.08076eess.SYcs.SY

可证明正确的协同编队安全协议

Provably-Correct Safety Protocol for Cooperative Platooning

Sebastian Mair, Matthias Althoff

AI总结:

本文提出一种可证明正确的安全协议,通过利用通信制动能力,在保持与前车小距离的同时防止碰撞,并在通信故障情况下仍能保证安全。

摘要:

协同自适应巡航控制(CACC)是形成字符串稳定车列的技术。由于所需的车距较小,确保碰撞避免尤其困难。我们提出一种安全协议,通过利用通信制动能力,在可证明正确的方式下防止碰撞,同时保持与前车的小距离。此外,该协议在可能的通信故障情况下仍能保证安全。尽管我们的概念可应用于任何CACC系统,我们特别考虑了一类CACC,其中车列车辆依次达成共识行为。我们的安全协议在CommonRoad基准套件上各种场景中进行了评估。

英文摘要:

Cooperative Adaptive Cruise Control (CACC) is a well-studied technology for forming string-stable vehicle platoons. Ensuring collision avoidance is particularly difficult in CACC due to the small desired inter-vehicle spacing. We propose a safety protocol preventing collisions in a provably-correct manner while still maintaining a small distance to the preceding vehicle, by utilizing communicated braking capabilities. In addition, the safety of the protocol is ensured despite possible communication failures. While our concept can be applied to any CACC system, we particularly consider a class of CACCs, where the platoon vehicles successively agree on a consensus behavior. Our safety protocol is evaluated on various scenarios using the CommonRoad benchmark suite.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑