C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2008.

P. Gohari and W. M. Wonham, On the complexity of supervisory control design in the RW framework, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.30, issue.5, pp.643-652, 2000.
DOI : 10.1109/3477.875441

R. C. Hill, D. M. Tilbury, and S. Lafortune, Covering-based supervisory control of partially observed discrete event systems for state avoidance, 2008 9th International Workshop on Discrete Event Systems, 2008.
DOI : 10.1109/WODES.2008.4605914

G. Kalyon, T. L. Gall, H. Marchand, and T. Massart, Control of infinite symbolic transition sytems under partial observation, 2009.

G. Kalyon, T. L. Gall, H. Marchand, and T. Massart, Results of npcompleteness for state-feedback controllers, Technical, vol.121, 2009.

R. Kumar, V. Garg, and S. I. Marcus, Predicates and predicate transformers for supervisory control of discrete event dynamical systems, IEEE Transactions on Automatic Control, vol.38, issue.2, pp.232-247, 1993.
DOI : 10.1109/9.250512

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

K. Rudie and J. C. Willems, The computational complexity of decentralized discrete-event control problems, IEEE Transactions on Automatic Control, vol.40, issue.7, pp.1313-1319, 1995.
DOI : 10.1109/9.400469

S. Takai and S. Kodama, Characterization of all M-controllable subpredicates of a given predicate, International Journal of Control, vol.70, issue.4, pp.541-549, 1998.
DOI : 10.1080/002071798222190

J. N. Tsitsiklis, On the control of discrete-event dynamical systems, Mathematics of Control, Signals, and Systems, vol.25, issue.2, pp.95-107, 1989.
DOI : 10.1007/BF02551817

W. M. Wonham, Lecture notes on control of discrete-event systems, 2005.

W. M. Wonham and P. J. Ramadge, Modular supervisory control of discrete-event systems, Mathematics of Control, Signals, and Systems, vol.25, issue.1, pp.13-30, 1988.
DOI : 10.1007/BF02551233