On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation

R. Cieslak, C. Desclaux, A. Fawaz, and P. Varaiya, Supervisory control of discrete-event processes with partial observations,IEEE Trans. Automat. Control,33 (1988), 249–260.

S. Eilenberg,Automata, Languages, and Machines, Academic Press, New York, 1974.

J.E. Hopcroft and J.D. Ullman,Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, MA, 1979.

F. Lin and W. M. Wonham, On Observability of Discrete-Event Systems, Systems Control Group Report No. 8701, Department of Electrical Engineering University of Toronto, 1987.

P.J. Ramadge and W.M. Wonham, Supervisory control of a class of discrete-event processes,SIAM J. Control Optim.,25 (1987), 206–230.

R. Smedinga, Control of Discrete Events, Preprint, University of Groningen, Groningen, 1987.

J.N. Tsitsiklis, On the control of discrete-event dynamical systems,Proceedings of the 26th IEEE Conference on Decision and Control, Los Angeles, 1987, pp. 419–422.

W.M. Wonham and P.J. Ramadge, On the supremal controllable sublanguage of a given language,SIAM J. Control Optim.,25 (1987), 637–659.

W.M. Wonham and P.J. Ramadge, Modular supervisory control of discrete-event systems,Math. Control Signals Systems,1 (1988), 13–30.