车辆间通信的反应性协议综合
摘要：为满足服务质量要求，在主动安全应用中提出一种可靠通信协议综合方法。该协议旨在为汽车主动安全应用提供可靠的通信服务。综合方法通过将规范转化为发送方和接收方的分布式实现来满足服务质量要求，通过在不可靠介质上传输消息。我们开发了一种规范语言和实现的执行模型，并通过开发一个交通场景的协议来证明我们方法的可行性：在繁忙的十字路口上，车辆闯红灯。
作者：Clemens Wiltsche, Ufuk Topcu and Richard M. Murray
论文ID：1210.2035
分类：Systems and Control
分类简称：cs.SY
提交时间：2012-10-09