电子学报2018，Vol.46Issue(12)：2824-2831,8.DOI:10.3969/j.issn.0372-2112.2018.12.002
状态不可观测的信息物理融合系统运行时验证
Runtime Verification of States Unobservable Cyber-Physical System
摘要
关键词
信息物理融合系统/运行时验证/隐马尔科夫模型/确定性有限自动机/安全性/反例分类
信息技术与安全科学引用本文复制引用
房丙午,黄志球,王勇,李勇..状态不可观测的信息物理融合系统运行时验证[J].电子学报,2018,46(12):2824-2831,8.基金项目
国家重点研发计划(No.2016YFB1000802) （No.2016YFB1000802）
国家自然科学基金资助项目(No.61772270) （No.61772270）
安徽省高校自然科学基金重点项目(No.KJ2017A859) （No.KJ2017A859）
安徽省高校学科(专业)优秀拔尖人才学术资助计划(No.gxbjZD32) （专业）
