控制科学与工程学科博士学位论文答辩信息如下：
时   间：2025年04月24日10:00
地   点：电院群楼2-412
答辩人：董伟杰
导   师：殷翔
论文题目
离散事件动态系统诊断问题的能力表征与形式化验证
论文内容：
第一章 绪论

第二章 预备知识

第三章 逻辑离散事件动态系统鲁棒可诊断性验证统一框架

第四章 逻辑离散事件动态系统鲁棒共可诊断性验证统一框架

第五章 时间离散事件动态系统时间敏感故障可诊断性验证

第六章 时间离散事件动态系统可测性概念与验证

第七章 度量离散事件动态系统近似可诊断性验证

第八章 总结与展望