(通讯员:张佳峰)应太阳城博彩
电子装备机电耦合理论与关键技术“111”创新引智基地、系统控制与自动化实验室邀请,瑞典皇家理工太阳城博彩
的冯雷博士于2017年7月11日下午,在北校区太阳城博彩
会议室(主楼III-143北)做了题为“ Integration of Learning-Based Testing and Supervisory Control for Requirements Conformance of Black-Box Reactive Systems”的学术报告。
报告介绍了用监督控制理论来消除黑盒软件在重复利用时可能出现的错误。该方法利用基于自动机学习的软件测试方法来学习黑盒软件的模型,从而可以利用监督控制理论来纠错。这一项工作是监督控制理论的一个创新应用,对我校从事离散事件系统监督控制理论与应用研究领域的研究生与青年教师具有启发性。学术报告引起了与会师生的浓厚兴趣,大家结合自己在研究中遇到的问题与冯雷博士进行了积极交流。
冯雷,博士、副教授,分别于1998年和2001年获得西安交通大学机械与电子工程学士与硕士学位,于2007年获加拿大多伦多大学电子与计算机工程博士学位,于2009年—2012年供职于瑞典沃尔沃技术公司,于2012年加入瑞典皇家理工太阳城博彩
机械电子与嵌入式控制系统系。他的研究兴趣主要有信息物理系统的形式化验证与控制综合,机电系统的能耗管理与控制,离散事件系统的监督控制。