广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

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

载体形态项:

xiii, 438页:图;26cm

统一题名:

Logical foundations of cyber-physical systems

丛编项:

计算机科学丛书

个人责任者:

普拉泽 (Platzer, André) 著

个人次要责任者:

曾海波 译

个人次要责任者:

李仁发 译

学科主题:

智能系统-高等学校-教材

中图法分类号:

TP18

出版发行附注:

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

责任者附注:

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

书目附注:

有书目和索引

提要文摘附注:

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

使用对象附注:

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

豆瓣简介：