Supervisory control of real time discrete event processes using D-automata
G. Lingzhong, Yanping Li, XU Xin-he · 2002
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.>