DocumentCode
2099627
Title
Supervisory control of real time discrete event processes using D-automata
Author
Lingzhong, G. ; Yanping, L. ; Xinhe, X.
Author_Institution
Dept. of Autom. Control, Northeastern Univ., Shenyang, China
fYear
1993
fDate
15-17 Dec 1993
Firstpage
237
Abstract
The concept of D-automata is introduced in this paper to model a class of real time discrete event processes which are discrete, asynchronous and (possible) nondeterministic. The logical and temporal behaviors of the processes are described by D-language. Then a kind of supervisor is constructed for which the real time closed-loop controlled system satisfies a given D-language requirement. Some problem of supervisor synthesis is also studied
Keywords
automata theory; discrete time systems; formal languages; hierarchical systems; D-automata; D-language; discrete asynchronous nondeterministic processes; logical behavior; real time discrete event processes; supervisory control synthesis; temporal behavior; Algebra; Control systems; Supervisory control; Tin; Utility programs;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 1993., Proceedings of the 32nd IEEE Conference on
Conference_Location
San Antonio, TX
Print_ISBN
0-7803-1298-8
Type
conf
DOI
10.1109/CDC.1993.325156
Filename
325156
Link To Document