Formal Models for Control of Flexible Manufacturing Cells: Physical and System Model

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

doi:10.1109/70.406940

Formal Models for Control of Flexible Manufacturing Cells: Physical and System Model

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

Marcus Department of Industrial and Manufacturing Engineering

Research output: Contribution to journal › Article › peer-review

34 Scopus citations

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 language	English (US)
Pages (from-to)	558-570
Number of pages	13
Journal	IEEE Transactions on Robotics and Automation
Volume	11
Issue number	4
DOIs	https://doi.org/10.1109/70.406940
State	Published - Aug 1995

All Science Journal Classification (ASJC) codes

Control and Systems Engineering
Electrical and Electronic Engineering

Access to Document

10.1109/70.406940

Cite this

@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.}",

note = "Funding Information: Manuscript received July 14, 1992; revised September 27, 1994. This work was partially supported by the NSF Research Initiation Grant DDM-9009720 to S. Joshi. S. B. Joshi and R. A. Wysk are with the Dept. of Industrial and Management Systems Engineering, Pennsylvania State University, University Park, PA 16802 USA. E. G. Mettala is with the University of Texas-Arlington, Arlington, TX USA. J. S. Smith is with the Dept. of Industrial Engineering, Texas A&M University, College Station, TX 77843 USA. IEEE Log Number 9409730.",

year = "1995",

month = aug,

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",

}

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.

N1 - Funding Information: Manuscript received July 14, 1992; revised September 27, 1994. This work was partially supported by the NSF Research Initiation Grant DDM-9009720 to S. Joshi. S. B. Joshi and R. A. Wysk are with the Dept. of Industrial and Management Systems Engineering, Pennsylvania State University, University Park, PA 16802 USA. E. G. Mettala is with the University of Texas-Arlington, Arlington, TX USA. J. S. Smith is with the Dept. of Industrial Engineering, Texas A&M University, College Station, TX 77843 USA. IEEE Log Number 9409730.

PY - 1995/8

Y1 - 1995/8

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

AN - SCOPUS:0029354474

SN - 1042-296X

VL - 11

SP - 558

EP - 570

JO - IEEE Transactions on Robotics and Automation

JF - IEEE Transactions on Robotics and Automation

IS - 4

ER -

Formal Models for Control of Flexible Manufacturing Cells: Physical and System Model

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this