Modeling and Control of Discrete Event Systems: Automata and Petri Nets Perspectives

9月23日 11:30-12:00

李志武 澳门科技大学

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 all from Xidian University, Xi’an, China, in 1989, 1992, and 1995, respectively. His interests include supervisory control of discrete event systems and Petri net theory & application. Dr. Li held visiting professor positions at the University of Toronto, Technion, Martin-Luther University at Halle (supported by Alexander von Humboldt Foundation), University of Cagliari, Politecnico di Bari, Conservatoire National des Arts et Métiers, King Saud University, and Meliksah University. He has published three monographs in Springer (2009; 2023) and CRC Press (2013). He has 200+ publications in IEEE Transactions and Automatica. His research was cited by leading business giants IBM, HP, ABB, Volvo, GE, GM, Mitsubishi, and Hu