Petri Net-based Supervisory Controller Design to Enforce Production Ratio and Deadlock-free Operation in Manufacturing

Mr. Hesuan Hu, School of Electro-Mechanical Engineering, XiDian University
Date: February 10, 2009 (Tuesday)
Time: 11:30am-1pm
Place: 202 ECEC, NJIT

About the Presenter:

 Mr. Hesuan Hu received the B.S. degree and M.S. degree from Xidian University, Xi'an, China, in 2003 and 2005, respectively. Currently, he is a Ph. D candidate at Xidian University and also a visiting scholar at New Jersey Institute of Technology. From 1997 to 2000, he was an Assistant Engineer at the Department of Metrology of Xi'an Aircraft Engine Control Engineering Co., Ltd, where he was appointed as the Director of Electrical Laboratory from 2001 to 2002. His research interests include Petri nets, discrete event dynamic systems and their supervisory control techniques. In the above areas, he authored or co-authored nearly 30 papers on various peer-reviewed journals and conference proceedings. Also, he is an active reviewer for more than 10 international journals including several IEEE Transactions as well as many conferences. Since 2008, he has served as a program committee member for a number of conferences.

About the Talk:

 This work presents a new class of Petri nets, namely Ratio-enforced weighted Augmented Marked Graphs (RAMG), and solves ratio control and liveness-enforcing supervision problems for automated manufacturing system together. In such systems, assembly operations are allowed so that several independently operating sub-processes can be activated and re-combined through splitting and merging activities. RAMG can ensure any required product ratios as demanded by production planners. Since deadlock of such systems can be attributed to the overuse of certain preemptive resources, a supervisor is introduced such that the shared resources can be properly allocated to prevent any deadlock occurrence. We theoretically prove that ratio and supervisory controllers for such Petri nets can be separately designed. Their design methods are presented. Examples are given to illustrate them. Prior to the presentation of our research results, Petri nets are introduced as an important class of modeling tools for discrete event systems.

Travel directions: http://www.njit.edu.

For Further information: Contact Professor Timothy Chang (973)596-3519, changtn@njit.edu or Professor Mengchu Zhou (973)596-6282.

Click here for seminar archives

Note: All ECE MS thesis defense and Ph.D. dissertation (proposal) defense are counted towards ECE791.