Automated synthesis and composition of taskblocks for control of manufacturing systems

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...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on cybernetics 2000-10, Vol.30 (5), p.696-712
Main Authors: Holloway, L.E., Xiaoyi Guan, Sundaravadivelu, R., Ashley, J.
Format: Article
Language:English
Subjects:
Automated
Automatic control
Computer programs
Control system synthesis
Control systems
Cybernetics
Detection
Discrete event systems
Logic
Manufacturing systems
Mathematical models
Petri nets
Signal synthesis
Software
Software debugging
Software tools
Synthesis
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1083-4419
2168-2267
1941-0492
2168-2275
DOI:10.1109/3477.875446