每页显示
排序选项
排序方式
-
信息物理融合系统(CPS)原理:(美) 拉吉夫·阿卢尔, Rajeev Alur, 董云卫, 张雨
作者:(美) 拉吉夫·阿卢尔, Rajeev Alur, 董云卫, 张雨
出版社:机械工业出版社
出版时间:20170101
ISBN:978-7-111-55904-7
索书号:TP393.02/58
分类号:TP393.02
页数:282页
价格:CNY79.00
丛书:计算机科学丛书
复本数:
在馆数:
累借天数:
累借次数:
本书主要介绍信息物理融合系统的基本理论, 包括系统设计、规约、建模和分析方法。针对基于模型的设计、并发理论、分布式算法、规约和验证的形式化方法、控制理论、实时系统和混成系统等分支学科, 从不同侧面对信息物理融合系统进行描述。本书采用数学化的建模、基于模型的设计, 以及规约与分析等概念, 并配以案例研究图解来阐述信息物理系统所涉及的分布式算法、网络协议、控制设计和机器人等理论