S. Balemi, G. Hoffmann, H. Wong-toi, and G. Franklin, Supervisory control of a rapid thermal multiprocessor, IEEE Transactions on Automatic Control, vol.38, issue.7, pp.1040-1059, 1993.
DOI : 10.1109/9.231459

F. Bourdoncle, E. P. Brandt, R. Garg, V. Kumar, R. Lin et al., Sémantiques des langages impératifs d'ordre supérieur et interprétation abstraite Formulas for calculating supremal and normal sublanguages, Systems and Control Letters, vol.15, issue.8, pp.111-117, 1990.

R. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.45677-691, 1986.
DOI : 10.1109/TC.1986.1676819

C. Cassandras, S. Lafortune, K. Chatterjee, L. Doyen, T. Henzinger et al., Introduction to Discrete Event Systems Algorithms for omega-regular games of incomplete information, Logical Methods in Computer Science, vol.33, p.4, 2007.

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

D. Wulf, M. Doyen, L. Raskin, and J. , A Lattice Theory for Solving Games of Imperfect Information, pp.153-168, 2006.
DOI : 10.1007/11730637_14

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

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

T. Henzinger, R. Majumdar, and J. Raskin, A classification of symbolic transition systems, ACM Transactions on Computational Logic, vol.6, issue.1, pp.1-32, 2005.
DOI : 10.1145/1042038.1042039

J. Hespanha, A. Tiwari, R. Hill, D. Tilbury, and S. Lafortune, Hybrid Systems: Computation and Control, 9th International Workshop Covering-based supervisory control of partially observed discrete event systems for state avoidance, 9th International Workshop on Discrete Event Systems, pp.2-8, 2006.

B. Jeannet and A. Miné, Apron: A Library of Numerical Abstract Domains for Static Analysis, Lecture Notes in Computer Science, vol.5643, pp.661-667, 2009.
DOI : 10.1007/978-3-642-02658-4_52
URL : https://hal.archives-ouvertes.fr/hal-00786354

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, T. Lg, H. Marchand, and T. Massart, Control of infinite symbolic transition systems under partial observation, European Control Conference, 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, M. S. Kupferman, O. Madhusudan, P. Thiagarajan et al., Predicates and predicate transformers for supervisory control of discrete event dynamical systems, Proc. 11th Int. Conf. on Concurrency Theory, 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.30-35, 2005.
DOI : 10.1109/CDC.2005.1582126
URL : https://hal.archives-ouvertes.fr/inria-00483925

F. Lin and W. Wonham, On observability of discrete-event systems, Information Sciences, vol.44, issue.3, pp.173-198, 1988.
DOI : 10.1016/0020-0255(88)90001-1

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

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

S. Miremadi, K. Akesson, M. Fabian, A. Vahidi, and B. Lennartson, Solving two supervisory control benchmark problems using Supremica, 2008 9th International Workshop on Discrete Event Systems, pp.131-136, 2008.
DOI : 10.1109/WODES.2008.4605934

S. Miremadi, K. Akesson, and B. Lennartson, Extraction and representation of a supervisor using guards in extended finite automata, 2008 9th International Workshop on Discrete Event Systems, pp.193-199, 2008.
DOI : 10.1109/WODES.2008.4605944

A. Pnueli and R. Rosner, On the synthesis of an asynchronous reactive module, Lecture Notes in Computer Science, vol.372, pp.652-671, 1989.
DOI : 10.1007/BFb0035790

P. Ramadge and W. Wonham, Modular Feedback Logic for Discrete Event Systems, SIAM Journal on Control and Optimization, vol.25, issue.5, pp.1202-1218, 1987.
DOI : 10.1137/0325066

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

J. Reif, The complexity of two-player games of incomplete information, Journal of Computer and System Sciences, vol.29, issue.2, pp.274-301, 1984.
DOI : 10.1016/0022-0000(84)90034-5

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 and T. Ushio, Effective computation of an Lm(G)-closed, controllable, and observable sublanguage arising in supervisory control, Systems & Control Letters, vol.49, issue.3, pp.191-200, 2003.
DOI : 10.1016/S0167-6911(02)00322-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

J. Thistle and H. Lamouchi, Effective Control Synthesis for Partially Observed Discrete-Event Systems, SIAM Journal on Control and Optimization, vol.48, issue.3, pp.1858-1887, 2009.
DOI : 10.1137/060673862

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, Solvability of Centralized Supervisory Control Under Partial Observation, Discrete Event Dynamic Systems, vol.12, issue.3, pp.527-553, 2006.
DOI : 10.1007/s10626-006-0023-7