Title :
From System Constraints to Finite State Machine Models in Discrete Event Systems
Author :
Tadmor, Gilead ; Maimon, Oded
Author_Institution :
MIT, Laboratory for Information and Decision Systems, Cambridge, MA 02139
Abstract :
An automatic mechanism is developed, by which temporal constraints are interpreted in a finite state machine framework, in discrete event systems. Automatic generation of control programs, hence computer interpretation of operational rules, is a crucial step towards successful implementation of feedback supervisors, and system performance analysis. A (simplified) real-life flexible manufacturing system example illustrates the discussion.
Keywords :
Assembly; Automata; Computer industry; Discrete event systems; Electrical equipment industry; Flexible manufacturing systems; Laboratories; Logic; Marine vehicles; Performance analysis;
Conference_Titel :
American Control Conference, 1987
Conference_Location :
Minneapolis, MN, USA
