信息物理融合系统(CPS)原理 = Principles of cyber-physical systems

Saved in:
Bibliographic Details
Main Authors: 美 阿卢尔 Alur, Rajeev (著)
Group Author: 董云卫 (译); 张雨 (译)
Published: 机械工业出版社
Publisher Address: 北京
Publication Dates: 2017
Literature type: Book
Language: Chinese
Series: 计算机科学丛书
Subjects:
Carrier Form: 282页: ; 26cm
ISBN: 978-7-111-55904-7
Index Number: TP393
CLC: TP393.02
Call Number: TP393.02/7222
Contents: 有书目(第267-273页)和索引(第274-272页)
本书主要介绍信息物理融合系统的基本理论,包括系统设计、规约、建模和分析方法。针对基于模型的设计、并发理论、分布式算法、形式化的规约和验证方法、控制理论、实时系统和混成系统等分支学科,从不同侧面对信息物理融合系统进行描述。