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

时   间：2023年05月25日 9:00

地   点： 电信群楼2-412

答辩人：侯钧耀

导   师：殷翔

论文题目

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

论文内容：

第一章 绪论

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

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

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

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

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

第七章 总结和展望

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