Formal Models for Control of Flexible Manufacturing Cells

Physical and System Model

Sanjay B. Joshi, Richard A. Wysk, Erik G. Mettala, Jeffrey S. Smith

Research output: Contribution to journalArticle

31 Citations (Scopus)

Abstract

Currently, most control implementations of flexible manufacturing cells have been developed specific to a particular facility, and no generic format or tools exist for the systematic planning and creation of control. This paper presents the first phase of research in automatic generation of control software. It focuses on the development of theoretical foundations and generic issues necessary to understand and implement control. Specific formal models are developed for the physical activities, system actions, and individual machines comprising the manufacturing cell. In a subsequent paper, the formal models presented here are used to provide the basis for creating context free control grammars which are used to automatically generate software for controlling flexible manufacturing cells.

Original languageEnglish (US)
Pages (from-to)558-570
Number of pages13
JournalIEEE Transactions on Robotics and Automation
Volume11
Issue number4
DOIs
StatePublished - Jan 1 1995

Fingerprint

Cellular manufacturing
Planning

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Cite this

Joshi, Sanjay B. ; Wysk, Richard A. ; Mettala, Erik G. ; Smith, Jeffrey S. / Formal Models for Control of Flexible Manufacturing Cells : Physical and System Model. In: IEEE Transactions on Robotics and Automation. 1995 ; Vol. 11, No. 4. pp. 558-570.
@article{0a66374a1af64644b4faf15248dd4b0f,
title = "Formal Models for Control of Flexible Manufacturing Cells: Physical and System Model",
abstract = "Currently, most control implementations of flexible manufacturing cells have been developed specific to a particular facility, and no generic format or tools exist for the systematic planning and creation of control. This paper presents the first phase of research in automatic generation of control software. It focuses on the development of theoretical foundations and generic issues necessary to understand and implement control. Specific formal models are developed for the physical activities, system actions, and individual machines comprising the manufacturing cell. In a subsequent paper, the formal models presented here are used to provide the basis for creating context free control grammars which are used to automatically generate software for controlling flexible manufacturing cells.",
author = "Joshi, {Sanjay B.} and Wysk, {Richard A.} and Mettala, {Erik G.} and Smith, {Jeffrey S.}",
year = "1995",
month = "1",
day = "1",
doi = "10.1109/70.406940",
language = "English (US)",
volume = "11",
pages = "558--570",
journal = "IEEE Transactions on Robotics and Automation",
issn = "1042-296X",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "4",

}

Formal Models for Control of Flexible Manufacturing Cells : Physical and System Model. / Joshi, Sanjay B.; Wysk, Richard A.; Mettala, Erik G.; Smith, Jeffrey S.

In: IEEE Transactions on Robotics and Automation, Vol. 11, No. 4, 01.01.1995, p. 558-570.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Formal Models for Control of Flexible Manufacturing Cells

T2 - Physical and System Model

AU - Joshi, Sanjay B.

AU - Wysk, Richard A.

AU - Mettala, Erik G.

AU - Smith, Jeffrey S.

PY - 1995/1/1

Y1 - 1995/1/1

N2 - Currently, most control implementations of flexible manufacturing cells have been developed specific to a particular facility, and no generic format or tools exist for the systematic planning and creation of control. This paper presents the first phase of research in automatic generation of control software. It focuses on the development of theoretical foundations and generic issues necessary to understand and implement control. Specific formal models are developed for the physical activities, system actions, and individual machines comprising the manufacturing cell. In a subsequent paper, the formal models presented here are used to provide the basis for creating context free control grammars which are used to automatically generate software for controlling flexible manufacturing cells.

AB - Currently, most control implementations of flexible manufacturing cells have been developed specific to a particular facility, and no generic format or tools exist for the systematic planning and creation of control. This paper presents the first phase of research in automatic generation of control software. It focuses on the development of theoretical foundations and generic issues necessary to understand and implement control. Specific formal models are developed for the physical activities, system actions, and individual machines comprising the manufacturing cell. In a subsequent paper, the formal models presented here are used to provide the basis for creating context free control grammars which are used to automatically generate software for controlling flexible manufacturing cells.

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

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

U2 - 10.1109/70.406940

DO - 10.1109/70.406940

M3 - Article

VL - 11

SP - 558

EP - 570

JO - IEEE Transactions on Robotics and Automation

JF - IEEE Transactions on Robotics and Automation

SN - 1042-296X

IS - 4

ER -