基于微分代数动态逻辑的CPS系统建模与验证方法探索.docx

基于微分代数动态逻辑的CPS系统建模与验证方法探索

一、绪论

1.1研究背景与意义

随着网络技术和传感器技术的迅猛发展，信息物理系统（Cyber-PhysicalSystem，CPS）作为一种融合了物理系统与计算机系统的智能系统，正逐渐深入人们的日常生活和工业生产的各个角落。CPS通过计算进程和物理进程相互影响的反馈循环实现深度融合，并通过实时交互来增加或扩展新的功能，以安全、可靠、高效和实时的方式监测或者控制一个物理实体，其最终目标是实现信息世界和物理世界的完全融合，构建一个可控、可信、可扩展并且安全高效的CPS网络，并从根本上改变人类构建工程物理系统的方式。

在智慧城市领域，C