会议论文《基于梯形逻辑的联锁系统形式化验证方法》发表于2013年全国开放式分布与并行计算学术年会。该文提出一种利用梯形逻辑对联锁系统进行形式化验证的方法，旨在提高铁路信号系统的安全性和可靠性。通过将联锁逻辑转化为梯形逻辑表达式，实现对系统行为的精确建模与验证，为复杂控制系统提供有效的分析手段。
文档为pdf格式，0.38MB，总共5页。
举报
