一种基于运行时验证的列车调度操作危险预测方法及系统

摘要

本发明涉及一种基于运行时验证的列车调度操作危险预测方法及系统，先建立列车运行控制参数化模型，然后以线路工程数据、列车运行数据和行车许可终点位置作为输入，计算不变集、流条件以及四种运行状态之间的迁移条件，以对参数化模型进行配置，得到实例化模型。再对实例化模型进行线性化，得到列车运行控制混成自动机模型，最后利用多面体过近似混成自动机可达集计算算法对列车运行控制混成自动机模型进行求解，得到列车运行可达集，根据列车运行可达集确定列车是否会发生危险，进而能够在调度命令下发之前，预测该调度命令是否会导致列车运行的危险，从而提升调度操作的安全性和效率。