S. E. Bourdon, M. Lawford, and W. M. Wonham, Robust nonblocking supervisory control of discrete event systems, In IEEE Trans. on Automatic Control, vol.50, pp.12-2015, 2005.

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

M. Fabian and R. Kumar, Mutually non-blocking supervisory control of discrete event systems, Proceedings of the 36th IEEE Conference on Decision and Control, pp.2970-2975, 1997.
DOI : 10.1109/CDC.1997.657903

M. Fabian and R. Kumar, Mutually non-blocking supervisory control of discrete event systems, Proceedings of the 36th IEEE Conference on Decision and Control, pp.1863-1869, 2000.
DOI : 10.1109/CDC.1997.657903

G. Faraut, L. Pietrac, and E. Niel, Formal Approach to Multimodal Control Design: Application to Mode Switching, IEEE Transactions on Industrial Informatics, vol.5, issue.4, pp.443-453, 2009.
DOI : 10.1109/TII.2009.2028135
URL : https://hal.archives-ouvertes.fr/hal-00471885

J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, 1979.

R. Kumar, S. Takai, M. Fabian, and T. Ushio, Maximally Permissive Mutually and Globally Nonblocking Supervision with Application to Switching Control In Automatica, pp.41-1299, 2005.

D. Liberzon, Switching in Systems and Control, ser. Systems and Control: Foundations and Applications, 2003.

R. Malik and R. Leduc, Generalised nonblocking, 2008 9th International Workshop on Discrete Event Systems, pp.340-345, 2008.
DOI : 10.1109/WODES.2008.4605969

P. J. Ramadge and W. M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

P. S. Roop, A. Girault, R. Sinha, and G. Goessler, Specification Enforcing Refinement for Convertibility Verification, 2009 Ninth International Conference on Application of Concurrency to System Design, pp.148-157, 2009.
DOI : 10.1109/ACSD.2009.25
URL : https://hal.archives-ouvertes.fr/hal-00753172

T. J. Van-den-boom and B. De-schutter, Modelling and control of discrete event systems using switching max-plus-linear systems, Control Engineering Practice, vol.14, issue.10, pp.1199-1211, 2006.
DOI : 10.1016/j.conengprac.2006.02.006