Y. Arnaud, J. Cury, J. Loiseau, and C. Martinez, Pilotage sûr et optimal d'une flotte de véhicules autoguidés A multi-agent based conflict-free routing approach of bi-directional automated guided vehicles, 2006.

K. Cai and W. Wonham, Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems, AIP Conference Proceedings, pp.605-618, 2009.
DOI : 10.1063/1.3106490

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

E. Clarke, E. Emerson, and A. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986.
DOI : 10.1145/5397.5399

H. Flordal, R. Malik, M. Fabian, and K. Akesson, Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence, Discrete Event Dynamic Systems, pp.475-504, 2007.
DOI : 10.1007/s10626-007-0018-z

J. Girault, J. Loiseau, and O. Roux, Synth??se en ligne de superviseur compositionnel pour ???otte de robots mobiles, Journal Europ??en des Syst??mes Automatis??s, vol.47, issue.1-3, pp.1-3, 2013.
DOI : 10.3166/jesa.47.195-210

R. Hill and D. Tilbury, Modular supervisory control of discrete-event systems with abstraction and incremental hierarchical construction, Discrete Event Systems, pp.399-406382507, 2006.

J. Komenda, J. Van-schuppen, B. Gaudin, and H. Marchand, Supervisory control of modular systems with global specification languages, Automatica, vol.44, issue.4, pp.1127-1134, 2008.
DOI : 10.1016/j.automatica.2007.09.004
URL : https://hal.archives-ouvertes.fr/inria-00422859

B. Krogh and L. Holloway, Synthesis of feedback control logic for discrete manufacturing systems, Automatica, vol.27, issue.4, pp.641-651, 1991.
DOI : 10.1016/0005-1098(91)90055-7

R. Malik and H. Flordal, Yet another approach to compositional synthesis of discrete event systems, 2008 9th International Workshop on Discrete Event Systems, pp.16-214605916, 2008.
DOI : 10.1109/WODES.2008.4605916

S. Maza, S. Mohajerani, R. Malik, S. Ware, and M. Fabian, Analyse du comportement d'un système de transport par chariot bidirectionnels en vue de sa commande Compositional synthesis of discrete event systems using synthesis abstraction, Control and Decision Conference (CCDC), 2011 Chinese, pp.1549-15545968439, 2003.

M. Queiroz and J. Cury, Modular Supervisory Control of Large Scale Discrete Event Systems, Proc. WODES'00, Kluwer Academic, pp.103-110, 2000.
DOI : 10.1007/978-1-4615-4493-7_10

P. Ramadge and W. 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. Ramadge and W. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

S. Reveliotis, Conflict resolution in AGV systems, IIE Transactions, vol.22, issue.7, pp.200-200, 2000.
DOI : 10.1002/9780470316887

W. Wonham and P. Ramadge, On the supremal controllable sublanguage of a given language, Decision and Control The 23rd IEEE Conference on, pp.1073-1080, 1984.

W. Wonham and P. 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