同类推荐
-
-
高动态双足机器人系统设计与运动控制
-
¥99.00
-
-
高动态双足机器人系统设计与运动控制
-
¥99.00
-
-
高动态双足机器人系统设计与运动控制
-
¥99.00
-
-
数据要素核心技术理论和实践
-
¥188.00
-
-
数据要素核心技术理论和实践
-
¥188.00
-
-
数据要素核心技术理论和实践
-
¥188.00
-
-
比较文本挖掘:从社交媒体评论中识别产品缺陷
-
¥78.00
-
-
传感器与机器人感知技术（许红）
-
¥59.00
-
-
传感器与机器人感知技术（许红）
-
¥59.00
-
-
传感器与机器人感知技术（许红）
-
¥59.00
|
|
图书信息
|
|
|
|
信息物理系统逻辑基础
|
| ISBN： | 9787111685623 |
定价： | ￥179.00 |
| 作者： | (美)安德烈·普拉泽(André Platzer)著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2021年08月 |
开本： | 26cm |
| 页数： | 13,438页 |
中图法： | TP271 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
8
|
|
2026-10-14
|
图书简介 | | 本书全面介绍如何采用逻辑与演绎语言推理信息物理系统。在这个过程中，读者将学习计算机科学、应用数学和控制论的许多基本概念，所有这些对了解CPS都是必不可少的。该书分为以下四个部分。在部分中，读者将学习如何对包含连续变量和编程构造的CPS建模，如何描述需求规约，以及如何用证明规则检验模型是否满足需求。第二部分增加了对物理世界建模采用的微分方程。第三部分介绍了对手的概念，在控制系统中，对手可以通过噪声和其他干扰影响系统的周边环境。在存在对手的时候做决策意味着需要对较坏情况做好准备。第四部分进一步增加了如何在实际应用中对系统做严格而高效的推理，比如采用实算术和监控器条件。 |
|