题目：Design of Maximally Permissive Liveness-Enforcing Supervisors for Flexible Manufacturing Systems

报告人：Prof. MengChu Zhou（周孟初教授）

Department of Electrical and Computer Engineering

New Jersey Institute of Technology

USA

时间：7月1日星期五上午10:00-11:00

地点：智能系统与控制研究所（教18）223室

报告摘要：

A maximally permissive liveness-enforcing supervisor for flexible manufacturing systems (FMS) is designed by solving integer linear programming problems (ILPPs). A reachability graph is classified into two zones: live-zone (LZ) and deadlock-zone (DZ). A first-met bad marking (FBM) is the one within DZ, representing the very first entry from LZ to DZ. By using an integer linear programming approach, a PI is designed for an FBM such that it is prevented from being reached and no legal marking is forbidden. By study the relationship of different markings, we present a novel concept, called vector covering technique, to reduce the sets of legal markings and FBM to very small sets, namely, the minimal covering set of legal markings and the minimal covered set of FBM. Thus, only two small sets of legal markings and FBM are considered to obtain the control places. When an FBM is selected and a control place is designed to forbid it, a further covering approach is developed to reduce the set of legal markings to a smaller one. As a result, the ILPP has a very small number of inequalities and can be solved in a short time. The approach requires a complete enumeration of reachable markings, which always suffers from the state explosion problem. We also present how to design a maximally permissive liveness-enforcing Petri net supervisor with the minimal number of control places for FMS.

报告人简介：

MengChu Zhou (S’88-M’90-SM’93-F’03) currently a Professor of Electrical and Computer Engineering and the Director of Discrete-Event Systems Laboratory at New Jersey Institute of Technology (NJIT). He is also a Professor of Computer Science and Engineering at TongjiUniversity, Shanghai, China (on leave from NJIT). His research interests are in Petri nets, computer-integrated systems, wireless ad hoc and sensor networks, semiconductor manufacturing, and embedded control.  He has over 390 publications including 10 books, 180+ journal papers (majority in IEEE transactions), and 17 book-chapters.  He is currently Editor of IEEE Transactions on Automation Science and Engineering, and Associate Editor of IEEE Transactions on Systems, Man and Cybernetics: Part A and IEEE Transactions on Industrial Informatics. He is also Editor-in-Chief of IEEE Book Series on Systems Science and Engineering. He was the recipient of NSF’s Research Initiation Award, CIM University-LEAD Award by Society of Manufacturing Engineers, Perlis Research Award by NJIT, Humboldt Research Award for US Senior Scientists, and Franklin V. Taylor Memorial Award of IEEE Systems, Man and Cybernetics Society. He is a life member of Chinese Association for Science and Technology-USA and served as its President in 1999. He is Fellow of IEEE.