车对车通信反应式协议的合成
系统与控制
2012-10-09 v1
摘要
我们提出了一种通信协议合成方法，用于满足服务质量要求特定形式规范的主动安全应用。开发这些协议旨在为汽车主动安全应用提供可靠的通信服务。该合成方法将规范转换为发送者和接收者的分布式实现，它们通过在不可靠介质上传输消息共同满足服务质量要求。我们开发了一种规范语言和执行模型，并通过为一个繁忙路口车辆闯红灯的交通场景开发协议，展示了我们方法的可行性。
引用
@article{arxiv.1210.2035,
title = {Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication},
author = {Clemens Wiltsche and Ufuk Topcu and Richard M. Murray},
journal= {arXiv preprint arXiv:1210.2035},
year = {2012}
}
备注
Technical report for the paper with the same title prepared for submission to ICCPS'13, April 8--11, 2013, Philadelphia, PA, USA