信息物理系统逻辑基础

本书全面介绍如何采用逻辑与演绎语言推理信息物理系统。在这个过程中，读者将学习计算机科学、应用数学和控制论的许多基本概念，所有这些对了解CPS都是必不可少的。本书分为以下四个部分。在第1部分中，读者将学习如何对包含连续变量和编程构造的CPS建模，如何描述需求规约，以及如何用证明规则检验模型是否满足需求。第二部分增加了对物理世界建模采用的微分方程。第三部分介绍了对手的概念，在控制系统中，对手可以通过噪声和其他干扰影响系统的周边环境。在存在对手的时候做决策意味着需要对较坏情况做好准备。第四部分进一步增加了如何在实际应用中对系统做严格而高效的推理，比如采用实算术和监控器条件

安德烈·普拉泽（André Platzer），卡内基·梅隆大学计算机科学系教授。他拥有德国奥尔登堡大学的博士学位。研究领域包括形式化方法、编程语言和纯逻辑与应用逻辑。他曾于2009年获得ACM最佳博士论文荣誉提名奖，2011年获得NSF杰出青年奖，并入选美国Popular Science杂志2009年“十大杰出青年科学家”、IEEE Intelligent Systems杂志2010年“AI十大潜力人物”。