信息物理融合系统(cps)原理PDF电子书下载
- 电子书积分:11 积分如何计算积分?
- 作 者:(美)拉吉夫·阿卢尔(Rajeev Alur)著
- 出 版 社:北京:机械工业出版社
- 出版年份:2017
- ISBN:9787111559047
- 页数:284 页
第1章 简介 1
1.1什么是信息物理融合系统 1
1.2信息物理融合系统的主要特征 1
1.3研究主题概述 3
1.4课程组织指南 5
第2章 同步模型 8
2.1反应式构件 8
2.1.1变量、值和表达式 8
2.1.2输入、输出和状态 9
2.1.3初始化 9
2.1.4更新 10
2.1.5执行 11
2.1.6扩展状态机 12
2.2构件属性 13
2.2.1有限状态构件 13
2.2.2复合构件 14
2.2.3事件触发构件 14
2.2.4非确定性构件 16
2.2.5输入使能构件 17
2.2.6任务图和等待依赖关系 18
2.3构件构成 22
2.3.1方框图 22
2.3.2输入/输出变量重命名 23
2.3.3并行组合 23
2.3.4输出隐藏 29
2.4同步设计 30
2.4.1同步电路 30
2.4.2巡航控制系统 33
2.4.3同步网络 36
参考文献说明 38
第3章 安全性需求 40
3.1安全性规约 40
3.1.1迁移系统的不变量 40
3.1.2需求在系统设计中的作用 43
3.1.3安全监控器 46
3.2验证不变量 48
3.2.1证明不变量 48
3.2.2不变量的自动验证 52
3.2.3基于模拟的分析 54
3.3枚举搜索 55
3.4符号搜索 60
3.4.1符号迁移系统 60
3.4.2符号广度优先搜索 63
3.4.3约简有序二叉判定图 67
参考文献说明 75
第4章 异步模型 77
4.1异步进程 77
4.1.1状态、输入和输出 77
4.1.2输入、输出和内部动作 78
4.1.3执行 80
4.1.4扩展的状态机 82
4.1.5进程操作 83
4.1.6安全性需求 87
4.2异步设计原语 88
4.2.1阻塞同步与非阻塞同步 88
4.2.2死锁 88
4.2.3共享存储器 90
4.2.4公平性假设 95
4.3异步协调协议 100
4.3.1领导选举 100
4.3.2可靠传输 103
4.3.3等待无关共识 105
参考文献说明 110
第5章 活性需求 111
5.1时序逻辑 111
5.1.1线性时序逻辑 111
5.1.2 LTL规约 116
5.1.3异步进程的LTL规约 118
5.1.4超越LTL 121
5.2模型检查 122
5.2.1 Buchi自动机 123
5.2.2从LTL到Buchi自动机 126
5.2.3嵌套深度优先搜索 130
5.2.4符号重复性检查 132
5.3活性证明 136
5.3.1 eventuality属性 136
5.3.2条件response属性 137
参考文献说明 140
第6章 动态系统 142
6.1连续时间模型 142
6.1.1连续变化的输入和输出 142
6.1.2扰动模型 148
6.1.3构件构成 148
6.1.4稳定性 149
6.2线性系统 151
6.2.1线性度 152
6.2.2线性微分方程的解 154
6.2.3稳定性 159
6.3控制器设计 161
6.3.1开环控制器与反馈控制器 162
6.3.2稳定化控制器 162
6.3.3 PID控制器 165
6.4分析技术 170
6.4.1数值模拟 170
6.4.2栅栏函数 172
参考文献说明 176
第7章 时间模型 177
7.1时间进程 177
7.1.1基于时间的电灯开关 177
7.1.2有界延迟的缓冲器 178
7.1.3多个时钟 179
7.1.4形式化模型 180
7.1.5时间进程组合 182
7.1.6不完全时钟的建模 184
7.2基于时间的协议 184
7.2.1基于时间的分布式协调 184
7.2.2音频控制协议 186
7.2.3双腔植入式心脏起搏器 190
7.3时间自动机 194
7.3.1时间自动机的模型 194
7.3.2区域等价 195
7.3.3基于矩阵表示的符号分析 201
参考文献说明 207
第8章 实时调度 208
8.1调度概念 208
8.1.1调度器架构 208
8.1.2周期作业模型 209
8.1.3可调度性 211
8.1.4其他的作业模型 215
8.2 EDF调度 216
8.2.1周期作业模型的EDF 217
8.2.2 EDF的最优性 219
8.2.3基于利用率的可调度性测试 220
8.3固定优先级调度 223
8.3.1单调截止期策略和单调速率策略 223
8.3.2单调截止期策略的最优性 225
8.3.3单调速率策略的可调度性测试 229
参考文献说明 234
第9章 混成系统 235
9.1混成动态模型 235
9.1.1混成进程 235
9.1.2进程组合 239
9.1.3奇诺行为 241
9.1.4稳定性 243
9.2混成系统设计 244
9.2.1自动驾驶车辆 244
9.2.2多机器人协调的障碍规避 246
9.2.3多跳控制网络 251
9.3线性混成自动机 256
9.3.1追赶游戏例子 256
9.3.2形式化模型 258
9.3.3符号可达性分析 260
参考文献说明 266
参考文献 267
索引 274
- 《管理信息系统习题集》郭晓军 2016
- 《信息系统安全技术管理策略 信息安全经济学视角》赵柳榕著 2020
- 《第一性原理方法及应用》李青坤著 2019
- 《计算机组成原理解题参考 第7版》张基温 2017
- 《新编高中物理竞赛教程习题全解》钟小平主编;钟小平,倪国富,曹海奇编写 2019
- 《数学物理方法与仿真 第3版》杨华军 2020
- 《中学物理奥赛辅导:热学 光学 近代物理学》崔宏滨 2012
- 《高等院校保险学专业系列教材 保险学原理与实务》林佳依责任编辑;(中国)牟晓伟,李彤宇 2019
- 《ESG指标管理与信息披露指南》管竹笋,林波,代奕波主编 2019
- 《长江口物理、化学与生态环境调查图集》于非 2019
- 《SQL与关系数据库理论》(美)戴特(C.J.Date) 2019
- 《魔法销售台词》(美)埃尔默·惠勒著 2019
- 《看漫画学钢琴 技巧 3》高宁译;(日)川崎美雪 2019
- 《优势谈判 15周年经典版》(美)罗杰·道森 2018
- 《社会学与人类生活 社会问题解析 第11版》(美)James M. Henslin(詹姆斯·M. 汉斯林) 2019
- 《海明威书信集:1917-1961 下》(美)海明威(Ernest Hemingway)著;潘小松译 2019
- 《迁徙 默温自选诗集 上》(美)W.S.默温著;伽禾译 2020
- 《上帝的孤独者 下 托马斯·沃尔夫短篇小说集》(美)托马斯·沃尔夫著;刘积源译 2017
- 《巴黎永远没个完》(美)海明威著 2017
- 《剑桥国际英语写作教程 段落写作》(美)吉尔·辛格尔顿(Jill Shingleton)编著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《高等教育双机械基础课程系列教材 高等学校教材 机械设计课程设计手册 第5版》吴宗泽,罗圣国,高志,李威 2018
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019
- 《中国十大出版家》王震,贺越明著 1991
- 《近代民营出版机构的英语函授教育 以“商务、中华、开明”函授学校为个案 1915年-1946年版》丁伟 2017
- 《新工业时代 世界级工业家张毓强和他的“新石头记”》秦朔 2019
- 《智能制造高技能人才培养规划丛书 ABB工业机器人虚拟仿真教程》(中国)工控帮教研组 2019
- 《AutoCAD机械设计实例精解 2019中文版》北京兆迪科技有限公司编著 2019