题名:
信息物理系统逻辑基础   / (美) 安德烈·普拉泽著 , 曾海波, 李仁发译
ISBN:
978-7-111-68562-3 价格： CNY179.00
语种:
chi
载体形态:
XIII, 438页 26cm
出版发行:
出版地： 北京 出版社： 机械工业出版社 出版日期： 2021
内容提要:
本书全面介绍如何采用逻辑与演绎语言推理信息物理系统。在这个过程中, 读者将学习计算机科学、应用数学和控制论的许多基本概念, 所有这些对了解CPS都是必不可少的。该书分为以下四个部分。在部分中, 读者将学习如何对包含连续变量和编程构造的CPS建模, 如何描述需求规约, 以及如何用证明规则检验模型是否满足需求。第二部分增加了对物理世界建模采用的微分方程。第三部分介绍了对手的概念, 在控制系统中, 对手可以通过噪声和其他干扰影响系统的周边环境。在存在对手的时候做决策意味着需要对较坏情况做好准备。第四部分进一步增加了如何在实际应用中对系统做严格而高效的推理, 比如采用实算术和监控器条件。 
主题词:
控制系统  
中图分类法:
TP271 版次： 5
主要责任者:
普拉泽 著
次要责任者:
曾海波 译
次要责任者:
李仁发 译
责任者附注:
安德烈·普拉泽 (André Platzer), 男, 计算机科学系教授。他拥有德国奥尔登堡大学的博士学位。