arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1909.04850eess.SYcs.LOcs.SY
收藏

自动驾驶汽车的假设保证配置文件

Towards Assume-Guarantee Profiles for Autonomous Vehicles

Tung Phan-Minh, Karena X. Cai, Richard M. Murray

摘要:

目前,自动驾驶汽车的规则或规范是根据具体情况制定的,并以相当特殊的方式组合在一起。作为消除这种做法的一步,我们提出了一个系统化的程序,用于为自动驾驶汽车生成一组监督规范,这些规范1)与分布式假设保证结构相关联,2)以一致性和完整性概念为特征。除了帮助自动驾驶汽车在道路上做出更好的决策外,假设担保合同结构还有助于解决不良事件发生时的责任概念。我们给出了几个博弈论的例子来证明我们的框架的适用性。

英文摘要:

Rules or specifications for autonomous vehicles are currently formulated on a case-by-case basis, and put together in a rather ad-hoc fashion. As a step towards eliminating this practice, we propose a systematic procedure for generating a set of supervisory specifications for self-driving cars that are 1) associated with a distributed assume-guarantee structure and 2) characterizable by the notion of consistency and completeness. Besides helping autonomous vehicles make better decisions on the road, the assume-guarantee contract structure also helps address the notion of blame when undesirable events occur. We give several game-theoretic examples to demonstrate applicability of our framework.

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

↑