P. Ramadge and W. Wonham, The control of discrete event systems, Proceedings of the IEEE, pp.81-98, 1989.
DOI : 10.1109/5.21072

J. Roussel and A. Guia, DESIGNING DEPENDABLE LOGIC CONTROLLERS USING THE SUPERVISORY CONTROL THEORY, 16 th IFAC World Congress, CDROM paper n ? 04427, 2005.
DOI : 10.3182/20050703-6-CZ-1902.01434
URL : https://hal.archives-ouvertes.fr/hal-00344918

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

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

C. Shannon, A symbolic analysis of relay and switching circuits, 1940.

B. Bernstein, Note on the Condition that a Boolean Equation Have a Unique Solution, American Journal of Mathematics, vol.54, issue.2, pp.417-418, 1932.
DOI : 10.2307/2371005

R. Toms, Systems of Boolean Equations, The American Mathematical Monthly, vol.73, issue.1, pp.29-35, 1966.
DOI : 10.2307/2313918

V. Levchenkov, Boolean equations with many unknowns, Computational Mathematics and Modeling, vol.5, issue.2, pp.143-153, 2000.
DOI : 10.1007/BF02359181

J. Machado, B. Denis, J. Lesage, J. Faure, J. Ferreira-da et al., LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL, rd IFAC Workshop on Discrete-Event System Design: DESDes'06, Rydzyna (Poland), pp.37-42, 2006.
DOI : 10.3182/20060926-3-PL-4904.00007
URL : https://hal.archives-ouvertes.fr/hal-00361815