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 journalArticlepeer-review

33 Scopus citations


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
Issue number4
StatePublished - Aug 1995

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering


Dive into the research topics of 'Formal Models for Control of Flexible Manufacturing Cells: Physical and System Model'. Together they form a unique fingerprint.

Cite this