Supervisory control using variable lookahead policies

S. L. Chung, S. Lafortune, and F. Lin. Limited lookahead policies in supervisory control of discrete event systems.IEEE Trans. Automatic Control, 37(12):1921?1935, December 1992.

S. L. Chung, S. Lafortune, and F. Lin. Recursive computation of limited lookahead supervisory controls for discrete event systems.Journal of Discrete Event Dynamic Systems: Theory and Applications, 3(1):71?100, March 1993.

S. L. Chung, S. Lafortune, and F. Lin. Supervisory control using variable lookahead policies. InProc. 1993 American Control Conf., pp. 1203?1208, San Francisco, CA, June 1993.

S. L. Chung, S. Lafortune, and F. Lin. Supervisory control with variable lookahead policies: Illustrative example. In S. Balemi, P. Kozák, and R. Smedinga, editors,Discrete Event Systems: Modeling and Control-Proceedings of a Joint Workshop on Discrete Event Systems, pp. 207?214. Birkhäuser Basel Verlag, 1993.

C. A. R. Hoare.Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, Englewood Cliffs, NJ, 1985.

K. M. Inan and P. P. Varaiya. Algebras of discrete event models.Proc. IEEE. 77(1):24?38, January 1989.

F. Lin and W. M. Wonham. On observability of discrete-event systems.Information Sciences, 44:173?198, 1988.

T. Murata. Petri nets: Properties, analysis, and applications.Proc. IEEE, 77(4):541?580, April 1989.

J. L. Peterson,Petri Net Theory and The Modelling of Systems. Prentice-Hall, 1981.

P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes.SIAM J. Control and Optimization, 25(1):206?230, January 1987.

P. J. Ramadge and W. M. Wonham. The control of discrete event systems.Proc. IEEE 77(1):81?98, January 1989.

W. M. Wonham and P. J. Ramadge. On the supremal controllable sublanguage of a given language.SIAM J. Control and Optimization, 25(3):637?659, May 1987.