Patents

• [10]安全目标导向的CBTC系统精化开发和确认方法及装置,2024
• [11]基于符号化有限状态机的完备性测试用例生成方法,2024
• [12]一种基于ORCA的轨道交通路径规划方法、装置及可读介质,2024
• [13]一种高速铁路联锁系统安全分析方法、系统、设备及介质,2024
• [14]轨道交通网络的连续时间多智能体路径规划方法及系统,2023
• [15]面向冗余结构的安全刹车控制系统的设计方法及装置,2023
• [16]列车控制系统车地通信安全分析方法、系统、设备及介质,2023
• [17]一种轨道交通连锁系统安全分析开发方法及装置,2023
• [18]基于扩展切比雪夫多项式的车地无线通信认证方法及系统,2023