机读格式显示(MARC)

• 000 01183nam0 2200217 450

• 001 0000531452

• 010 __ |a 978-7-111-68562-3 |d CNY179.00

• 092 __ |b 百万庄09313400158

• 100 __ |a 20210813d2021 em y0chiy50 ea

• 102 __ |a CN |b 110000

• 200 __ |a 信息物理系统逻辑基础 |f (美)安德烈·普拉泽著;曾海波,李仁发译

• 210 __ |a 北京 |c 机械工业出版社 |d 2021

• 215 __ |a 438页 |d 26cm

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

• 333 __ |a 高等院校相关专业师生

• 690 __ |a TP18 |v 5

• 701 __ |a (美)安德烈·普拉泽 |4 著

• 702 __ |a 曾海波,李仁发 |4 译

• 801 __ |a CN |b 北京百万庄图书大厦 |c 2021-08-19

• 905 __ |a WFKJXY |d TP18/253

• 920 __ |a 4370400 |z 1