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

Other

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

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering
  • Control and Systems Engineering

Cite this

Hu, H., Zhou, M., & Liu, Y. (2013). Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets. In 2013 IEEE International Conference on Automation Science and Engineering, CASE 2013 (pp. 1145-1150). [6654040] (IEEE International Conference on Automation Science and Engineering). https://doi.org/10.1109/CoASE.2013.6654040