课程简介
离散事件系统的状态空间离散，系统的演化由事件驱动。我们常见的计算机系统，通信系统，排队系统等都可以视为是离散事件系统。有限状态自动机和Petri网是离散事件系统建模的常用工具。本次讲座将主要介绍系统的分类，离散事件系统基本概念，常用的建模工具，建模方法和分析方法。 用计算机对离散事件系统进行仿真实验的方法。这种仿真实验的步骤包括：画出系统的工作流程图，确定到达模型、服务模型和排队模型（它们构成离散事件系统的仿真模型），编制描述系统活动的运行程序并在计算机上执行这个程序。离散事件系统仿真广泛用于交通管理、生产调度、资源利用、计算机网络系统的分析和设计方面。
课程负责人
陈延云
联系方式：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高倍引论文。
