一种用于交通序列图一致性分析的方法

高度自动化车辆的发展趋势正在朝着基于情景的方法发展。交通序列图是一种用于描述高度自动化车辆基于情景的需求的可视化但正式的语言。本工作提出了一种用于查找以交通序列图形式化的一组情景需求之间一致性（冲突）的方法。该方法利用在可能车辆行为的双侧近似上的满足性模理论求解。这样可以确保找到的一致性问题并非由近似引起，同时也适用于精确方法。本文评估了该分析技术的适用性和可扩展性。