上海交通大学自动化系

博士生预答辩信息（董伟杰,2024年12月25日 13:00, 电信群楼2-412）

发布时间：2024-12-23 浏览次数：191

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

时间：2024年12月25日 13:00

地点：电信群楼2-412

答辩人：董伟杰

导师：殷翔

论文题目

离散事件动态系统诊断与检测问题的能力表征与形式化验证

论文内容：

第一章绪论

第二章预备知识

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

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

第五章时间离散事件动态系统时间敏感任务规范的可诊断性验证

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

第七章混杂离散事件动态系统的近似可诊断性验证

第八章总结与展望

关键词：离散事件动态系统，自动机，时间自动机，可诊断性，可检测性，近似可诊断性