基于时间自动机的分散控制联锁系统建模与验证的综述报告

基于时间自动机的分散控制联锁系统建模与验证的综述报告随着现代工业的迅速发展，控制联锁技术在传统智能化控制系统中的应用越来越普遍，而时间自动机是一种经典的建模工具，可以高效地描述事件驱动系统的行为，因此