Control of large discrete event systems: constructive algorithms

Author

Tadmor, Gilead ; Maimon, Oded

Author_Institution

Dept. of Math., Texas Univ., Dallas, TX, USA

Volume

34

Issue

11

fYear

1989

fDate

11/1/1989 12:00:00 AM

Firstpage

1164

Lastpage

1168

Abstract

An automata-based theory has been developed by W.M. Wonham and P.J. Ramadge (SMIA J. Control Optimiz. vol.25, p.206-30, 637-59, 1987) and their associates. Its practical implementation in large real-life systems requires automatic programming schemes, which yield supervisory control programs, and models of the controlled system´s behavior (for the purpose of performance analysis). The available data for these constructions would normally consist of a set of local structural models and local operational requirements. In the present study, the authors illuminate the relationship between local and global models and outline some of the basic elements of such schemes based on integration of local data

Keywords

automata theory; automatic programming; discrete time systems; large-scale systems; programming theory; automatic programming; automatic theory; constructive algorithms; discrete event systems; global models; large scale systems; local structural models; supervisory control; Assembly; Automata; Automatic control; Automatic programming; Control system synthesis; Control systems; Discrete event systems; Formal languages; Manufacturing automation; Writing;

fLanguage

English

Journal_Title

Automatic Control, IEEE Transactions on

Publisher

ieee

ISSN

0018-9286

Type

jour

DOI

10.1109/9.40744

Filename

40744