Automated synthesis and composition of taskblocks for control of manufacturing systems

Lawrence E. Holloway; Xiaoyi Guan; Ranganathan Sundaravadivelu; Jeff Ashley

doi:10.1109/3477.875446

Automated synthesis and composition of taskblocks for control of manufacturing systems

Lawrence E. Holloway
, Xiaoyi Guan
, Ranganathan Sundaravadivelu
, Jeff Ashley

Institute for Sustainable Manufacturing (ISM)

Producción científica: Article › revisión exhaustiva

43 Citas (Scopus)

Resumen

Automated control synthesis methods for discrete-event systems promise to reduce the time required to develop, debug, and modify control software. Such methods must be able to translate high-level control goals into detailed sequences of actuation and sensing signals. In this paper, we present such a technique. It relies on analysis of a system model, defined as a set of interacting components, each represented as a form of condition system Petri net. Control logic modules, called taskblocks, are synthesized from these individual models. These then interact hierarchically and sequentially to drive the system through specified control goals. The resulting controller is automatically converted to executable control code. The paper concludes with a discussion of a set of software tools developed to demonstrate the techniques on a small manufacturing system.

Idioma original	English
Páginas (desde-hasta)	696-712
Número de páginas	17
Publicación	IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Volumen	30
N.º	5
DOI	https://doi.org/10.1109/3477.875446
Estado	Published - oct 2000

Nota bibliográfica

Funding Information:
Manuscript received July 16, 1999; revised June 21, 2000. This work was supported in part by NSF Grant ECS-9807106, USARO Grant DAAH04-96-1-0399, Rockwell Science Center, and the Center for Manufacturing Systems at the University of Kentucky. This paper was recommended by Associate Editors M. A. Jafari and M. Zhou.

Financiación

Manuscript received July 16, 1999; revised June 21, 2000. This work was supported in part by NSF Grant ECS-9807106, USARO Grant DAAH04-96-1-0399, Rockwell Science Center, and the Center for Manufacturing Systems at the University of Kentucky. This paper was recommended by Associate Editors M. A. Jafari and M. Zhou.

Financiadores	Número del financiador
Center for Robotics and Manufacturing Systems
Rockwell Science Center
USARO	DAAH04-96-1-0399
U.S. Department of Energy Chinese Academy of Sciences Guangzhou Municipal Science and Technology Project Oak Ridge National Laboratory Extreme Science and Engineering Discovery Environment National Science Foundation National Energy Research Scientific Computing Center National Natural Science Foundation of China	ECS-9807106
U.S. Department of Energy Chinese Academy of Sciences Guangzhou Municipal Science and Technology Project Oak Ridge National Laboratory Extreme Science and Engineering Discovery Environment National Science Foundation National Energy Research Scientific Computing Center National Natural Science Foundation of China

ASJC Scopus subject areas

Control and Systems Engineering
Software
Information Systems
Human-Computer Interaction
Computer Science Applications
Electrical and Electronic Engineering

Acceder al documento

10.1109/3477.875446

Otros archivos y enlaces

Citar esto

@article{96b5c61b43f846b48b213160f9312b29,

title = "Automated synthesis and composition of taskblocks for control of manufacturing systems",

abstract = "Automated control synthesis methods for discrete-event systems promise to reduce the time required to develop, debug, and modify control software. Such methods must be able to translate high-level control goals into detailed sequences of actuation and sensing signals. In this paper, we present such a technique. It relies on analysis of a system model, defined as a set of interacting components, each represented as a form of condition system Petri net. Control logic modules, called taskblocks, are synthesized from these individual models. These then interact hierarchically and sequentially to drive the system through specified control goals. The resulting controller is automatically converted to executable control code. The paper concludes with a discussion of a set of software tools developed to demonstrate the techniques on a small manufacturing system.",

author = "Holloway, \{Lawrence E.\} and Xiaoyi Guan and Ranganathan Sundaravadivelu and Jeff Ashley",

note = "Funding Information: Manuscript received July 16, 1999; revised June 21, 2000. This work was supported in part by NSF Grant ECS-9807106, USARO Grant DAAH04-96-1-0399, Rockwell Science Center, and the Center for Manufacturing Systems at the University of Kentucky. This paper was recommended by Associate Editors M. A. Jafari and M. Zhou.",

year = "2000",

month = oct,

doi = "10.1109/3477.875446",

language = "English",

volume = "30",

pages = "696--712",

number = "5",

}

TY - JOUR

T1 - Automated synthesis and composition of taskblocks for control of manufacturing systems

AU - Holloway, Lawrence E.

AU - Guan, Xiaoyi

AU - Sundaravadivelu, Ranganathan

AU - Ashley, Jeff

N1 - Funding Information: Manuscript received July 16, 1999; revised June 21, 2000. This work was supported in part by NSF Grant ECS-9807106, USARO Grant DAAH04-96-1-0399, Rockwell Science Center, and the Center for Manufacturing Systems at the University of Kentucky. This paper was recommended by Associate Editors M. A. Jafari and M. Zhou.

PY - 2000/10

Y1 - 2000/10

N2 - Automated control synthesis methods for discrete-event systems promise to reduce the time required to develop, debug, and modify control software. Such methods must be able to translate high-level control goals into detailed sequences of actuation and sensing signals. In this paper, we present such a technique. It relies on analysis of a system model, defined as a set of interacting components, each represented as a form of condition system Petri net. Control logic modules, called taskblocks, are synthesized from these individual models. These then interact hierarchically and sequentially to drive the system through specified control goals. The resulting controller is automatically converted to executable control code. The paper concludes with a discussion of a set of software tools developed to demonstrate the techniques on a small manufacturing system.

AB - Automated control synthesis methods for discrete-event systems promise to reduce the time required to develop, debug, and modify control software. Such methods must be able to translate high-level control goals into detailed sequences of actuation and sensing signals. In this paper, we present such a technique. It relies on analysis of a system model, defined as a set of interacting components, each represented as a form of condition system Petri net. Control logic modules, called taskblocks, are synthesized from these individual models. These then interact hierarchically and sequentially to drive the system through specified control goals. The resulting controller is automatically converted to executable control code. The paper concludes with a discussion of a set of software tools developed to demonstrate the techniques on a small manufacturing system.

UR - https://www.scopus.com/pages/publications/0034294259

UR - https://www.scopus.com/pages/publications/0034294259#tab=citedBy

U2 - 10.1109/3477.875446

DO - 10.1109/3477.875446

M3 - Article

C2 - 18252403

AN - SCOPUS:0034294259

SN - 1083-4419

VL - 30

SP - 696

EP - 712

JO - IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

JF - IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

IS - 5

ER -

Automated synthesis and composition of taskblocks for control of manufacturing systems

Resumen

Nota bibliográfica

Financiación

ASJC Scopus subject areas

Acceder al documento

Otros archivos y enlaces

Huella

Citar esto