Formal model for shop floor control in automated manufacturing

Jeffrey S. Smith, Sanjay B. Joshi

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

7 Scopus citations

Abstract

Computer integrated manufacturing and shop floor automation have not yet delivered the results once promised. This can be directly attributed to the difficulty in developing integrated systems, and specifically, the integrated control software for the shop floor. This paper presents a formal model of the execution portion of shop floor controllers. This model, called a message-based part state graph (MPSG), represents the execution model of shop floor controller as a modified deterministic finite automaton (DFA). Known methods for generating recognition software based on the underlying DFA model are used to generate the execution portion of shop floor controllers.

Original languageEnglish (US)
Title of host publicationProceedings of the Industrial Engineering Research Conference
EditorsDeborah A. Mitta, Laura I. Burke, John R. English, Jennie Gallimore, Georgia-Ann Klutke, Gregory L. Tonkay
PublisherPubl by IIE
Pages31-35
Number of pages5
ISBN (Print)0898061326
StatePublished - Dec 1 1993
EventProceedings of the 2nd Industrial Engineering Research Conference - Los Angeles, CA, USA
Duration: May 26 1993May 28 1993

Other

OtherProceedings of the 2nd Industrial Engineering Research Conference
CityLos Angeles, CA, USA
Period5/26/935/28/93

All Science Journal Classification (ASJC) codes

  • General Engineering

Fingerprint

Dive into the research topics of 'Formal model for shop floor control in automated manufacturing'. Together they form a unique fingerprint.

Cite this