第 1 章 序言
1.1 作用于混杂动态系统的信息物理系统
1.2 信息物理系统的可诊断性、保障性和安全性：问题公式、方法和挑战
1.3 本书的内容
参考文献
第 2 章 风电机组故障定位：基于模型诊断的实际应用
2.1 引言
2.2 基于模型的诊断
2.2.1 命题从句溯因
2.2.2 将诊断纳入实践
2.3 工业风力涡轮机诊断
2.3.1 基于模型的诱导诊断原型
2.3.2 诊断引擎的实现
2.4 结论
参考文献
第 3 章 基于 Modelica 语言和设证推理法的故障检测与定位
3.1 简介
3.2 使用 Modelica 描述系统的行为
3.2.1 具有故障模式的 Modelica 仿真模型
3.3 比较检测故障存在的信号
3.3.1 容差值
3.3.2 时间带序列
3.3.3 Pearson 相关系数
3.4 Modelica 模型诱导性诊断
3.4.1 诱导性诊断
3.4.2 自动规则提取
3.5 案例研究
3.6 相关研究与讨论
3.7 总结
参考文献
第 4 章 基于离散事件系统的动态过程环境鲁棒数据驱动故障检测
4.1 简介
4.2 问题陈述
4.3 基于因果关系网络的基线差故障检测（基于模型）
4.3.1 因果关系网络的建立
4.3.2 高级残差生成和分析
4.3.3 增强的残差分析
4.4 无监督特征空间中非典型事件的识别（基于分布）
4.4.1 （全局）主成分空间中的偏差分析
4.4.2 部分局部主成分空间的分析
4.4.3 基于混合模型和（广义）数据云的高级可能性
4.4.4 非线性外壳的一类分类器
4.5 用于处理系统动力学的自适应参考模型
4.5.1 自适应因果关系网络
4.5.2 基于自适应分布的参考模型
4.6 动态系统中预期和非预期变化之间的区别
4.6.1 指示（预期）过程变更的离散事件信号
4.6.2 通过离散事件的混合和变化隔离来识别预期变化
参考文献
第 5 章 基于临界状态距离滤波的工业控制系统网络攻击检测和阻塞方法
5.1 简介
5.1.1 工业控制系统
5.1.2 ICS 漏洞及攻击
5.1.3 问题
5.2 网络安全的现状
5.2.1 从安全的角度来看
5.2.2 从安全角度出发
5.2.3 安全与保障：相互强化
5.3 用距离概念过滤 ICS 网络安全
5.3.1 方法
5.3.2 关于 ICS 网络安全过滤器
5.4 应用实例
5.5 结论和前景
5.5.1 结论
5.5.2 观点
参考文献
第 6 章 使用米利状态机对交换系统进行主动诊断
6.1 介绍
6.2 问题陈述和建模
6.2.1 DES 诊断准备
6.2.2 切换系统建模
6.3 活跃诊断
6.3.1 测试条件
6.3.2 运算法则
6.4 多细胞转换器的应用
6.4.1 多细胞转换器建模
6.4.2 2 单元转换器的主动故障诊断
6.4.3 3 单元转换器的主动故障诊断
6.5 结论
参考文献
第 7 章 混杂动态系统的安全诊断性
7.1 引言
7.2 安全状态估计问题
7.3 混杂动态系统
7.3.1 混杂动态系统的定义
7.3.2 安全模式识别度
7.4 有限态系统
7.4.1 FSM 的背景
7.4.2 FSM 可诊断性的定义
7.5 LH - 系统的可诊断性
7.5.1 可诊断性的定义
7.5.2 抽象过程
7.5.3 检查安全可诊断性
7.6 结论
参考文献
第 8 章 故障保护组件在信息物理系统中的诊断
8.1 简介
8.2 背景
8.2.1 信息物理系统（CPS）诊断
8.2.2 电力系统诊断
8.2.3 级联现象：故障管理控制器防止误操作
8.3 时间因果图（TCD）
8.3.1 用非确定性语义扩展 TFPG
8.3.2 故障管理控制器的行为建模
8.3.3 界定控制器故障的监测器
8.3.4 组合诊断推理法
8.4 实例系统：电力传输网络
8.4.1 系统测试
8.4.2 TCD：故障传播图
8.4.3 TCD：距离继电器行为模型
8.4.4 TCD：断路器行为模型
8.4.5 TCD 诊断系统：监测器
8.4.6 结果
8.5 结论
参考文献
第 9 章 基于模型失效的具有检测功能的隐性切换仿真模型的无源诊断
9.1 介绍
9.1.1 文献综述
9.2 初步
9.2.1 表示法
9.2.2 建模框架
9.3 模型失效
9.4 T - 可区分性
9.5 故障检测和隔离
9.5.1 故障检测
9.5.2 故障隔离
9.5.3 FDI 方案
9.5.4 检测和隔离延迟
9.6 实际考虑
9.6.1 求 T 的 T - 可区分性
9.6.2 自适应故障隔离
9.7 示例
9.7.1 运行时比较
9.7.2 暖通空调系统的故障诊断
9.7.3 可识别性指数和系统不确定性
9.8 结论
参考文献
书单推荐 更多
