主讲人：李志武

主讲人简介：

Zhiwu Li received the B.S., M.S., and Ph.D. degrees all from Xidian University, Xi’an, China, in 1989, 1992, and 1995, respectively. Dr. Li held visiting professor positions at the University of Toronto, Technion (Israel Institute of Technology), Martin-Luther University at Halle (supported by Alexander von Humboldt Foundation), University of Cagliari, Politecnico di Bari, Conservatoire National des Arts et Métiers (Cnam, supported by the program of Research in Paris), King Saud University, and Meliksah University. He has published three monographs in Springer (2009; 2023) and CRC Press (2013) and 200+ publications in Automatica and IEEE Transactions. His research was cited by leading business giants IBM, HP, ABB, Volvo, GE, GM, Mitsubishi, Ford Car, and Huawei. His current research interests include Petri net theory and application, supervisory control of discrete event systems. Dr. Li serves (served) as Associate Editor of IEEE Transactions on Automation Science and Engineering, IEEE Transactions on Systems, Man, and Cybernetics: Systems and Human Beings, IEEE Transactions on Systems, Man, and Cybernetics: Systems, Information Sciences (Elservier), IEEE Access (Senior Editor), Scientific Reports, IEEE/CAA Journal of Automatics Sinica, Journal of Mechanical Engineering (Elsevier), and Computer Integrated Manufacturing System. He is a Fellow of IEEE (2016) and was selected as Thomson Reuters Highly Cited Researchers in the category of Engineering from 2014-2018.

讲座主要内容：

The extensive applications of information technology provide spurs to the blooming of highly automated and computer-integrated systems that increasingly play an essential role in the development of the human society, leading to the deployment of discrete event systems that are thought of as a mathematical or methodological abstract of many contemporary technological systems such as intelligent urban traffic systems, automated flexible manufacturing systems, computer networks, communication protocols, logistic systems, monitoring and control of large buildings, distributed databases, and concurrent software systems. The purpose of this talk is to briefly introduce ideas of the modeling and control of discrete event systems in automaton and Petri net perspectives. Supervisory control theory based on formal languages and finite state machines is first reviewed and a Petri net approach is then recalled. Their comparison is demonstrated through a toy example from manufacturing.

讲座时间：2023年12月5日（周二）10:10

讲座地点：金山校区3号楼国际报告厅

承办单位：信息工程学院（详询学院办公室）