F. M. Brown, Boolean Reasoning: The Logic of Boolean Equations, 2003.
DOI : 10.1007/978-1-4757-2078-5

E. Filiot, N. Jin, and J. F. And-raskin, Antichains and compositional algorithms for LTL synthesis, Formal Methods in System Design, vol.102, issue.4, pp.261-296, 2011.
DOI : 10.1007/s10703-011-0115-3
URL : https://hal.archives-ouvertes.fr/hal-01196265

P. Gohari and W. M. Wonham, On the complexity of supervisory control design in the RW framework, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.30, issue.5, pp.643-652, 2000.
DOI : 10.1109/3477.875441

R. P. Grimaldi, Discrete and Combinatorial Mathematics: An Applied Introduction, 2004.

A. Guignard and . Cachan, Symbolic generation of the automaton representing an algebraic description of a logic system, 2011.

H. M. Hanisch, A. Lüder, and J. Tbieme, A modular plant modeling technique and related controller synthesis problems, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218), pp.686-691, 1998.
DOI : 10.1109/ICSMC.1998.725493

Y. Hietter and . Ens-cachan, Synthèse algébrique de lois de commande pour les systèmessystèmesàsystèmesàévènements discrets logiques, 2009.

Y. Hietter, J. M. Roussel, and J. J. Lesage, Algebraic synthesis of transition conditions of a state model, Proceedings of 9th International Workshop On Discrete Event Systems (WODES'08), pp.187-192, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00353634

Y. Hietter, J. M. Roussel, and J. J. Lesage, Algebraic synthesis of dependable logic controllers, Proceedings of 17th IFAC World Congress, pp.4132-4137, 2008.
DOI : 10.3182/20080706-5-KR-1001.00695
URL : https://hal.archives-ouvertes.fr/hal-00350494

Y. Hietter, J. M. Roussel, and J. J. Lesage, Calcul des conditions de transition d'un Réseau de Petri par synthèse algébrique, Proceedings of CIFA'08, 2008.

D. A. Huffman, The synthesis of sequential switching circuits, Journal of the Franklin Institute, vol.257, issue.3, pp.161-190, 1954.
DOI : 10.1016/0016-0032(54)90574-8

H. Leroux and . Ens-cachan, Algebraic synthesis of logical controllers with optimization criteria, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00734840

J. Machado, B. Denis, J. J. Lesage, J. M. Faure, and J. Fereira, LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL, Proceedings of the 3rd IFAC Workshop on Discrete-Event System Design, DESDes'06, pp.37-42, 2006.
DOI : 10.3182/20060926-3-PL-4904.00007
URL : https://hal.archives-ouvertes.fr/hal-00361815

G. H. Mealy, A method for synthesizing sequential circuits, The Bell System Technical Journal, vol.34, issue.5, pp.1045-1079, 1955.
DOI : 10.1002/j.1538-7305.1955.tb03788.x

E. F. Moore, Gedanken-Experiments on Sequential Machines, Automata Studies, pp.129-153, 1956.
DOI : 10.1515/9781400882618-006

A. Pnueli and R. Rosner, On the synthesis of a reactive module, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '89, pp.179-190, 1989.
DOI : 10.1145/75277.75293

P. J. Ramadge and W. M. 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. M. Roussel and A. Giua, DESIGNING DEPENDABLE LOGIC CONTROLLERS USING THE SUPERVISORY CONTROL THEORY, Proceedings of the 16th IFAC World Congress, 2005.
DOI : 10.3182/20050703-6-CZ-1902.01434
URL : https://hal.archives-ouvertes.fr/hal-00344918

S. Rudeanu, Lattice Functions and Equations, 2001.
DOI : 10.1007/978-1-4471-0241-0

D. Zowghi and R. Offen, A logical framework for modeling and reasoning about the evolution of requirements, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering, pp.247-257, 1997.
DOI : 10.1109/ISRE.1997.566875