[Legacy Report] SMC and CS Seminar on Petri-net Controller Synthesis for Discrete Event Systems

#Petri-net #Controller #Synthesis #for #Discrete #Event #Systems
Share

IEEE Northern Jersey Section SMC and CS Chapters

 

Petri-net Controller Synthesis for Discrete Event Systems

 

JiLiang Luo, Ph.D.& Associate Professor

Department of Control Science and Engineering

Huaqiao University, Xiamen, China

 

Time: 11:00am, Mon., April 13, 2015

Place: ECE 202, New Jersey Institute of Technology

 

 

Abstract:

Due to “state-space explosion” of discrete-event systems, to quickly design reliable control software is very difficult although it is required in some applications such as smart manufacturing. As is well known, the theory and tools about analysis and synthesis of Petri nets have been well developed. Therefore, this problem may be well addressed if a controller can be designed as a Petri net.  In this talk, the methods are introduced to design Petri-net controllers for partially controllable and/or observable discrete-event systems, to convert a Petri net controller to a ladder diagram (a program of programmable logical controller), and to design a ladder diagram for collision avoidance in an automatic guided vehicle system.

 

Biography: 

JiLiang Luo(S’00-M’03-SM’06) received his B.S. and M.S. degree in Thermal Power Engineering from Northeast Dianli University of China in 2000 and 2003, respectively, and Ph. D. degree in Control Science and Engineering from Zhejiang University of China in 2006.  He joined Huaqiao University, Xiamen, China in 2006, and is now an Associate Professor and Associate Chair of Department of Control Science and Engineering. He visited Chiba University of Japan from 2009 to 2010 and New Jersey Institute of Technology of USA from 2014 to 2015, respectively. He was awarded as an Asian Journal of Control’s Outstanding Reviewer of 2011, and won Ho Pan Qing Qi Best Paper Award in the area of Discrete Event Dynamic Systems in 2012. His research interests are in Petri nets, discrete event systems, and program verifications. He has over 30 publications including papers in Automatica and IEEE Transactions on Automatic Control.  He is a member of the Council of Chinese Association of Petri nets, and that of Association of Automation in Fujian province of China.

 

Contact: Prof. Mengchu Zhou at zhou@njit.edu if any question. ECE 202 is located at the intersection between warren St. and Summit St., Newark, NJ 07102.



  Date and Time

  Location

  Hosts

  Registration



  • Add_To_Calendar_icon Add Event to Calendar
  • Newark, New Jersey
  • United States

  • Contact Event Host