Automated synthesis and composition of taskblocks for control of manufacturing systems
- 1 January 2000
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)
- Vol. 30 (5) , 696-712
- https://doi.org/10.1109/3477.875446
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.Keywords
This publication has 10 references indexed in Scilit:
- Verification and validation of control algorithms by coupling of interpreted Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Task blocks for synthesis of controllers for condition systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Synthesis of supervisory controllers based on a novel representation of condition/event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Discrete-event dynamic systemsIEEE Transactions on Control Systems Technology, 1999
- A Comparative Study of Synthesis Methods for Discrete Event ControllersFormal Methods in System Design, 1999
- The hierarchical control of ST-finite-state machinesSystems & Control Letters, 1997
- Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State ObservationEuropean Journal of Control, 1997
- A Survey of Petri Net Methods for Controlled Discrete Event SystemsDiscrete Event Dynamic Systems, 1997
- On condition/event systems with discrete state realizationsDiscrete Event Dynamic Systems, 1991
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987