Dynamic feedback control of a class of real-time discrete event systems

The author considers the dynamic feedback control problem of a class of real-time discrete event systems with deterministic state sojourn times. After introducing the model and the concept of the real-time controllability of a certain language, it is shown that, for a given system G and a given language K, there is a complete supervisor S such that L(S/G)=K if and only if K is real-time controllable. A computational procedure is given to compute the supremal real-time controllable sublanguage of a given language, and its convergence is proven in the case when G is a finite state