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

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

N. Berthier and H. Marchand, Discrete Controller Synthesis for Infinite State Systems with ReaX, 12th Int. Workshop on Discrete Event Systems, ser. WODES '14. IFAC, 2014.
DOI : 10.3182/20140514-3-FR-4046.00099

URL : https://hal.archives-ouvertes.fr/hal-00974553

F. Cassez, A. David, E. Fleury, K. Larsen, and D. Lime, Efficient On-the-Fly Algorithms for the Analysis of Timed Games, Conf. on Concurrency Theory (CONCUR), ser. LNCS, pp.66-80, 2005.
DOI : 10.1007/11539452_9

URL : https://hal.archives-ouvertes.fr/hal-00350475

Y. Li and W. Wohnam, Control of vector discreteevent systems-part ii : controller synthesis, IEEE Trans. Automatic Control, vol.39, issue.3, pp.512-531, 1994.

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. Holloway, B. Krogh, and A. Giua, A survey of Petri net methods for controlled discrete event systems, Discrete Event Dynamic Systems: Theory and Application, pp.151-190, 1997.

T. , L. Gall, B. Jeannet, and H. Marchand, Supervisory control of infinite symbolic systems using abstract interpretation, Proceedings of the 44th IEEE Conference on Decision and Control, pp.31-35, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00483925

G. Kalyon, T. L. Gall, H. Marchand, and T. Massart, Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation, Discrete Event Dynamic Systems : Theory and Applications, pp.121-161, 2011.
DOI : 10.1007/s10626-011-0101-3

URL : https://hal.archives-ouvertes.fr/inria-00586169

H. Marchand and M. Samaan, Incremental design of a power transformer station controller using a controller synthesis methodology, IEEE Transactions on Software Engineering, vol.26, issue.8, pp.729-741, 2000.
DOI : 10.1109/32.879811

URL : https://hal.archives-ouvertes.fr/hal-00546156

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of discrete-event controllers based on the signal environment, Discrete Event Dynamic System: Theory and Applications, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

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/hal-01108790

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

P. Cousot and R. Cousot, Static determination of dynamic properties of programs, Proceedings of the Second International Symposium on Programming. Dunod, pp.106-130, 1976.

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

P. Cousot and R. Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, pp.269-282, 1979.
DOI : 10.1145/567752.567778

R. Giacobazzi and F. Ranzato, Optimal domains for disjunctive abstract interpretation, Science of Computer Programming, vol.32, issue.1-3, pp.177-210, 1998.
DOI : 10.1016/S0167-6423(97)00034-8

G. Filé and F. Ranzato, The powerset operator on abstract interpretations, Theoretical Computer Science, vol.222, issue.1-2, pp.77-111, 1999.
DOI : 10.1016/S0304-3975(98)00007-3

R. Bagnara, P. M. Hill, and E. Zaffanella, Widening operators for powerset domains, International Journal on Software Tools for Technology Transfer, vol.22, issue.3, pp.449-466, 2006.
DOI : 10.1007/s10009-005-0215-8

J. Billon, Perfect normal forms for discrete programs, Bull, Tech. Rep, 1987.

B. Jeannet and A. Miné, Apron: A Library of Numerical Abstract Domains for Static Analysis, Computer Aided Verification, pp.661-667, 2009.
DOI : 10.1007/978-3-642-02658-4_52

URL : https://hal.archives-ouvertes.fr/hal-00786354

P. Schrammel and B. Jeannet, Applying abstract acceleration to (co-)reachability analysis of reactive programs, Journal of Symbolic Computation, vol.47, issue.12, pp.1512-1532, 2012.
DOI : 10.1016/j.jsc.2011.12.051

URL : https://hal.archives-ouvertes.fr/hal-00753412

S. Sankaranarayanan, F. Ivan?i´ivan?i´c, I. Shlyakhter, and A. Gupta, Static analysis in disjunctive numerical domains, " in Static Analysis, pp.3-17, 2006.

H. Ravanbakhsh and S. Sankaranarayanan, Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation, Proceedings of the 14th International Conference on Embedded Software, EMSOFT '14, pp.1-10, 2014.
DOI : 10.1145/2656045.2656060