Robotique

Algebraic synthesis of logical controllers despite inconsistencies in specifications

Published on - 11th International Workshop on Discrete Event Systems, WODES 2012

Authors: Jean-Marc Roussel, Jean-Jacques Lesage