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