微分代数动态逻辑相关论文
随着CPS在工业控制、智能交通、智能医疗等领域的广泛应用，安全性已成为目前CPS理论和应用研究的核心问题．提出了一种基于微分代数动......
为解决微分时态动态逻辑(d TL)表达能力弱以及微分代数动态逻辑(DAL)缺少时序表达能力的问题,提出了一种结合d TL和DAL的微分代数......
