Formal model for shop floor control in automated manufacturing

Jeffrey S. Smith, Sanjay B. Joshi

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

5 Citations (Scopus)

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

Fingerprint

Finite automata
Controllers
Computer integrated manufacturing
Integrated control
Automation

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this

Smith, J. S., & Joshi, S. B. (1993). Formal model for shop floor control in automated manufacturing. In D. A. Mitta, L. I. Burke, J. R. English, J. Gallimore, G-A. Klutke, & G. L. Tonkay (Eds.), Proceedings of the Industrial Engineering Research Conference (pp. 31-35). Publ by IIE.
Smith, Jeffrey S. ; Joshi, Sanjay B. / Formal model for shop floor control in automated manufacturing. Proceedings of the Industrial Engineering Research Conference. editor / Deborah A. Mitta ; Laura I. Burke ; John R. English ; Jennie Gallimore ; Georgia-Ann Klutke ; Gregory L. Tonkay. Publ by IIE, 1993. pp. 31-35
@inproceedings{10a4dfa06d9a42ef9eb67dcc8dcddb4e,
title = "Formal model for shop floor control in automated manufacturing",
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.",
author = "Smith, {Jeffrey S.} and Joshi, {Sanjay B.}",
year = "1993",
month = "12",
day = "1",
language = "English (US)",
isbn = "0898061326",
pages = "31--35",
editor = "Mitta, {Deborah A.} and Burke, {Laura I.} and English, {John R.} and Jennie Gallimore and Georgia-Ann Klutke and Tonkay, {Gregory L.}",
booktitle = "Proceedings of the Industrial Engineering Research Conference",
publisher = "Publ by IIE",

}

Smith, JS & Joshi, SB 1993, Formal model for shop floor control in automated manufacturing. in DA Mitta, LI Burke, JR English, J Gallimore, G-A Klutke & GL Tonkay (eds), Proceedings of the Industrial Engineering Research Conference. Publ by IIE, pp. 31-35, Proceedings of the 2nd Industrial Engineering Research Conference, Los Angeles, CA, USA, 5/26/93.

Formal model for shop floor control in automated manufacturing. / Smith, Jeffrey S.; Joshi, Sanjay B.

Proceedings of the Industrial Engineering Research Conference. ed. / Deborah A. Mitta; Laura I. Burke; John R. English; Jennie Gallimore; Georgia-Ann Klutke; Gregory L. Tonkay. Publ by IIE, 1993. p. 31-35.

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

TY - GEN

T1 - Formal model for shop floor control in automated manufacturing

AU - Smith, Jeffrey S.

AU - Joshi, Sanjay B.

PY - 1993/12/1

Y1 - 1993/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0027814193&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0027814193&partnerID=8YFLogxK

M3 - Conference contribution

SN - 0898061326

SP - 31

EP - 35

BT - Proceedings of the Industrial Engineering Research Conference

A2 - Mitta, Deborah A.

A2 - Burke, Laura I.

A2 - English, John R.

A2 - Gallimore, Jennie

A2 - Klutke, Georgia-Ann

A2 - Tonkay, Gregory L.

PB - Publ by IIE

ER -

Smith JS, Joshi SB. Formal model for shop floor control in automated manufacturing. In Mitta DA, Burke LI, English JR, Gallimore J, Klutke G-A, Tonkay GL, editors, Proceedings of the Industrial Engineering Research Conference. Publ by IIE. 1993. p. 31-35