计算机学院 西电,西安电子科技大学李志武教授访问计算机学院

2016年4月29日，应重庆大学计算机学院邀请，西安电子科技大学机电工程学院院长李志武教授莅临重庆大学，在主教学楼1811学术报告厅为计算机学院师生作了题为“Supervisory Control Theory of Discrete Event Systems: Automaton and Petri Net Perspective”的学术报告。

报告中，李志武教授从离散事件系统讲起，详细梳理了离散事件系统的定义和谱系，列举了对该领域做出贡献的代表人物，并由离散时间系统引出了监督控制理论与Petri网的来源与沿革。李教授用简洁的语言和形象的例子向参与讲座的师生清楚地展示了监督控制理论与Petri网对事物建模的过程，同时结合自身多年的经验，向大家分析了两种方法的异同。作为中国计算机学会Petri网专业委员会副主任委员，李教授重点对如何使用Petri网进行分析建模进行了仔细的介绍。随后，李教授讲到了当前离散时间系统存在的一些有待解决的问题，并鼓励大家在该领域进行深入的探索。

报告后，夏云霓教授等就Petri网等专业知识与李志武教授进行了学术交流，部分同学也从论文写作，学术生涯规划等方面向李志武教授提出了问题，李志武教授逐一进行了仔细的回答。开拓了同学们的学术视野和思维。通过这次讲座，使同学们领略了专业理论学术的风采，丰富了同学们的知识结构，也给同学们带来一些科研上的建议，参会师生均感到有所收获。

李志武教授简介：李志武，博士，IEEE Fellow，IEEE系统人与控制论学会西安分会创立主席。1989年，1992年，1995年在西安电子科技大学分别获得学士，硕士和博士学位。1992年至今在西安电子科技大学工作。2002年聘任为教授。主要研究方向为：离散事件系统监督控制理论、Petri网理论及应用与生物复杂系统的建模分析与控制。累计发表论文60余篇。担任IEEE Transactions on Automation Science and Engineering(2008.1-2013.1), IEEE Transactions on Systems, Man, and Cybernetics, Part A-Systems and Humans(2011.1-2012.12), IEEE Transactions on Systems, Man, and Cybernetics: Systems (2013.1-2014.12), Information Sciences (2014.1-)等国际刊物的Associate Editor以及40多个国际刊物稿件评阅人。