题目：Cost-Effective Deadlock Resolution Method for Automated Manufacturing ystems Modeled with Petri Nets

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

Department of Electrical and Computer Engineering

New Jersey Institute of Technology

USA

时间：7月15日星期五下午14:00-15:00

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

报告摘要：

Petri nets, invented by Carl A. Petri in 1960, have been widely used in many areas ranging from computation theory, concurrency modeling, and software design to manufacturing automation, workflow analysis, and web service composition. For automated manufacturing systems (AMS), deadlock resolution in terms of their Petri net models remains an attractive topic to which many approaches are dedicated. However, few of them can quantitatively optimize certain indices during their supervisor synthesis process. This causes unnecessary control limitations and often leads to unnecessary implementation cost. In the framework of Petri nets, this seminar presents a method to synthesize a cost-effective supervisor with the aid of a set of mixed integer programming (MIP) formulations. Examples are used to validate the legality of the proposed method.

报告人简介：

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 atTongjiUniversity,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.