K. Akesson, H. Flordal, and M. Fabian, EXPLOITING MODULARITY FOR SYNTHESIS AND VERIFICATION OF SUPERVISORS, Proc. of the IFAC, 2002.
DOI : 10.3182/20020721-6-ES-1901.00517

B. Brandin, R. Malik, and P. Dietrich, Incremental system verification and synthesis of minimally restrictive behaviours, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334), pp.4056-4061, 2000.
DOI : 10.1109/ACC.2000.876984

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

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

P. Cousot and N. Halbwachs, Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, pp.84-96, 1978.
DOI : 10.1145/512760.512770

. Fixpoint, Fixpoint: an OCaml library implementing a generic fix-point engine, 2009.

B. Gaudin and P. Deussen, Supervisory Control on Concurrent Discrete Event Systems with Variables, 2007 American Control Conference, p.7, 2007.
DOI : 10.1109/ACC.2007.4282808

B. Gaudin and H. Marchand, EFFICIENT COMPUTATION OF SUPERVISORS FOR LOOSELY SYNCHRONOUS DISCRETE EVENT SYSTEMS: A STATE-BASED APPROACH, 6th IFAC World Congress, 2005.
DOI : 10.3182/20050703-6-CZ-1902.00309

B. Gaudin and H. Marchand, An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach, Discrete Event Dynamic Systems, vol.1, issue.5, pp.179-209, 2007.
DOI : 10.1007/s10626-006-0007-7
URL : https://hal.archives-ouvertes.fr/inria-00423795

N. Halbwachs, Y. Proy, and P. Roumanoff, Verification of real-time systems using linear relation analysis, Formal Methods in System Design, vol.11, issue.2, pp.157-185, 1997.
DOI : 10.1023/A:1008678014487

B. Jeannet, Dynamic partitioning in linear relation analysis. Application to the verification of reactive systems, Formal Methods in System Design, vol.23, issue.1, pp.5-37, 2003.
DOI : 10.1023/A:1024480913162

B. Jeannet, T. Jéron, V. Rusu, and E. Zinovieva, Symbolic Test Selection Based on Approximate Analysis, TACAS'05, pp.349-364, 2005.
DOI : 10.1007/978-3-540-31980-1_23
URL : https://hal.archives-ouvertes.fr/inria-00564617

G. Kalyon, L. Gall, T. Marchand, H. Massart, and T. , Control of infinite symbolic transition systems under partial observation, European Control Conference. Hungary, pp.1456-1462, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00420429

R. Kumar and V. Garg, On Computation of State Avoidance Control for Infinite State Systems in Assignment Program Framework, IEEE Transactions on Automation Science and Engineering, vol.2, issue.1, pp.87-91, 2005.
DOI : 10.1109/TASE.2004.829432

R. Kumar, V. Garg, and S. 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

L. Gall, T. Jeannet, B. Marchand, and H. , Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation, Proceedings of the 44th IEEE Conference on Decision and Control, pp.31-35, 2005.
DOI : 10.1109/CDC.2005.1582126
URL : https://hal.archives-ouvertes.fr/inria-00483925

A. Miné, The octagon abstract domain, Proc. of the Workshop on Analysis, Slicing, and Transformation (AST'01, pp.310-319, 2001.

. Ocaml, The programming language Objective CAML, 2009.

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

K. Rudie and W. Wonham, Think globally, act locally: decentralized supervisory control, IEEE Transactions on Automatic Control, vol.37, issue.11, pp.1692-1708, 1992.
DOI : 10.1109/9.173140

K. Rudie and W. M. Wonham, An automata-theoretic approach to automatic program verification, Proceedings of the IEEE Conference on Decision and Control (CDC), pp.3770-3777, 1992.

S. Takai, On the language generated under fully decentralized supervision, IEEE Transactions on Automatic Control, vol.43, issue.9, pp.1253-1256, 1998.
DOI : 10.1109/9.718609

S. Takai and S. Kodama, M -controllable subpredicates arising in state feed back control of discrete event systems, International Journal of Control, vol.67, issue.4, pp.553-566, 1997.
DOI : 10.1080/002071797224072

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

S. Takai, S. Kodama, and T. Ushio, Decentralized state feedback control of discrete event systems, Systems & Control Letters, vol.22, issue.5, pp.369-375, 1994.
DOI : 10.1016/0167-6911(94)90034-5

A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, pp.285-309, 1955.
DOI : 10.2140/pjm.1955.5.285
URL : http://projecteuclid.org/download/pdf_1/euclid.pjm/1103044538

Y. Willner and M. Heymann, Supervisory control of concurrent discrete-event systems, International Journal of Control, vol.54, issue.5, pp.1143-1169, 1991.
DOI : 10.1137/0325036

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

T. Yoo and S. Lafortune, A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems, Discrete Event Dynamic Systems, vol.12, pp.335-377, 2002.
DOI : 10.1007/978-1-4615-4493-7_11