自动驾驶与安全关键车辆系统中基于成员资格的机动协商
分布式、并行与集群计算
2019-06-12 v1
摘要
我们提出了一种容错的基于协商的路口通行协议。使用严格的解析证明来展示其正确性与容错特性。实验结果通过详细的计算机仿真验证了正确性证明，并对系统性能提供了初步评估。将结果与仅使用风险估计器（无论是否结合所提协议）所能达到的结果进行了比较。我们的故障模型考虑了丢包、含噪传感信息以及恶意驾驶。初步结果表明危险情形与车辆碰撞的数量有所减少。
引用
@article{arxiv.1906.04703,
title = {Membership-based Manoeuvre Negotiation in Autonomous and Safety-critical Vehicular Systems},
author = {Antonio Casimiro and Emelie Ekenstedt and Elad Michael Schiller},
journal= {arXiv preprint arXiv:1906.04703},
year = {2019}
}