同类推荐
-
-
工业机器人技术基础（付亮）
-
¥49.00
-
-
不可靠网络通信下动态信息物理系统的弹性控制与状态估计
-
¥89.00
-
-
基于球极坐标量化器的量化控制系统设计
-
¥78.00
-
-
传感器技术导论（梁峻阁）
-
¥49.80
-
-
智能机器人系统及应用
-
¥79.00
-
-
大数据技术应用基础
-
¥58.00
-
-
新型网络环境下数据安全关键技术研究
-
¥76.00
-
-
工业机器人离线编程与仿真
-
¥48.00
-
-
数据分析与预测:从原理到实战
-
¥125.00
-
-
连续系统建模与仿真
-
¥69.00
|
|
图书信息
|
|
|
|
信息物理系统逻辑基础
|
| ISBN： | 9787111685623 |
定价： | ￥179.00 |
| 作者： | (美)安德烈·普拉泽(André Platzer)著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2021年08月 |
开本： | 26cm |
| 页数： | 13,438页 |
中图法： | TP271 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
8
|
|
2026-03-19
|
图书简介 | | 本书全面介绍如何采用逻辑与演绎语言推理信息物理系统。在这个过程中，读者将学习计算机科学、应用数学和控制论的许多基本概念，所有这些对了解CPS都是必不可少的。该书分为以下四个部分。在部分中，读者将学习如何对包含连续变量和编程构造的CPS建模，如何描述需求规约，以及如何用证明规则检验模型是否满足需求。第二部分增加了对物理世界建模采用的微分方程。第三部分介绍了对手的概念，在控制系统中，对手可以通过噪声和其他干扰影响系统的周边环境。在存在对手的时候做决策意味着需要对较坏情况做好准备。第四部分进一步增加了如何在实际应用中对系统做严格而高效的推理，比如采用实算术和监控器条件。 |
|