当前位置:主页 > 新闻中心 > 学术活动预报 >

Advanced Topics of Discrete Event Systems Control

更新时间:2015-07-03 点击:

报告(课程)名称:Advanced Topics of Discrete Event Systems Control
时间:2015-07-03, 14:30-16:30;2015-07-07,14:30-16:30;2015-07-08,14:30-16:30; 2015-07-10, 14:30-16:30;2015-07-13, 14:30-16:30;2015-07-15, 14:30-16:30; 2015-07-17, 14:30-16:30; 2015-07-20, 14:30-16:30;2015-07-22, 14:30-16:30; 2015-07-24, 14:30-16:30;2015-07-27, 14:30-16:30;2015-07-29,  14:30-16:30
地点:北校区主楼区327报告厅
报告(课程)人:冯 雷 博士
报告(课程)人介绍:冯雷现就职于瑞典皇家理大学(KTH),机械设计系,机械电子工程专业。曾获西安交通大学机械电子工程专业学士及硕士学位;加拿大多伦多大学电子及计算机工程系系统与控制工程专业博士学位,导师W.M.Wonham教授;瑞典皇家理大学(KTH)机械设计系博士后,导师Martin Törngren教授。
         冯雷博士曾经于2009年2月
2011年12月在瑞典VOLVO TECHNOLOGY公司(沃尔沃公司)担任研究工程师,主要从事汽车控制系统的研究。曾参加欧盟框架计划资助项目Complete Vehicle Energy-Saving Technologies(CONVENIENT),Highly Automated Vehicles for Intelligent Transport(HAVEit),欧盟ARTEMIS 项目Combined Model-Based Analysis & Testing of Embedded Systems(MBAT),涉及汽车控制系统的模型分析及测试,油耗控制以及预测控制等领域。冯雷师从于离散事件系统监督控制理论创始人之一加拿大多伦多大学Wonham教授,长期从事控制理论及其应用的研究工作,发表国际期刊论文7篇,国际会议论文20篇包括两篇最佳学生论文以及一篇最佳会议论文。
报告(课程)摘要:
   Discrete-event system is a modeling framework for the design & analysis of software-intensive systems. The course briefly introduces fundamental theories, computing methods,& applications of formal verification & control synthesis of discrete-event systems. After studying the course, the student will understand the definition & computation methods of finite state machine (automata), formalize system logical behaviors as finite state machines & temporal logic, formally verify requirements by automaton models, synthesize discrete-event supervisors with modular, decentralized & partial observation properties, apply the learned knowledge to industrial problems. The reference books are Supervisory Control of Discrete-event Systems by Prof. W.M. Wonham & Introduction to Embedded Systems: A Cyber-Physical Approach, by Profs. E.A. Lee & S.A. Seshia. Both books are free for download.

西电主页 回到首页 联系我们 西电导航 English Version
Copyright ©2005-2016 oice.xidian.edu.cn All rights reserved. 西安电子科技大学国际合作与交流处 版权所有
联系电话:029-8820 2220\4801\2221\2844 传真:029-88201620 电子邮箱:fao@xidian.edu.cn
地址:陕西省西安市太白南路2号 邮编:710071
电子工程学院网络信息中心设计维护seewebmaster@163.com