博士生答辩信息(侯钧耀, 2023年05月25日 9:00, 电信群楼2-412)
发布时间:2023-05-22 浏览次数:462

控制科学与工程学科博士学位论文答辩信息如下:

   间:2023年0525 9:00

   点: 电信群楼2-412

 

答辩人:侯钧耀

   师:殷翔

 

论文题目

基于不透明性的信息物理系统安全分析与综合研究

 

论文内容:

第一章 绪论

第二章 信息物理系统的形式化建模与符号化抽象

第三章 基于不透明性的 CPS 安全分析与验证

第四章 有限状态系统的安全控制器综合优化

第五章 无限状态系统的安全控制器综合方法

第六章 动态信息机制下一种新的CPS安全属性

第七章 总结和展望

关键词:不透明性,形式化验证,形式化综合,有限抽象技术

返回上一级