Introduction to Discrete Event Systems, 2008. ,
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
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
Control of infinite symbolic transition sytems under partial observation, 2009. ,
Results of npcompleteness for state-feedback controllers, Technical, vol.121, 2009. ,
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
The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989. ,
DOI : 10.1109/5.21072
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
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
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
Lecture notes on control of discrete-event systems, 2005. ,
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