报告题目：Modeling and Control of Discrete Event Systems: Automata and Petri Nets Perspectives

报告时间：2023年12月6日16：30-18：30

报告地点：致本楼E座5楼学术报告厅

报 告 人：李志武 教授

主办单位：计算机科学与技术学院

报告人简介：

李志武，澳门科技大学系统工程研究所教授。担任90多个国际期刊审稿人。拥有24项美国、澳大利亚国际专利。连续五年（2014-2018）入选Thomson Reuters工程领域全球高被引科学家和Elsevier中国高被引学者。

长期在自动化科学与工程领域从事教学与研究工作，深入开展了Petri网理论及其在自动制造系统建模、分析与控制中的应用研究。较早提出了Petri网的基本信标理论，将Petri网控制器结构的指数复杂性(与网规模的关系)降为网规模的线性复杂性；针对不同结构的自动制造系统，研究了多种死锁控制策略。在离散事件系统领域的前期工作初步解决了自动制造系统活性Petri网控制器设计的三大难题：行为许可性、结构复杂性和计算效率问题。现（曾）担任以下国际期刊的副主编：IEEE Transactions on systems, Man, and Cybernetics-Part A: Systems and Human Being, IEEE Transactions on Automation Science and Engineering, IEEE Transactions on Systems, Man, and Cybernetics: Systems, IEEE Access, IEEE/CAA Sinca Automatica, Information Sciences (Elsevier).