• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Modelling and Simulation 2015 >Modeling and Formal Verification of Reconfigurable Vehicular Platoons
【24h】

Modeling and Formal Verification of Reconfigurable Vehicular Platoons

机译：可重构车辆排的建模和形式验证

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The platoon system is considered as a promising transportation approach that may offer many services such as reducing the fuel consumption or increasing the road capacity. However, with new technologies come new complex issues. Vehicles formation requires a high safety level since it evolves human drivers security. In order to deal with uncertainties in the platoon, this paper proposes to manage the safety issue by a reconfigurable multi-agent architecture handling two different modes: normal and degraded modes when faults occur. Finally, we propose to evaluate the correctness of any platoon by using a formal verification approach. We prove the efficiency of the proposed platoon model for several situations such as merging, following or leaving the platoon by verifying the non-collision safety criterion (i.e.: the distance between vehicles should not reach a reference value).
机译：排系统被认为是一种有前途的运输方式，可以提供许多服务，例如减少燃油消耗或增加道路通行能力。但是，随着新技术的出现，出现了新的复杂问题。车辆编队需要提高安全性，因为它可以提高驾驶员的安全性。为了解决排中的不确定性，本文提出了通过可重构的多主体体系结构来管理安全问题，该体系结构处理两种不同的模式：发生故障时的正常模式和降级模式。最后，我们建议使用正式的验证方法来评估任何排的正确性。我们通过验证非碰撞安全标准（即：车辆之间的距离不应达到参考值）来证明所提出的排模型在几种情况下（例如合并，跟随或离开排）的效率。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号