报告名称：Modeling and Control of Discrete Event Systems: Automata and Petri Nets Perspectives
报告概况：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.
报告人概况：ZhiWu Li received the B.S., M.S., and Ph.D. degrees from Xidian University in 1989, 1992, and 1995, respectively. He joined Xidian University in 1992. He is currently a Professor with the Institute of Systems Engineering, Macau University of Science and Technology. He published two monographs in Springer and CRC Press and 90+ papers in Automatica and IEEE Transactions (mostly regular). His work was cited by engineers and researchers from more than 50 countries and areas, including prestigious R&D institutes such as IBM, Volvo, HP, GE, GM, ABB, and Huawei. He serves (served) an Associate Editor of the IEEE Trans. Automation Science and Engineering, IEEE Trans. Systems, Man, and Cybernetics, Part A: Systems and Human Beings, IEEE Trans. Systems, Man, and Cybernetics: Systems, IEEE Access, IEEE/CAA Journal of Automatica Sinica and Information Sciences (Elsevier). Dr. Li is a recipient of Alexander von Humboldt Research Grant and Research in Paris. He was selected in 2014, 2015, 2016, and 2017 Thomson Reuters Highly Cited Researchers in the category of Engineering and 2014, 2015, 2016, and 2017 Elsevier Most Cited Chinese Researchers in the category of Systems and Control Engineering. He is a Fellow of IEEE.