[信息][in·动态] “离散事件系统不透明性验证与强化”的主题创新讲座顺利开展
2018年6月4日，下午14：00，赵其刚老师在X2225主讲了题为“离散事件系统不透明性验证与强化”创新讲座。赵老师通过讲述自己的求学经历，慢慢地引出了本次讲座的主题——离散系统的不透明性验证与强化。
离散事件动态系统是由异步、突发的事件驱动状态演化的动态系统。这种系统的状态通常只取有限个离散值，对应于系统部件的好坏、忙闲及待处理工件个数等可能的物理状况，或计划制定、作业调度等宏观管理的状况。而这些状态的变化则由于诸如某些环境条件的出现或消失、系统操作的启动或完成等各种事件的发生而引起。
互联网大范围的普及，网络化系统、多智能体系统等的大规模应用使得系统规模愈加庞大，信息交互愈加复杂，如何保障系统信息安全变得至关重要。不透明性是一种重要的信息安全性质，它描述了系统秘密行为不被外界入侵者所探知的特性。此次讲座主要介绍离散事件系统不透明性验证与强化问题研究现状与相关技术。
我们可将离散系统的不透明性分为两大类：语言的不透明性和状态的不透明性。而系统的不透明性还能进一步细化。赵老师为了帮助同学们理解，还专门用了一个实例来讲解。
最后还有师生互动环节，赵老师对学生们的问题知无不言，言无不尽。讲座之后，有同学表示：“这样的讲座把学术的东西更加生动化，让我有了更深的兴趣。如果有机会，我也会尝试在这方面深入了解。”
主讲人介绍：
主讲人：赵其刚
学术任职：IEEE Trans. on Automatic、Automatica等20个国际期刊及会议审稿人、IEEE ETFA等会议国际程序委员会成员
研究方向：主要从事离散事件系统建模、分析与控制方向研究。研究工作已经发表SCI/EI期刊会议论文13篇，其中控制领域国际顶尖期刊IEEE on Automat ic Control上表期刊长文（Regular Paper）3篇，Automatica上发表短文（Brief Paper）1篇；第一作者论文《Verification of State-Based Opacity Using Petri Nets》被列为2017 ESI高倍引论文。
