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
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;
Conference_Titel :
Decision and Control, 1993., Proceedings of the 32nd IEEE Conference on
Conference_Location :
San Antonio, TX
Print_ISBN :
0-7803-1298-8
DOI :
10.1109/CDC.1993.325156
