（通讯员杨军军）应yl9193永利官网邀请，瑞典皇家理工学院冯雷副教授来访我校，并在6月22日至8月12日期间为硕士及博士研究生开设了“The preliminaries of Discrete Event System”和“Spin and Model Checking”课程。

6月27日上午10点，冯雷老师开始了本次来访的第一节课，他以在瑞典皇家理工学院的研究内容作为开场，丰富的内容引起了学生们的积极讨论。

经过本次课程，各位同学对线性时序逻辑和模型检测，以及用于模型检测的软件Spin都有了较为深入的了解：

（1）首先要对系统的控制需求进行建模，对于一些较为复杂的控制需求，线性时序逻辑的描述显得更加方便适用；

（2）一定要对控制需求进行合理、正确的建模，必须严格按照建模步骤，避免建模过程中不必要的错误；

（3）得到控制器后，要对其正确性及合理性进行验证。模型检测软件Spin功能全面，准确性高，能大大提高模型检测的效率。

冯雷，博士、副教授，现就职于瑞典皇家理工学院机械电子与嵌入式控制系统系。冯雷博士分别于1998年和2001年获得西安交通大学机械与电子工程学士与硕士学位，于2007年获加拿大多伦多大学电子与计算机工程博士学位，于2009年—2012年供职于瑞典沃尔沃技术公司，于2012年加入瑞典皇家理工学院机械电子与嵌入式控制系统系。他的研究兴趣主要有信息物理系统的形式化验证与控制综合，机电系统的能耗管理与控制，离散事件系统的监督控制。