基于UPPAAL的发电厂控制系统网络物理建模与安全验证
随着信息技术的发展,发电厂控制系统从传统的机械控制逐渐转向自动化和网络物理系统(cyber-physical systems, CPS),为电力生产和输送带来了新的机遇和挑战。CPS的引入使得系统能够实时监控和控制物理过程,但同时也引发了网络安全问题...
信息记录材料
2025年02期
立即查看 >
图书推荐
相关工具书