机读格式显示(MARC)

• 000 01811nam 2200337 450

• 001 0000231801

• 005 20230721203200.0

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

• 100 __ |a 20210824d2021 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak a 001yy

• 106 __ |a r

• 200 1_ |a 信息物理系统逻辑基础 |A xin xi wu li xi tong luo ji ji chu |f (美) 安德烈·普拉泽著 |d = Logical foundations of cyber-physical systems |f André Platzer |g 曾海波, 李仁发译 |z eng

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

• 215 __ |a xiii, 438页 |c 图 |d 26cm

• 225 2_ |a 计算机科学丛书 |A ji suan ji ke xue cong shu

• 306 __ |a 本书中文简体字版由Springer授权机械工业出版社独家出版

• 314 __ |a 安德烈·普拉泽, 卡内基·梅隆大学计算机科学系教授研究领域包括形式化方法、编程语言和纯逻辑与应用逻辑。

• 320 __ |a 有书目和索引

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

• 333 __ |a 本书可作为高等院校信息物理系统相关课程的本科生或者研究生教材, 也可作为对信息物理系统感兴趣的人的参考书

• 410 _0 |1 2001 |a 计算机科学丛书

• 500 10 |a Logical foundations of cyber-physical systems |A Logical foundations of cyber-physical systems |m Chinese

• 606 0_ |a 智能系统 |A zhi neng xi tong |x 高等学校 |j 教材

• 690 __ |a TP18 |v 5

• 701 _1 |a 普拉泽 |A pu la ze |g (Platzer, André) |4 著

• 702 _0 |a 曾海波 |A zeng hai bo |4 译

• 702 _0 |a 李仁发 |A li ren fa |4 译

• 801 _0 |a CN |b 湖北三新 |c 20210824

• 905 __ |a GDPTC |d TP18/334