Zhiwu Li

ZhiWu Li received the B.S., M.S., and Ph.D. degrees in mechanical engineering, automatic control, and manufacturing engineering, respectively, all from Xidian University, Xi’an, China, in 1989, 1992, and 1995, respectively. He joined Xidian University, in 1992, where he is currently a Professor of the School of Electro-Mechanical Engineering. In the past decade, he visited a number of institutes including University of Toronto, Israel Institute of Technology, Martin-Luther University of Halle-Wittenburg, and Conservatoire National des Arts et Métiers. He is the author or coauthor of over 200 publications including three monographs. His current research interests include Petri net theory and application, and supervisory control of discrete event systems. He is a member of Discrete Event Systems Technical Committee of the IEEE Systems, Man, and Cybernetics Society, and a member of IFAC Technical Committee on Discrete Event and Hybrid Systems (2011-2014). He is listed in Marquis Who's Who in the world, 27th Edition, 2010. Dr. Li is a recipient of an Alexander von Humboldt Research Grant, Alexander von Humboldt Foundation, Germany. He is a senior member of IEEE and is the founding chair of Xi’an Chapter of IEEE Systems, Man, and Cybernetics Society.

Publications

Formal Methods in Manufacturing Systems: Recent Advances
Formal Methods in Manufacturing Systems: Recent Advances
Zhiwu Li, Abdulrahman M. Al-Ahmari. © 2013. 531 pages.
Evolving technologies in mass production have led to the development of advanced techniques in the field of manufacturing. These technologies can quickly and effectively respond...
Development of Automated Systems using Proved B Patterns
Development of Automated Systems using Proved B Patterns
Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li. © 2013. 15 pages.
This chapter proposes an approach for reusing specification patterns for the development of automated systems composed of two components: the controller and the controlled parts....
Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems
Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems
Chunfu Zhong, Zhiwu Li. © 2012. 19 pages.
In flexible manufacturing systems, deadlocks usually occur due to the limited resources. To cope with deadlock problems, Petri nets are widely used to model these systems. This...
Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems
Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems
Chunfu Zhong, Zhiwu Li. © 2011. 18 pages.
In flexible manufacturing systems, deadlocks usually occur due to the limited resources. To cope with deadlock problems, Petri nets are widely used to model these systems. This...