DocumentCode
487121
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
fYear
1987
fDate
10-12 June 1987
Firstpage
1721
Lastpage
1724
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;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 1987
Conference_Location
Minneapolis, MN, USA
Type
conf
Filename
4789592
Link To Document