A formal model for incorporating shop floor controls into plant information systems

Guanghua Qiu, David Russell

Research output: Contribution to journalArticle

15 Citations (Scopus)

Abstract

The high cost and long development cycle of shop floor controls (SFC) have prevented many small, medium, and even large-size manufacturers from deploying plant-wide, real-time information systems. In order to stay competitive in a make-to-order business model, such systems are essential. In addressing the obstacles to such systems, this article proposes a formal method that ensures that a built SFC can be applicable to a plant-wide, real- time information system. By taking advantage of both the linear growth of the complexity function in a structured adaptive supervisory control model, and the real-time responses of a virtual production line based e-Manufacturing system, a formal method for creating an integration-ready structured adaptive supervisory control model (iSASC) for a discrete manufacturing system is introduced. An iSASC-based SFC prototype system was successfully tested and evaluated in an industrial site.

Original languageEnglish (US)
Pages (from-to)47-57
Number of pages11
JournalInternational Journal of Advanced Manufacturing Technology
Volume23
Issue number1-2
DOIs
StatePublished - Feb 17 2004

Fingerprint

Information systems
Formal methods
Control systems
Costs
Industry

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Software
  • Mechanical Engineering
  • Computer Science Applications
  • Industrial and Manufacturing Engineering

Cite this

@article{341e98d7f3f14d0b97393d8a3e8e25c8,
title = "A formal model for incorporating shop floor controls into plant information systems",
abstract = "The high cost and long development cycle of shop floor controls (SFC) have prevented many small, medium, and even large-size manufacturers from deploying plant-wide, real-time information systems. In order to stay competitive in a make-to-order business model, such systems are essential. In addressing the obstacles to such systems, this article proposes a formal method that ensures that a built SFC can be applicable to a plant-wide, real- time information system. By taking advantage of both the linear growth of the complexity function in a structured adaptive supervisory control model, and the real-time responses of a virtual production line based e-Manufacturing system, a formal method for creating an integration-ready structured adaptive supervisory control model (iSASC) for a discrete manufacturing system is introduced. An iSASC-based SFC prototype system was successfully tested and evaluated in an industrial site.",
author = "Guanghua Qiu and David Russell",
year = "2004",
month = "2",
day = "17",
doi = "10.1007/s00170-002-1461-5",
language = "English (US)",
volume = "23",
pages = "47--57",
journal = "International Journal of Advanced Manufacturing Technology",
issn = "0268-3768",
publisher = "Springer London",
number = "1-2",

}

A formal model for incorporating shop floor controls into plant information systems. / Qiu, Guanghua; Russell, David.

In: International Journal of Advanced Manufacturing Technology, Vol. 23, No. 1-2, 17.02.2004, p. 47-57.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A formal model for incorporating shop floor controls into plant information systems

AU - Qiu, Guanghua

AU - Russell, David

PY - 2004/2/17

Y1 - 2004/2/17

N2 - The high cost and long development cycle of shop floor controls (SFC) have prevented many small, medium, and even large-size manufacturers from deploying plant-wide, real-time information systems. In order to stay competitive in a make-to-order business model, such systems are essential. In addressing the obstacles to such systems, this article proposes a formal method that ensures that a built SFC can be applicable to a plant-wide, real- time information system. By taking advantage of both the linear growth of the complexity function in a structured adaptive supervisory control model, and the real-time responses of a virtual production line based e-Manufacturing system, a formal method for creating an integration-ready structured adaptive supervisory control model (iSASC) for a discrete manufacturing system is introduced. An iSASC-based SFC prototype system was successfully tested and evaluated in an industrial site.

AB - The high cost and long development cycle of shop floor controls (SFC) have prevented many small, medium, and even large-size manufacturers from deploying plant-wide, real-time information systems. In order to stay competitive in a make-to-order business model, such systems are essential. In addressing the obstacles to such systems, this article proposes a formal method that ensures that a built SFC can be applicable to a plant-wide, real- time information system. By taking advantage of both the linear growth of the complexity function in a structured adaptive supervisory control model, and the real-time responses of a virtual production line based e-Manufacturing system, a formal method for creating an integration-ready structured adaptive supervisory control model (iSASC) for a discrete manufacturing system is introduced. An iSASC-based SFC prototype system was successfully tested and evaluated in an industrial site.

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

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

U2 - 10.1007/s00170-002-1461-5

DO - 10.1007/s00170-002-1461-5

M3 - Article

VL - 23

SP - 47

EP - 57

JO - International Journal of Advanced Manufacturing Technology

JF - International Journal of Advanced Manufacturing Technology

SN - 0268-3768

IS - 1-2

ER -