| ISBN/价格： | 978-7-111-68562-3:CNY179.00 |
|---|
| 作品语种： | chi eng |
|---|
| 出版国别： | CN 110000 |
|---|
| 题名责任者项： | 信息物理系统逻辑基础/.(美)安德烈·普拉泽(André Platzer)著/.曾海波，李仁发译 |
|---|
| 出版发行项： | 北京:,机械工业出版社:,2021.08 |
|---|
| 载体形态项： | 13,438页:;+26cm |
|---|
| 丛编项： | 计算机科学丛书 |
|---|
| 提要文摘： | 本书全面介绍如何采用逻辑与演绎语言推理信息物理系统。在这个过程中，读者将学习计算机科学、应用数学和控制论的许多基本概念，所有这些对了解CPS都是必不可少的。该书分为以下四个部分。在部分中，读者将学习如何对包含连续变量和编程构造的CPS建模，如何描述需求规约，以及如何用证明规则检验模型是否满足需求。第二部分增加了对物理世界建模采用的微分方程。第三部分介绍了对手的概念，在控制系统中，对手可以通过噪声和其他干扰影响系统的周边环境。在存在对手的时候做决策意味着需要对较坏情况做好准备。第四部分进一步增加了如何在实际应用中对系统做严格而高效的推理，比如采用实算术和监控器条件。 |
|---|
| 并列题名： | Logical foundation of cyber-physical systems eng |
|---|
| 题名主题： | 控制系统 |
|---|
| 中图分类： | TP271 |
|---|
| 个人名称等同： | 普拉泽 安德烈 (美) 著 |
|---|
| 个人名称次要： | 曾海波 译 |
|---|
| 个人名称次要： | 李仁发 译 |
|---|
| 记录来源： | CN 人天书店 20210925 |
|---|