Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets

Hesuan Hu, Mengchu Zhou, Yang Liu

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

2 Scopus citations

Abstract

Ensuring nonblockingness remains challenging for automated manufacturing systems (AMS) owing to their discrete event dynamics. Both scalability and maximal permissiveness are essential for the synthesis and implementation of their centralized supervisors. Inspired by the divide and conquer philosophy, this work proposes a partition methodology and distributed control technique for large scale AMS. They are represented as interconnected and overlapping subsystems sharing some common components in terms of buffers. For each subsystem, a local supervisor is designed based on its local behavior and neighboring information only. Generalizing the existing results, we develop a condition under which the control law via decomposition promises the maximal permissiveness. Buffer capacities are well designed for the sake of their decomposition into multiple overlapping subsystems. Theoretical results are developed to characterize the behavior compatibility among local controllers. An experimental study illustrates the effectiveness of the proposed method.

Original languageEnglish (US)
Title of host publication2013 IEEE International Conference on Automation Science and Engineering, CASE 2013
Pages1145-1150
Number of pages6
DOIs
StatePublished - Dec 1 2013
Event2013 IEEE International Conference on Automation Science and Engineering, CASE 2013 - Madison, WI, United States
Duration: Aug 17 2013Aug 20 2013

Publication series

NameIEEE International Conference on Automation Science and Engineering
ISSN (Print)2161-8070
ISSN (Electronic)2161-8089

Other

Other2013 IEEE International Conference on Automation Science and Engineering, CASE 2013
CountryUnited States
CityMadison, WI
Period8/17/138/20/13

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets'. Together they form a unique fingerprint.

Cite this