课程简介
离散事件动态系统是由异步、突发的事件驱动状态演化的动态系统。这种系统的状态通常只取有限个离散值，对应于系统部件的好坏、忙闲及待处理工件个数等可能的物理状况，或计划制定、作业调度等宏观管理的状况。而这些状态的变化则由于诸如某些环境条件的出现或消失、系统操作的启动或完成等各种事件的发生而引起。 互联网大范围的普及，网络化系统、多智能体系统等的大规模应用使得系统规模愈加庞大，信息交互愈加复杂，如何保障系统信息安全变得至关重要。不透明性是一种重要的信息安全性质，它描述了系统秘密行为不被外界入侵者所探知的特性。此次讲座主要介绍离散事件系统不透明性验证与强化问题研究现状与相关技术。
课程负责人
陈延云
联系方式：13540803896
办公室地址：x9118B
第二联系方式：
主讲人
童音
| 学术任职：IEEE Trans. on Automatic、Automatica等20个国际期刊及会议审稿人、IEEE ETFA等会议国际程序委员会成员 研究方向：主要从事离散事件系统建模、分析与控制方向研究。研究工作已经发表SCI/EI期刊会议论文13篇，其中控制领域国际顶尖期刊IEEE Trans. on Automatic Control上表期刊长文（Regular Paper）3篇，Automatica上发表短文（Brief Paper）1篇；第一作者论文《Verification of State-Based Opacity Using Petri Nets》被列为2017 ESI高倍引论文。 |
