潍坊科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

北京:机械工业出版社,2021

ISBN及定价:

978-7-111-68562-3/CNY179.00

载体形态项:

438页;26cm

个人责任者:

(美)安德烈·普拉泽 著

个人次要责任者:

曾海波,李仁发 译

中图法分类号:

TP18

提要文摘附注:

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

使用对象附注:

高等院校相关专业师生

豆瓣简介：