自主城市交通机动中的不完美知识
计算机科学中的逻辑
2017-09-11 v1 系统与控制
摘要
城市多车道空间逻辑（UMLSL）在[13]中引入，用于证明具有完美知识的自主城市交通机动的安全性（无碰撞）。我们现在考虑一种不完美知识的概念，其中车辆关于其他车辆的信息较少。为此，我们引入多视图的概念，并提出使用带有数据约束的广播通信用于交叉口转弯机动的交叉控制器。
引用
@article{arxiv.1709.02559,
title = {Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres},
author = {Maike Schwammberger},
journal= {arXiv preprint arXiv:1709.02559},
year = {2017}
}
备注
In Proceedings FVAV 2017, arXiv:1709.02126