(通讯员杨军军)应yl9193永利官网邀请,瑞典皇家理工学院冯雷副教授来访我校,并在6月22日至8月12日期间为硕士及博士研究生开设了“The preliminaries of Discrete Event System”和“Spin and Model Checking”课程。
6月27日上午10点,冯雷老师开始了本次来访的第一节课,他以在瑞典皇家理工学院的研究内容作为开场,丰富的内容引起了学生们的积极讨论。
7月12日下午3点,本次课程完美结束,冯老师和参与课程的学生们拍照留念。
经过本次课程,各位同学对线性时序逻辑和模型检测,以及用于模型检测的软件Spin都有了较为深入的了解:
(1)首先要对系统的控制需求进行建模,对于一些较为复杂的控制需求,线性时序逻辑的描述显得更加方便适用;
(2)一定要对控制需求进行合理、正确的建模,必须严格按照建模步骤,避免建模过程中不必要的错误;
(3)得到控制器后,要对其正确性及合理性进行验证。模型检测软件Spin功能全面,准确性高,能大大提高模型检测的效率。
冯雷,博士、副教授,现就职于瑞典皇家理工学院机械电子与嵌入式控制系统系。冯雷博士分别于1998年和2001年获得西安交通大学机械与电子工程学士与硕士学位,于2007年获加拿大多伦多大学电子与计算机工程博士学位,于2009年—2012年供职于瑞典沃尔沃技术公司,于2012年加入瑞典皇家理工学院机械电子与嵌入式控制系统系。他的研究兴趣主要有信息物理系统的形式化验证与控制综合,机电系统的能耗管理与控制,离散事件系统的监督控制。