乔·马丁斯。;安德烈·普拉泽;约昂·莱特 信念感知网络物理系统的动态多论微分动态逻辑。 （英语） Zbl 1435.68318号 Cerrito，Serenella（编辑）等，《使用分析表和相关方法的自动推理》。2019年9月3日至5日，第28届国际会议，TABLEUX 2019，英国伦敦。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11714, 428-445 (2019). 摘要：网络物理系统（CPS），如飞机，基于传感器和通信数据运行，即基于对世界的潜在噪声或错误信念。因此，如果要在实践和理论上提供安全保障，现实的CPS模型必须包含信念的概念。为了从根本上解决这一挑战，本文介绍了CPS模型推理的第一原理框架，其中控制决策由通过观察和推理得出的控制器信念明确驱动。我们将微分动力学逻辑（mathsf{d}\mathcal{L}）推广到具有信念模式的CPS动力学，并给出了信念变化的学习算子。这种新的动态多弹性微分动态逻辑（mathsf{d}^4\mathcal{L}）通过（1）描述世界和世界信念的实数算法，对CPS验证的挑战做出了适当的判断；（2） 连续和离散的世界变化；（3） 通过学习算子实现离散的信念变化。我们为（mathsf{d}^4\mathcal{L}）开发了一个合理的序列演算，它使我们能够通过证明简化的飞机信任触发控制器的安全性来说明（mathsf{d}^4\mathcal{L}）的适用性。关于整个系列，请参见[兹比尔1428.68011]. MSC公司： 68T27型 人工智能中的逻辑 03B42号 知识和信念的逻辑（包括信念变化） 93C85号 控制理论中的自动化系统（机器人等） 关键词：微分动态逻辑;动态认知逻辑;矢列演算;混合系统;计算机物理系统 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Martins}等人，Lect。注释计算。科学。11714，428-445（2019；Zbl 1435.68318） 全文： 内政部