Deadlock-free control of ratio-enforced automated manufacturing systems with flexible routes and assembly operations

Hesuan Hu, Mengchu Zhou, Zhiwu Li, Naiqi Wu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

In the context of automated manufacturing systems (AMS), Petri nets are widely adopted to solve the modeling, analysis, and control problems. So far, nearly all well-known Petri net approaches study AMS with either flexible routes or assembly operations, whereas few work investigates their combination. In this paper, we propose a novel class of nets, which can well deal with both features. We also derive a supervisory controller for on-line ratio enforcement among all processes. Using structural analysis, we show that liveness of such systems can be attributed to the absence of undermarked siphons. We also reveal the design separability between ratio-enforcing and liveness-enforcing supervisors.

Original languageEnglish (US)
Title of host publication2010 IEEE International Conference on Automation Science and Engineering, CASE 2010
Pages459-464
Number of pages6
DOIs
StatePublished - 2010
Event2010 IEEE International Conference on Automation Science and Engineering, CASE 2010 - Toronto, ON, Canada
Duration: Aug 21 2010Aug 24 2010

Publication series

Name2010 IEEE International Conference on Automation Science and Engineering, CASE 2010

Other

Other2010 IEEE International Conference on Automation Science and Engineering, CASE 2010
Country/TerritoryCanada
CityToronto, ON
Period8/21/108/24/10

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering

Fingerprint

Dive into the research topics of 'Deadlock-free control of ratio-enforced automated manufacturing systems with flexible routes and assembly operations'. Together they form a unique fingerprint.

Cite this