信息物理融合系统Cyber-Physical System（简称CPS）是近些年来学术研究的热点领域之一。其主要特征表现为物理进程和计算进程的深度融合，广度交互。如何保证信息物理融合系统的正确性业已成为国内外工业界和学术界的难题之一。要保证CPS系统的正确性首先要解决的问题就是将物理进程和计算进程集中在同一框架下做分析推理。本项目致力于为CPS提供新的混成建模语言，深入研究物理进程和计算进程的交互机制，并建立具有严密数学基础的指称语义模型和代数语义模型，构建相应的代数演算系统和代数规范型。在此基础上，利用代数重写规则，发展有效的代数精化理论和程序分解理论，从而为CPS的分析、设计、实现和验证提供坚实的理论基础。
