Robotique

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

Published on - Mathematical Problems in Engineering

Authors: Jean-Marc Roussel, Jean-Jacques Lesage