Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2014 (2014), Article ID 726246, 15 pages
http://dx.doi.org/10.1155/2014/726246
Research Article

Design of Logic Controllers Thanks to Symbolic Computation of Simultaneously Asserted Boolean Equations

LURPA, ENS Cachan, 61 avenue du Président Wilson, 94230 Cachan, France

Received 11 December 2013; Revised 6 February 2014; Accepted 7 February 2014; Published 28 May 2014

Academic Editor: Hamid R. Karimi

Copyright © 2014 Jean-Marc Roussel and Jean-Jacques Lesage. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Jean-Marc Roussel and Jean-Jacques Lesage, “Design of Logic Controllers Thanks to Symbolic Computation of Simultaneously Asserted Boolean Equations,” Mathematical Problems in Engineering, vol. 2014, Article ID 726246, 15 pages, 2014. doi:10.1155/2014/726246