基于Petri网的信息物理融合系统安全量化分析模型
随着信息物理融合系统(简称CPS)的广泛应用，安全性已成为其研究的核心问题。由于CPS离散计算过程和连续物理世界交织的特性，传统的安全分析方式不能直接适用。本文通过将博弈理论和Petri网建模方法进行结合，提出一种GHPN方法对CPS系统建立量化的安全分析模型，该模型既能适用CPS离散连续混合结构的模型刻画，又可合理模拟系统攻防双方行为，基于最终生成的模型从系统可靠性、脆弱性、风险后果等方面进行安全分析。最后，通过对飞机空中避撞系统的实例研究，表明该模型和分析方法的有效性。
信息物理融合系统 GHPN 纳什均衡 系统可靠性
徐昕 虞慧群 黄骏虎
华东理工大学计算机科学与工程系,上海市 200237
国内会议
南京
中文
1-8
2012-10-20（万方平台首次上网日期，不代表论文的发表时间）