信息物理融合系统(cps )原理内容介绍
本书主要介绍了信息物理融合系统的基本理论，包括系统设计、规约、建模与分析方法。 针对基于模型的设计、并行理论、分布式算法、规约和验证的形式化方法、控制理论、实时系统和混合系统等领域，从不同的侧面对信息物理融合系统进行描述。 本文采用了数学化建模、基于模型的设计、规约和分析等概念，通过案例分析图解阐述了信息物理系统涉及的分布式算法、网络协议、控制设计、机器人等理论。 本书适用于计算科学、计算机工程、电子工程相关学科的高年级本科生或一年级教材。
信息物理融合系统(cps )原理目录
第一章前言
1.1什么是信息物理融合系统
1.2信息物理融合系统的主要特点
1.3研究主题概述
1.4课程组织指南
第二章同步模型
2.1反应式构件
2.1.1变量、值、表达式
2.1.2输入、输出和状态
2.1.3初始化
2.1.4更新
2.1.5执行
2.1.6扩展状态机
2.2构件属性
2.2.1有限状态构件
2.2.2复合构件
2.2.3事件触发部件
2.2.4不确定性构件
2.2.5输入使能部件
2.2.6等待任务图和相关性
2.3构件结构
2.3.1框图
2.3.2输入/输出变量的重命名
2.3.3并行组合
2.3.4输出隐藏
2.4同步设计
2.4.1同步电路
2.4.2巡航控制系统
2.4.3同步网络
参照文献的说明
第三章安全要求
3.1安全条款
3.1.1迁移系统的不变量
3.1.2需求在系统设计中的作用
3.1.3安全监测仪
3.2验证不变量
3.2.1证明不变量
3.2.2不变量的自动验证
3.2.3基于模拟的分析
3.3枚举搜索
3.4符号搜索
3.4.1符号迁移系统
3.4.2码宽优先搜索
3.4.3概略有序二叉判定图
参照文献的说明
第四章异步模型
4.1异步进程
4.1.1状态、输入和输出
4.1.2输入、输出、内部动作
4.1.3执行
4.1.4扩展状态机
4.1.5工艺操作
4.1.6安全要求
4.2异步设计原语
4.2.1阻塞同步和无阻塞同步
4.2.2死锁
4.2.3共享内存
4.2.4公平性假设
4.3异步协调协议
4.3.1选举领导
4.3.2可靠传输
4.3.3等待无关的协议
参照文献的说明
第五章活性需求
5.1时序逻辑
5.1.1线性时序逻辑
5.1.2 LTL章程
5.1.3异步进程的LTL约定
5.1.4超过LTL
5.2模型检查
5.2.1 Buchi机器人
5.2.2从LTL到Buchi机器人
5.2.3嵌套深度优先检索
5.2.4符号重复检查
5.3活性证明
5.3.1事件属性
5.3.2条件响应属性
参照文献的说明
第六章动态系统
6.1连续时间模型
6.1.1连续变化的输入输出
6.1.2扰动模型
6.1.3构件结构
6.1.4稳定性
6.2线性系统
6.2.1直线性
6.2.2线性微分方程解
6.2.3稳定性
6.3控制器设计
6.3.1开环控制器和反馈控制器
6.3.2稳压控制器
6.3.3 PID控制器
6.4分析技术
6.4.1数值模拟
6.4.2栏函数
参照文献的说明
第七章时间模型
7.1小时流程
7.1.1基于小时的电灯开关
7.1.2有界延迟缓冲区
7.1.3多个时钟
7.1.4形式化模型
7.1.5小时流程组合
7.1.6不完整时钟建模
7.2基于时间的协议
7.2.1基于时间的分布式协调
7.2.2音频控制协议
7.2.3双腔植入式心脏起搏器
7.3小时自动机
7.3.1小时自动机模型
p>7.3.2区域等价7.3.3基于矩阵表示的符号分析
参考文献说明
第8章 实时调度
8.1调度概念
8.1.1调度器架构
8.1.2周期作业模型
8.1.3可调度性
8.1.4其他的作业模型
8.2 EDF调度
8.2.1周期作业模型的EDF
8.2.2 EDF的最优性
8.2.3基于利用率的可调度性测试
8.3固定优先级调度
8.3.1单调截止期策略和单调速率策略
8.3.2单调截止期策略的最优性
8.3.3单调速率策略的可调度性测试
参考文献说明
第9章 混成系统
9.1混成动态模型
9.1.1混成进程
9.1.2进程组合
9.1.3奇诺行为
9.1.4稳定性
9.2混成系统设计
9.2.1自动驾驶车辆
9.2.2多机器人协调的障碍规避
9.2.3多跳控制网络
9.3线性混成自动机
9.3.1追赶游戏例子
9.3.2形式化模型
9.3.3符号可达性分析
参考文献说明
参考文献
索引
信息物理融合系统(cps)原理 精彩文摘
EDF策略的属性
在8.2.2节中，我们将学习在何种条件下，保证EDF策略产生一个满足截止期的调度。下面我们学习一些基本属性。
无论什么时候制定调度策略，EDF策略都是从就绪作业中选择当前具有最早截止期的作业，而不用显式地分析这种策略的全局结果。这种策略是称为贪婪算法的经典算法的一个例子。
我们假设无论何时EDF调度策略需要在具有相同截止期的就绪作业中选择一个作业，它都使用固定的决策规则(例如，选择最小标识符的作业)。根据这个假设，EDF策略产生的调度是周期调度，该调度的周期等于所有作业的周期的最小公倍数。
在图8—3所示的EDF策略中，在时间0，给作业J2分配了比作业J1高的优先级，而在时间3，给作业J1分配了比作业J2高的优先级。这种在就绪作业中它们的相关优先级随时间而不同的调度策略称为动态优先级策略。
通常，使用EDF策略产生的调度可能是抢占式的。例如，考虑一个作业集合，它包含两个作业J1和J2。作业J1的周期为2，截止期为1，WCET为1；作业J2的周期为4，截止期为4，WCET为2。EDF策略在时间0和2选择作业J1，在时间1和3选择作业J2。由此产生的调度是满足截止期的，且是抢占式的。