（通讯员 黎良 葛持恒）应威廉希尔李志武教授邀请，意大利萨勒诺大学 Francesco Basile教授于7月19至24日来公司访问交流。7月21日上午，Francesco Basile教授在北校区阶梯教室501为硕士、博士研究生以及部分青年教师做了题为“Identification of Timed Petri net systems - Overview of Research activities at the University of Salerno in Automatic Control”的学术报告，并与师生进行了热烈的互动交流，报告会由威廉希尔李志武教授主持。

自动化离散事件系统的建模是一个具有挑战性的问题，在过去的十年里获得了广泛的关注。针对这个问题国内外许多课题组分别使用了不同的方法展开研究，虽然各个研究团队提出了一些方法，但关于离散事件过程/系统的建模仍有许多工作要做。Basile教授结合自己多年从事科学研究的经验，从Timed Petri Nets系统的鉴定方面向公司师生详细地介绍了Timed Petri Nets建模过程以及基于混合整数线性规划问题对其算法的鉴定。此外，Basile教授概述了萨勒诺大学自动控制课题组的主要研究活动将专注于工业自动化Cyber-Physical系统。

演讲结束后的问答环节，Basile教授与在场师生开展了热烈的互动交流，就“如何将离散事件系统监督控制理论运用到实际生产中”、“Timed Petri Nets的应用”、“工业自动化中Cyber-Physical系统研究”等诸多问题，Basile教授都详细的给出了自己的看法。报告取得了良好的效果，受到与会师生的好评。

报告人简介：

Francesco Basile教授，生于1971年，于1999年获得意大利那不勒斯大学获电子和计算机工程专业的博士学位，1999年在西班牙萨拉戈萨大学Departamento de Ingenieria Informatica y Systems做了为期六个月的访问学者，自1999年起在意大利萨勒诺大学Dipartimento di Ingegneria Elettronica ed Ingegneria Informatica (D.I.E.M)任教，并担任自动控制系助理教授。他目前的研究兴趣包括：离散事件系统的监督控制理论，Petri网理论，自动化制造系统的建模与仿真和机器人，并在国际期刊和会议上公开发表了100多篇论文。他是国际期刊《机器人和自动化》的编辑委员会成员，以及IEEE Transactions on Control Systems Technology，IEEE Transactions on Automation Science and Engineering 和IEEE Control System Society Conference编辑委员会的副编辑，同时他也是2011年11月以来IEEE的高级会员。