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.2015-2021, 2005.

M. Canu and N. Rakoto-ravalontsalama, From mutually non-blocking to switched non-blocking DES. Presented at MSR'13 Workshop (Poster Session), 2013.
URL : https://hal.archives-ouvertes.fr/hal-00876645

M. Canu and N. Rakoto-ravalontsalama, On Switchable Languages of Discrete-Event Systems with Weighted Automata, Technical Report Mines Nantes, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01980559

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, In Automatica, vol.36, issue.12, pp.1863-1869, 2000.

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

G. Faraut, L. Pietrac, and E. Niel, Process Tracking by Equivalent States in Modal Supervisory Control, Proc. of IEEE ETFA, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00636628

J. Girault, J. J. Loiseau, and O. H. Roux, Synthese en ligne de superviseur compositionnel pour une flotte de robots mobiles, MSR'13, vol.47, pp.195-210, 2013.

J. Girault, J. J. Loiseau, and O. H. Roux, On-line optimal compositional controller synthesis for AGV by unfolding, Proc. of DCDS 2015, IFACPapersOnLine, pp.167-173, 2015.

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, vol.41, issue.8, pp.1299-1312, 2005.

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

R. Malik and R. Leduc, Generalised nonblocking"', Proc. 9th Int. Workshop on Discrete Event Systems, pp.340-345, 2008.

N. Rakoto-ravalontsalama, Supervisory control of switched discrete-event systems, Proc. of 17th Symp. on MTNS, pp.2213-2217, 2006.

P. J. Ramadge and W. M. Wonham, Supervisory control of a class of discrete-event processes, In SIAM J. Control and Optimization, vol.25, pp.206-230, 1987.

P. S. Roop, A. Girault, R. Sinha, G. Goessler, and . Mtns, , 2018.

H. and H. Kong, Specification Enforcing Refinement for Convertibility Verification, Proc. of ACSD, pp.148-157, 2009.

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, pp.1199-1211, 2006.

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

, MTNS 2018, 2018.

H. and H. Kong,