Distributed supervisor synthesis for automated manufacturing systems using Petri nets

Hesuan Hu, Chen Chen, Rong Su, Yang Liu, Mengchu Zhou

Research output: Contribution to journalConference articlepeer-review

15 Scopus citations


Due to the competition for limited resources by many concurrent processes in large scale automated manufacturing systems (AMS), one has to resolve a deadlock issue in order to reach their production goal without disruption and downtime. Monolithic resolution is a conventional approach for optimal or acceptable solutions, but suffers from computational difficulty. On the other hand, some decentralized methods are more powerful in finding approximate solutions, but most are application-dependent. By modeling AMS as Petri nets, we develop an innovative distributed control approach, which can create a trajectory leading to a desired destination and are adaptable to different kinds of constraints. Control strategies are applied to processes locally such that they can concurrently proceed efficiently. Global destinations are always reachable through the local observation upon processes without knowing external and extra information. Efficient algorithms are proposed to find such distributed controllers.

Original languageEnglish (US)
Article number6907504
Pages (from-to)4423-4429
Number of pages7
JournalProceedings - IEEE International Conference on Robotics and Automation
StatePublished - Sep 22 2014
Event2014 IEEE International Conference on Robotics and Automation, ICRA 2014 - Hong Kong, China
Duration: May 31 2014Jun 7 2014

All Science Journal Classification (ASJC) codes

  • Software
  • Control and Systems Engineering
  • Artificial Intelligence
  • Electrical and Electronic Engineering


Dive into the research topics of 'Distributed supervisor synthesis for automated manufacturing systems using Petri nets'. Together they form a unique fingerprint.

Cite this