基于组合不可行路径的组合线性混成自动机可达性验证研究：理论、方法与实践

一、绪论

1.1研究背景

在当今数字化与智能化飞速发展的时代，信息物理系统（Cyber-PhysicalSystems，CPS）已广泛渗透到人们生活与工业生产的各个领域，从智能交通、航空航天，到医疗设备、工业自动化等，其身影无处不在。这些系统通过紧密融合计算、通信与物理过程，实现了前所未有的功能与性能提升，为社会的发展与进步提供了强大的动力。然而，也正是由于其在平安攸关领域的广泛应用，确保信息物理系统的正确性与安全性成为了至关重要且不容忽视的问题。一旦系统出现故障或错误，可能引发严重的后果，如交通安全事故、工业生