无锡市图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

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

载体形态项:

13,438页:图;26cm

并列正题名:

Logical foundations of cyber-physical systems

丛编项:

计算机科学丛书

个人责任者:

(美) 普拉泽 (Platzer, André) 著

个人次要责任者:

曾海波 译

个人次要责任者:

李仁发 (1957-) 译

学科主题:

智能系统

中图法分类号:

TP18

提要文摘附注:

本书将信息物理系统的设计和分析与逻辑计算的思维方式结合在一起，并且恰当平衡了严谨的数学知识和基于系统设计实际问题的说明性案例研究等内容。全书分为四个部分，从概述初等信息物理系统开始，再到微分方程的分析、对抗性信息物理系统、综合CPS正确性，详细阐述信息物理系统的方方面面。书中大部分章节提供相关的背景材料和习题，便于读者进行拓展阅读和自我检测。

使用对象附注:

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

豆瓣简介：