典型文献
自动驾驶系统交通规则符合性仿真验证方法
文献摘要：
随着自动驾驶技术的不断发展,高级别自动驾驶车辆逐步在限定区域开展实际道路测试,确保和提高自动驾驶系统安全驾驶能力是当前研究、测试和工程开发的热点难点.面对自动驾驶车辆将长期与人类驾驶车辆混行,并与其他交通参与者遵守同样交通规则的现实需要,提出一种验证和测试自动驾驶系统交通规则符合性的方法,以期降低多车混行条件下的交通安全风险.针对各类交通法律法规语义自动解析技术瓶颈,提出规范化-逻辑化两阶段交通规则数字化模型,基于改进谓词度量时序逻辑框架(Metric Temporal Logic,MTL),将自然语言交通规则转换为命题、逻辑连接词和时序算子组成的逻辑编码,生成了自动驾驶系统可理解、可执行、可验证的数字化交通规则,并构建了交通规则命题的分级分类体系.提出了一套基于自动驾驶车辆高精度运动轨迹的交通规则符合性验证算法,并搭建仿真试验平台,在高速公路交通场景下开展了试验验证.理论分析与试验表明:精简命题空间、新增时序算子和谓词逻辑词等改进有效提高了原有MTL框架的时间表现能力,解决了时序逻辑性不足等问题,大幅提高了交通规则数字化转换效率,对地方性交通法规和未来交通法规修订提供了良好的兼容性.提出的交通规则符合性验证方法及试验平台可以有效测试自动驾驶系统对现有交通规则的遵守能力,相关成果对提高自动驾驶系统安全性能和未来混行交通安全管控水平具有重要意义.
文献关键词：
交通工程;自动驾驶;度量时序逻辑;混行交通;交通规则;仿真测试
中图分类号：
作者姓名：
王长君;胡伟超;于鹏程;周文辉;宋思达
作者机构：
公安部道路交通安全研究中心,北京 100062;北京工业大学城市交通学院,北京 100124;华为技术有限公司,北京 100095
文献出处：
引用格式：
[1]王长君;胡伟超;于鹏程;周文辉;宋思达-.自动驾驶系统交通规则符合性仿真验证方法)[J].中国公路学报,2022(09):13-25
A类：
度量时序逻辑
B类：
自动驾驶系统,交通规则,仿真验证,自动驾驶技术,高级别,自动驾驶车辆,实际道路测试,保和,安全驾驶,驾驶能力,人类驾驶车辆,现实需要,交通安全风险,交通法律法规,自动解析,技术瓶颈,两阶段,数字化模型,谓词,逻辑框架,Metric,Temporal,Logic,MTL,自然语言,连接词,子组,可验证,分级分类,分类体系,运动轨迹,仿真试验,试验平台,高速公路交通,交通场景,精简,逻辑词,进有,时间表,表现能力,逻辑性,转换效率,地方性,性交,交通法规,法规修订,兼容性,符合性验证方法,有效测试,系统安全性,安全性能,混行交通,安全管控,控水,交通工程,仿真测试
AB值：
0.328547
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
